Connective and disjunctive propositions

قالَ: والمُتَّصلةُ: إمَّا لزوميةٌ كقولنا إن كانتْ الشَّمسُ طالعةً فالنهارُ موجودٌ، وإمَّا اتفاقيةٌ كقولنا إن كان الإنسانُ ناطقاً فالحمارُ ناهقٌ، والمُنفصلةُ: إمَّا حقيقيةٌ كقولنا العددُ إما زوجٌ أو فردٌ، وإمَّا مانعةُ الجَمْع فقط كقولنا هذا الشيءُ إما شجَرٌ وإما حجرٌ، وإما مانعةُ الخُلوّ فقط كقولنا زيدٌ إمَّا أن يكونَ في البحر أو لا يَغرَقَ.

أَقُولُ: لما فَرَغ من تقسيم الحملية شرعَ في تقسيم الشرطية سواءٌ كانت متصلةً أو منفصلةً. أمَّا الشَّرطيةُ المتصلةُ فتنقسمُ إلى قسمينِ: أحدُهُما لزوميةٌ، والآخرُ اتفاقيةٌ، لأنه إن كان صدقُ التَّالي فيها على تقديرِ وقوع صدق المُقدَّم لعلاقةٍ بينهما تُوجِبُ ذلك، فالقضيةُ متصلةٌ لزوميةٌ، والمرادُ بالعَلاقة ههنا شيءٌ بسببِهِ يَستلزمُ المقدَّمُ التاليَ كالعليَّة، والمعلوليَّة، والتَّضايف. أمَّا العليةُ: فكقولنا إن كانت الشمسُ طالعةً فالنهارُ موجودٌ، فإنَّ طلوعَ الشمسِ علَّةٌ لوجود النهار، وأَمَّا المعلوليةُ: فكقولنا كُلَّما كان النَّهارُ موجوداً فالشَّمسُ طالعةٌ، فإنَّ وجودَ النهار مَعلولٌ لطلوع الشَّمس، وأمَّا التضايفُ: فكقولنا إن كان زيدٌ أباً لبكرٍ فبكرٌ ابنُهُ، وإن كان صدقُ التالي في المتصلة على تقدير وقوع صدق المقدَّم، لا لعلاقةٍ مذكورةٍ، بل على سبيل الاتفاق، فالقضيةُ مُتَّصلةٌ اتفاقيةٌ كقولنا إن كان الإنسانُ ناطقاً فالحمارُ ناهقٌ، فإنه لاعلاقةَ بينَ ناطقية الإنسان، وناهقية الحمار، حتَّى يُجوّزَ العقلُ إستلزامَ ناطقية الإنسان ناهقيةَ الحمار بها، بل توافقُ الطَّرفان على سبيل الصدق بينهما ههنا، وأمَّا الشَّرطيةُ المُنفصلةُ فتنقسمُ على ثلاثةِ أقسامٍ: حقيقيةٍ، ومانعةِ الجمع، ومانعة الخلو، لأنهُ إن حُكِمَ فيها بالتَّنافي بين جُزئيها في الصِّدق والكذب معاً، فالقضيةُ منفصلةٌ حقيقيةٌ كقولنا العددُ إما زوجٌ أو فردٌ، فإنه حُكِمَ في هذه القضية بامتناع اجتماع الزوج والفرد على عددٍ واحدٍ وبامتناع ارتفاعِهما عنه، وإنَّما سُمِّيت حقيقيةً لأن التَّنافي بين جُزئيها أشدُّ من التَّنافي بين جُزئين في القسمينِ الآخرينِ لأنه يُوجَدُ التَّنافي بين جزئيها في الصِّدق والكذب معاً، وهذا ليس إلا حقيقةَ الانفصال، وإن حُكِمَ في القضية بالتنافي بين جُزئيها في الصِّدق فقط، فالقضيةُ منفصلةٌ مانعةُ الجمع كقولنا هذا الشيءُ إما شجرٌ أو حجرٌ، فإنه حُكِمَ في هذه القضية بالتَّنافي بين الشَّجر والحجر في الصِّدق فقط، لا في الكذب لجوازِ أن يكونَ الشيءُ الواحدُ لا شجراً ولا حجراً، وإنما سُمِّيتْ هذه مانعةَ الجمع، لاشتمالها على منع الجمع بين جزئيها في الصدق، وإن حُكِمَ في القضية بالتنافي بين جزئيها في الكذب فقط أي، لا في الصدق، فالقضيةُ مانعةُ الخلو كقولنا زيدٌ إما أن يكونَ في البحر وإما أن لا يغرق، فإنَّهُ حُكِمَ في هذه القضية بالتَّنافي بين أن لا يكون في البحر وأن يغرقَ، لا بينَ أن يكونَ في البحر وأن لا يغرقَ، لجواز أن يكونَ في البحر وأن لا يغرقَ، وإنما سُمِّيتْ هذه القضيةُ مانعةَ الخلو، لاشتمالها على منع الخلو بين جزئيها في الكذب.

