فَصْلٌ فِي أَقْسامِ الشَّرْطِيَّةِ
الشَّرْطِيَّةُ مُتَّصِلَةٌ إِنْ حُكِمَ فِيها بِثُبُوتِ نِسْبَةٍ عَلَى تَقْدِيرِ أُخْرَى أَوْ نَفْيِها، لُزُومِيَّةٌ إِنْ كانَ ذٰلِكَ لِعَلاقَةٍ، وَإِلّا فَاتِّفاقِيَّةٌ؛ وَمُنْفَصِلَةٌ إِنْ حُكِمَ فِيها بِتَنافِي نِسْبَتَيْنِ أَوْ لا تَنافِيهِما، صِدْقًا وَكَذِبًا وَهِيَ الحَقِيقِيَّةُ، أَوْ صِدْقًا فَقَطْ فَمانِعَةُ الجَمْعِ، أَوْ كَذِبًا فَقَطْ فَمانِعَةُ الخُلُوِّ، وَكُلٌّ مِنْها عِنادِيَّةٌ إِنْ كانَ التَّنافِي لِذاتِ الجُزْأَيْنِ، وَإِلّا فَاتِّفاقِيَّةٌ. ثُمَّ الحُكْمُ فِي الشَّرْطِيَّةِ إِنْ كانَ عَلَى جَمِيعِ التَّقادِيرِ لِلمُقَدَّمِ فَكُلِّيَّةٌ، أَوْ بَعْضِها مُطْلَقًا فَجُزْئِيَّةٌ، أَوْ مُعَيَّنًا فَشَخْصِيَّةٌ، وَإِلّا فَمُهْمَلَةٌ. وَطَرَفا الشَّرْطِيَّةِ فِي الأَصْلِ قَضِيَّتانِ، حَمْلِيَّتانِ أَوْ مُتَّصِلَتانِ أَوْ مُنْفَصِلَتانِ أَوْ مُخْتَلِفَتانِ، إِلّا أَنَّهُما خَرَجَتا بِزِيادَةِ أَداةِ الاتِّصالِ وَالانْفِصالِ عَنِ التَّمامِ.
A is (muttaṣila) if it judges that a relation holds, or does not hold, on the supposition of another: implicative (luzūmiyya) if this is because of a link, otherwise coincidental (ittifāqiyya). It is (munfaṣila) if it judges that two relations exclude each other, or do not: in truth and in falsehood, and that is the real disjunctive; in truth only, the one that bars joining (māniʿat al-jamʿ); in falsehood only, the one that bars lacking both (māniʿat al-khulūw). Each of these is oppositional (ʿinādiyya) if the exclusion is due to the very parts, otherwise coincidental. The judgement in a conditional is if it holds on every supposition of the ; if on some of them without specifying; if on a specified one; otherwise . The two sides of a conditional are in origin two — two , two connectives, two disjunctives or of different kinds — but they have ceased to be complete by the addition of the particle of connection or disjunction.
Tahdhīb al-manṭiq · с. 9