وأَمَّا القياسُ الاستثنائيُّ: فالشرطيةُ الموضوعةُ فيه إن كانت متصلةً موجبةً لزوميةً، فاستثناءُ عينِ المقدَّمِ يُنتِجُ عينَ التالي كقولنا: إن كان هذا إنساناً فهو حيوانٌ لكنَّهُ إنسانٌ فهو حيوانٌ، واستثناءُ نقيضِ التالي يُنتِجُ نقيضَ المُقدَّمِ كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ النَّهارَ ليسَ بموجودٍ فالشمسُ ليست بطالعةٍ، وإن كانت منفصلةً حقيقيةً، فاستثناءُ عينِ أحدِ الجُزئيين يُنتِجُ نقيضَ الآخر، واستثناءُ نقيضِ أحدِهما يُنتِجُ عينَ الآخرِ.
لمَّا فرغَ المصنِّفُ من بيانِ القياسِ الاقتراني شرعَ في بيان القياس الاستثنائيِّ، فنقولُ: القياسُ الاستثنائيُّ مركَّبٌ دائماً من مُقدِّمتين أحدهما شرطية، والأخرى وضعُ أحدِ جُزئيها أي إثباتُهُ، أو رفعُهُ، ليلزمَ وضعُ الجزءِ الأخرِ إثباتَهُ، أو رفعَهُ سواءٌ كانتْ متصلةً أو منفصلةً، أَمَّا إن كانت متصلةً، فكقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ الشمسَ طالعةٌ، ينتجُ أنَّ النهارَ موجودٌ، ولو قلنا: لكنَّ النهارَ ليس بموجودٍ، ينتجُ: أنَّ الشمسَ ليست بطالعةٍ، وإن كانت منفصلةً فكقولنا: دائماً إما أن يكون العددُ زوجاً أو فرداً لكنَّ هذا العددَ زوجٌ، ينتجُ أنه ليس بفردٍ، ولو قلنا: لكنَّهُ ليسَ بزوجٍ، ينتجُ أنه فردٌ، وإذا عرفتَ هذا فنقول: الشَّرطيةُ الموضوعةُ في القياس الاستثنائيِّ إن كانت متصلةً، فاستثناءُ عينِ المُقدَّمِ يُنتِجُ عينَ التالي، وإلا لزمَ انفكاكُ اللازمِ عن الملزومِ فيبطلُ الملازمةُ، واستثناءُ نقيضِ التالي ينتجُ نقيضَ المقدمِ، وإلا لزم وجودُ الملزومِ بدون اللازمِ، فيبطلُ الملازمةُ أيضاً كما رأيتَهُ في المثالِ الأول، وإن كانت الشرطيةُ الموضوعةُ في القياس الاستثنائيِّ منفصلةً، فاستثناءُ عينِ أحدِ الجزئين سواءٌ كان مقدّماً أو تالياً، ينتجُ نقيضَ الآخرِ لامتناع الجمع بينهما، واستثناءُ نقيضِ أحدهما أي أحدِ الجزئين كذلك ينتجُ عينَ الآخرِ، لامتناع الخُلو بينهما كما رأيته في المثال الثاني، فعليك بالتأمل في المثالين المذكورين، هذا إذا كانت المنفصلةُ حقيقيةً، وإن شئتَ أن تُدرِكَ البحثَ بكمالهِ في المنفصلات فارجع إلى الرسائلِ المطوَّلة.
Having finished explaining the , the author began to explain the . So we say: the exceptive syllogism is always composed of two . One of them is a ; the other posits one of its two parts, that is, affirms it, or removes it, so that positing (affirming) or removing the other part follows, whether [the conditional] is or . If it is connective, it is like our saying: “If the sun has risen, it is day; but the sun has risen”, which produces “that it is day”; and if we say “but it is not day”, it produces “that the sun has not risen”. If it is disjunctive, it is like our saying: “Always, a number is either even or odd; but this number is even”, which produces “that it is not odd”; and if we say “but it is not even”, it produces “that it is odd”. Once you know this, we say: if the conditional laid down in the exceptive syllogism is connective, affirming the produces the ; otherwise what is implied would come apart from what implies it, and the would collapse. And affirming the of the consequent produces the contradictory of the antecedent; otherwise what implies would exist without what it implies, and the implication would again collapse, as you have seen in the first example. If the conditional laid down in the exceptive syllogism is disjunctive, affirming one of the two parts, whether antecedent or consequent, produces the contradictory of the other, because the two cannot be true together. And affirming the contradictory of one of them, that is, of either of the two parts, likewise produces the other, because the two cannot both be absent, as you have seen in the second example. So reflect carefully on the two examples given. This holds when the disjunctive is a real one (ḥaqīqiyya); if you want to grasp the full discussion of disjunctives, turn to the longer treatises.
Sharḥ Īsāghūjī · p. 72