وأَمَّا القياسُ الاستثنائيُّ: فالشرطيةُ الموضوعةُ فيه إن كانت متصلةً موجبةً لزوميةً، فاستثناءُ عينِ المقدَّمِ يُنتِجُ عينَ التالي كقولنا: إن كان هذا إنساناً فهو حيوانٌ لكنَّهُ إنسانٌ فهو حيوانٌ، واستثناءُ نقيضِ التالي يُنتِجُ نقيضَ المُقدَّمِ كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ النَّهارَ ليسَ بموجودٍ فالشمسُ ليست بطالعةٍ، وإن كانت منفصلةً حقيقيةً، فاستثناءُ عينِ أحدِ الجُزئيين يُنتِجُ نقيضَ الآخر، واستثناءُ نقيضِ أحدِهما يُنتِجُ عينَ الآخرِ.
لمَّا فرغَ المصنِّفُ من بيانِ القياسِ الاقتراني شرعَ في بيان القياس الاستثنائيِّ، فنقولُ: القياسُ الاستثنائيُّ مركَّبٌ دائماً من مُقدِّمتين أحدهما شرطية، والأخرى وضعُ أحدِ جُزئيها أي إثباتُهُ، أو رفعُهُ، ليلزمَ وضعُ الجزءِ الأخرِ إثباتَهُ، أو رفعَهُ سواءٌ كانتْ متصلةً أو منفصلةً، أَمَّا إن كانت متصلةً، فكقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ الشمسَ طالعةٌ، ينتجُ أنَّ النهارَ موجودٌ، ولو قلنا: لكنَّ النهارَ ليس بموجودٍ، ينتجُ: أنَّ الشمسَ ليست بطالعةٍ، وإن كانت منفصلةً فكقولنا: دائماً إما أن يكون العددُ زوجاً أو فرداً لكنَّ هذا العددَ زوجٌ، ينتجُ أنه ليس بفردٍ، ولو قلنا: لكنَّهُ ليسَ بزوجٍ، ينتجُ أنه فردٌ، وإذا عرفتَ هذا فنقول: الشَّرطيةُ الموضوعةُ في القياس الاستثنائيِّ إن كانت متصلةً، فاستثناءُ عينِ المُقدَّمِ يُنتِجُ عينَ التالي، وإلا لزمَ انفكاكُ اللازمِ عن الملزومِ فيبطلُ الملازمةُ، واستثناءُ نقيضِ التالي ينتجُ نقيضَ المقدمِ، وإلا لزم وجودُ الملزومِ بدون اللازمِ، فيبطلُ الملازمةُ أيضاً كما رأيتَهُ في المثالِ الأول، وإن كانت الشرطيةُ الموضوعةُ في القياس الاستثنائيِّ منفصلةً، فاستثناءُ عينِ أحدِ الجزئين سواءٌ كان مقدّماً أو تالياً، ينتجُ نقيضَ الآخرِ لامتناع الجمع بينهما، واستثناءُ نقيضِ أحدهما أي أحدِ الجزئين كذلك ينتجُ عينَ الآخرِ، لامتناع الخُلو بينهما كما رأيته في المثال الثاني، فعليك بالتأمل في المثالين المذكورين، هذا إذا كانت المنفصلةُ حقيقيةً، وإن شئتَ أن تُدرِكَ البحثَ بكمالهِ في المنفصلات فارجع إلى الرسائلِ المطوَّلة.
کے بیان سے فارغ ہو کر مصنف نے کا بیان شروع کیا۔ پس ہم کہتے ہیں: قیاسِ استثنائی ہمیشہ دو سے ہوتا ہے: ان میں سے ایک ہوتا ہے، اور دوسرا اس کے دونوں جزوں میں سے ایک کا وضع، یعنی اس کا اثبات، یا اس کا رفع، تاکہ دوسرے جز کا وضع، [یعنی] اس کا اثبات، یا اس کا رفع لازم آئے؛ خواہ [شرطیہ] ہو یا ۔ اگر متصلہ ہو تو جیسے ہمارا قول: “اگر سورج طلوع ہو چکا ہے تو دن موجود ہے؛ لیکن سورج طلوع ہو چکا ہے”، جو یہ دیتا ہے: “کہ دن موجود ہے”؛ اور اگر ہم کہیں: “لیکن دن موجود نہیں”، تو یہ نتیجہ دیتا ہے: “کہ سورج طلوع نہیں ہوا”۔ اور اگر منفصلہ ہو تو جیسے ہمارا قول: “ہمیشہ عدد یا جفت ہوتا ہے یا طاق؛ لیکن یہ عدد جفت ہے”، جو یہ نتیجہ دیتا ہے: “کہ وہ طاق نہیں”؛ اور اگر ہم کہیں: “لیکن وہ جفت نہیں”، تو یہ نتیجہ دیتا ہے: “کہ وہ طاق ہے”۔ جب تم نے یہ جان لیا تو ہم کہتے ہیں: قیاسِ استثنائی میں رکھا گیا شرطیہ اگر متصلہ ہو تو کا اثبات کا نتیجہ دیتا ہے، ورنہ لازم کا ملزوم سے جدا ہونا لازم آئے گا اور ملازمہ باطل ہو جائے گا؛ اور تالی کی کا اثبات مقدم کی نقیض کا نتیجہ دیتا ہے، ورنہ لازم کے بغیر ملزوم کا وجود لازم آئے گا اور ملازمہ پھر باطل ہو جائے گا، جیسا کہ تم نے پہلی مثال میں دیکھا۔ اور اگر قیاسِ استثنائی میں رکھا گیا شرطیہ منفصلہ ہو تو دونوں جزوں میں سے ایک کا اثبات، خواہ وہ مقدم ہو یا تالی، دوسرے کی نقیض کا نتیجہ دیتا ہے، کیونکہ ان دونوں کا جمع ہونا ممتنع ہے؛ اور ان میں سے ایک کی، یعنی دونوں جزوں میں سے کسی ایک کی، نقیض کا اثبات اسی طرح دوسرے کا نتیجہ دیتا ہے، کیونکہ ان دونوں سے خالی ہونا ممتنع ہے، جیسا کہ تم نے دوسری مثال میں دیکھا۔ پس دونوں مذکورہ مثالوں میں خوب غور کرو۔ یہ اس وقت ہے جب منفصلہ حقیقیہ ہو؛ اور اگر تم منفصلات کی بحث کو مکمل طور پر سمجھنا چاہو تو مطوّل رسائل کی طرف رجوع کرو۔
Sharḥ Īsāghūjī · ص 72