Having finished dividing the categorical, he begins dividing the conditional, whether connective or disjunctive. The connective conditional is divided into two kinds: one necessary (luzūmiyya), the other coincidental (ittifāqiyya). For if in it the consequent is true, on the supposition that the antecedent is true, because of a connection (ʿalāqa) between them that requires this, the proposition is a necessary connective. By “connection” here is meant something because of which the antecedent entails the consequent, such as causation, being caused, and correlation (taḍāyuf). Causation, as in “If the sun has risen, it is day”: the rising of the sun is the cause of the existence of day. Being caused, as in “Whenever it is day, the sun has risen”: the existence of day is caused by the rising of the sun. Correlation, as in “If Zayd is Bakr's father, Bakr is his son.” But if in the connective the consequent is true, on the supposition that the antecedent is true, not because of such a connection but by coincidence, the proposition is a coincidental connective, as in “If man is rational, the donkey brays.” For there is no connection between man's being rational and the donkey's braying such that reason would allow man's being rational to entail the donkey's braying; rather, the two sides here simply happen to agree in being true. The disjunctive conditional is divided into three kinds: real (ḥaqīqiyya), excluding being together (māniʿat al-jamʿ), and excluding being absent together (māniʿat al-khuluww). For if it judges that its two parts are incompatible in truth and in falsity together, the proposition is a real disjunctive, as in “A number is either even or odd.” This proposition judges that even and odd cannot both hold of one number, and that both cannot be absent from it. It is called real because the incompatibility between its two parts is stronger than the incompatibility between the two parts in the other two kinds, since the incompatibility between its parts exists in truth and in falsity together, and this is nothing other than the reality (ḥaqīqa) of disjunction. If the proposition judges that its two parts are incompatible in truth only, the proposition is a disjunctive excluding being together, as in “This thing is either a tree or a stone.” This proposition judges that tree and stone are incompatible in truth only, not in falsity, since one and the same thing may be neither a tree nor a stone. It is called “excluding being together” because it contains the exclusion of its two parts being together in truth. If the proposition judges that its two parts are incompatible in falsity only, that is, not in truth, the proposition excludes being absent together, as in “Zayd is either in the sea or not drowning.” This proposition judges that “not being in the sea” and “drowning” are incompatible, not that “being in the sea” and “not drowning” are, since he may be in the sea and not drown. This proposition is called “excluding being absent together” because it contains the exclusion of both its parts being absent, that is, being false together.

Sharḥ Īsāghūjī · p. 43

قالَ: وقد تكونُ المُنفصلاتُ ذاتَ أجزاءٍ كقولنا: العددُ إمَّا زائدٌ أو ناقصٌ أو مُساوٍ.

