وأَمَّا القياسُ الاستثنائيُّ: فالشرطيةُ الموضوعةُ فيه إن كانت متصلةً موجبةً لزوميةً، فاستثناءُ عينِ المقدَّمِ يُنتِجُ عينَ التالي كقولنا: إن كان هذا إنساناً فهو حيوانٌ لكنَّهُ إنسانٌ فهو حيوانٌ، واستثناءُ نقيضِ التالي يُنتِجُ نقيضَ المُقدَّمِ كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ النَّهارَ ليسَ بموجودٍ فالشمسُ ليست بطالعةٍ، وإن كانت منفصلةً حقيقيةً، فاستثناءُ عينِ أحدِ الجُزئيين يُنتِجُ نقيضَ الآخر، واستثناءُ نقيضِ أحدِهما يُنتِجُ عينَ الآخرِ.
لمَّا فرغَ المصنِّفُ من بيانِ القياسِ الاقتراني شرعَ في بيان القياس الاستثنائيِّ، فنقولُ: القياسُ الاستثنائيُّ مركَّبٌ دائماً من مُقدِّمتين أحدهما شرطية، والأخرى وضعُ أحدِ جُزئيها أي إثباتُهُ، أو رفعُهُ، ليلزمَ وضعُ الجزءِ الأخرِ إثباتَهُ، أو رفعَهُ سواءٌ كانتْ متصلةً أو منفصلةً، أَمَّا إن كانت متصلةً، فكقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ الشمسَ طالعةٌ، ينتجُ أنَّ النهارَ موجودٌ، ولو قلنا: لكنَّ النهارَ ليس بموجودٍ، ينتجُ: أنَّ الشمسَ ليست بطالعةٍ، وإن كانت منفصلةً فكقولنا: دائماً إما أن يكون العددُ زوجاً أو فرداً لكنَّ هذا العددَ زوجٌ، ينتجُ أنه ليس بفردٍ، ولو قلنا: لكنَّهُ ليسَ بزوجٍ، ينتجُ أنه فردٌ، وإذا عرفتَ هذا فنقول: الشَّرطيةُ الموضوعةُ في القياس الاستثنائيِّ إن كانت متصلةً، فاستثناءُ عينِ المُقدَّمِ يُنتِجُ عينَ التالي، وإلا لزمَ انفكاكُ اللازمِ عن الملزومِ فيبطلُ الملازمةُ، واستثناءُ نقيضِ التالي ينتجُ نقيضَ المقدمِ، وإلا لزم وجودُ الملزومِ بدون اللازمِ، فيبطلُ الملازمةُ أيضاً كما رأيتَهُ في المثالِ الأول، وإن كانت الشرطيةُ الموضوعةُ في القياس الاستثنائيِّ منفصلةً، فاستثناءُ عينِ أحدِ الجزئين سواءٌ كان مقدّماً أو تالياً، ينتجُ نقيضَ الآخرِ لامتناع الجمع بينهما، واستثناءُ نقيضِ أحدهما أي أحدِ الجزئين كذلك ينتجُ عينَ الآخرِ، لامتناع الخُلو بينهما كما رأيته في المثال الثاني، فعليك بالتأمل في المثالين المذكورين، هذا إذا كانت المنفصلةُ حقيقيةً، وإن شئتَ أن تُدرِكَ البحثَ بكمالهِ في المنفصلات فارجع إلى الرسائلِ المطوَّلة.
Setelah pengarang selesai menjelaskan , ia mulai menjelaskan . Maka kami katakan: qiyas istitsna'i selalu tersusun dari dua . Salah satunya ; yang lain adalah (peletakan) salah satu dari kedua bagiannya, yakni menetapkannya, atau raf' (pengangkatan)-nya, yakni meniadakannya, sehingga penetapan bagian yang lain atau peniadaannya, baik [syarthiyyah itu] maupun . Jika ia muttashilah, contohnya ucapan kita: “Jika matahari telah terbit, maka hari telah siang; tetapi matahari telah terbit”, yang menghasilkan bahwa hari telah siang; dan jika kita berkata “tetapi hari belum siang”, ia menghasilkan bahwa matahari belum terbit. Jika ia munfashilah, contohnya ucapan kita: “Selalu, bilangan itu adakalanya genap, adakalanya ganjil; tetapi bilangan ini genap”, yang menghasilkan bahwa ia tidak ganjil; dan jika kita berkata “tetapi ia tidak genap”, ia menghasilkan bahwa ia ganjil. Jika engkau telah mengetahui ini, kami katakan: jika syarthiyyah yang diletakkan dalam qiyas istitsna'i itu muttashilah, maka menetapkan (istitsna' 'ain al-muqaddam) menghasilkan ; jika tidak, yang dilazimkan (lazim) akan terlepas dari yang melazimkannya (malzum), sehingga kelaziman itu batal. Dan menetapkan tali menghasilkan naqidh muqaddam; jika tidak, malzum akan ada tanpa lazim, sehingga kelaziman itu juga batal, seperti telah engkau lihat dalam contoh pertama. Jika syarthiyyah yang diletakkan dalam qiyas istitsna'i itu munfashilah, maka menetapkan salah satu dari kedua bagiannya, baik muqaddam maupun tali, menghasilkan naqidh bagian yang lain, karena keduanya tidak mungkin berkumpul. Dan menetapkan naqidh salah satunya, yakni salah satu dari kedua bagian, demikian pula menghasilkan bagian yang lain, karena keduanya tidak mungkin sama-sama tidak ada, seperti telah engkau lihat dalam contoh kedua. Maka renungkanlah baik-baik kedua contoh tersebut. Ini berlaku jika munfashilah itu haqiqiyyah; jika engkau ingin memahami pembahasan munfashilah secara lengkap, rujuklah risalah-risalah yang panjang.
Sharḥ Īsāghūjī · hlm. 72