أَقُولُ: المنفصلاتُ المذكورةُ يَتركَّبُ كلُّ واحدةٍ منها من جزئين غالباً كما مَرَّ، وقد تتركَّبُ من أكثرَ من جُزئين، أمَّا المنفصلةُ الحقيقيةُ فكقولنا العددُ إما زائدٌ أو ناقصٌ أو مُساوٍ، فإنه حُكِمَ فيها بأن هذا الجميعَ لا يَجتمعُ على عددٍ واحدٍ، ولا يخلو العددُ عن واحدٍ منها، وفيه نظرٌ: لأنَّ عينَ أحدِ أجزاء الحقيقية يستلزمُ نقيضَ الآخر لامتناع الجمع، وبالعكس لامتناع الخُلُوِّ، فلو تركَّبت الحقيقيةُ من ثلاثةِ أجزاءٍ فصاعداً يلزمُ جوازَ الجمع والخلو، وهذا خُلْفٌ، لأنه في المثال المذكور وهو قولُنا: العددُ إما زائدٌ أو ناقصٌ أو مُساوٍ، يلزمُ أن يستلزمَ كونُهُ زائداً كونَهُ غيرَ ناقص، ويستلزمَ كونُهُ غيرَ ناقص كونَهُ مُساوياً، وينتج من هذا أنْ يستلزمَ كونُهُ زائداً كونَهُ مساوياً، وقد كان بينهما منعُ الجمع لكون المُنفصلة حقيقيةً، هذا خُلفٌ، وأيضاً يلزمُ أن يستلزمَ كونُهُ غيرَ زائدٍ كونَهُ ناقصاً، ويستلزمَ كونُهُ ناقصاً كونَهُ غيرَ مساوٍ، فينتج من هذا أن يستلزمَ كونُهُ غيرَ زائدٍ كونَهُ غيرَ مساوٍ، وقد كان بينهما منعُ الخُلو أيضاً لكون المنفصلةِ حقيقيةً، هذا خُلْفٌ، بل الحقُّ أن الحقيقيةَ قد تتركَّبُ من حملية ومنفصلة كقولنا العددُ إما أن يكونَ مُساوياً لذلك العدد، أو زائداً عليه، أو ناقصاً عنه، والجزءُ الثاني أعنى قولَهُ: أو زائداً عليه أو ناقصاً عنه منفصلةٌ، والجزءُ الأولُ حمليةٌ، وأصلُهُ: هذا العددُ إما أن يكونَ مُساوياً لذلك العددِ، أو غيرَ مساوٍ له، لكنْ إذا لم يكنْ مُساوياً له كان زائداً عليه، أو ناقصاً عنه، فلمَّا كانتْ هذه المنفصلةُ في قُوَّةِ تلك الحمليةِ أُقيمت مُقامَها، فيُظَنُّ أنَّها مركَّبةٌ من ثلاثةِ أجزاءٍ، ولكنَّها بالحقيقة مركَّبةٌ من الحملية والمُنفصلة كما عرفتَ، فلا تَتَركَّبُ الحقيقيةُ إلا من جُزئين، وكذا مانعةُ الخلو، بخلافِ مانعةِ الجمع، فإنَّها قد تتركَّبُ من ثلاثةِ أجزاءٍ فصاعداً، ولبيانِها طُولٌ لا يَليقُ بهذا المُختَصر، فَلْيُطْلَبْ في المُطوَّلات.

Each of the disjunctives mentioned is usually made up of two parts, as we have seen, but it may be made up of more than two. For the real disjunctive, as in “A number is either abundant, deficient or perfect”: this judges that these cannot all hold of one number together, and that a number is never without one of them. But this is open to question. For the truth of one of the parts of a real disjunctive entails the contradictory of the other, because they cannot be together; and conversely [the contradictory of one entails the other], because they cannot both be absent. So if a real disjunctive were made up of three parts or more, it would follow that [its parts] could be together and could be absent together, which is absurd. For in the example given, “A number is either abundant, deficient or perfect”, it would follow that its being abundant entails its not being deficient, and its not being deficient entails its being perfect; from this it follows that its being abundant entails its being perfect, whereas these two could not be together, since the disjunctive is real: this is absurd. Likewise it would follow that its not being abundant entails its being deficient, and its being deficient entails its not being perfect; from this it follows that its not being abundant entails its not being perfect, whereas these two could not be absent together either, since the disjunctive is real: this is absurd. The truth is rather that a real disjunctive may be made up of a categorical and a disjunctive, as in “The number is either equal to that number, or greater than it, or less than it.” The second part, I mean his words “or greater than it, or less than it”, is a disjunctive, and the first part is a categorical. Its basic form is: “This number is either equal to that number or not equal to it”; but if it is not equal to it, it is greater than it or less than it. Since this disjunctive is equivalent to that categorical, it was put in its place, and so one thinks the proposition is made up of three parts; but in reality it is made up of a categorical and a disjunctive, as you have seen. So a real disjunctive is made up of two parts only, and likewise one excluding being absent together; unlike one excluding being together, which may be made up of three parts or more. Explaining this would take a length unsuited to this short work, so let it be sought in the longer works.

Sharḥ Īsāghūjī · p. 48