Baca Juz 1, halaman 342

وَيُرَدُّ الاسْتِثْنَائِيُّ إِلَى الاقْتِرَانِيِّ؛ بِأَنْ يُجْعَلَ الْمَلْزُومُ وَسَطًا، وَالاقْتِرَانِيُّ إِلَى الْمُنْفَصِلِ بِذِكْرِ مُنَافِيهِ مَعَهُ.

الشرح: "وَيُردُّ" القياس "الاستثنائيُّ إلى الاقتراني (¬١)؛ بأن يجعل الملزوم وسطًا"؛ وثبوته - وهو (¬٢) الاستثنائي - صغرى، واستلزامه - وهو المتّصل - كبرى؛ مثاله من النقيض (¬٣): الاثنان (¬٤): إما فرد أو زوج؛ لكنه زوج؛ فهو ليس بفرد؛ فإنه يتضمن؛ أنه كلُّ ما كان زوجًا، لم يكن فردًا، فنقول: الاثنان زوج، [وكل زوج] (¬٥) ليس بفرد؛ فالاثنان ليس بفرد، وقِسْ على هذا.

ويردُّ "الاقْتِرَانِيُّ" (¬٦) إلى الاستثنائي أيضًا (¬٧)، ثم تارةً يردُّ إلى المتصل - وهو ظاهر - بأن يجعل الوسط ملزومًا للمطلوب، وتارةً "إلى المنفصل؛ بذكر مُنَافيه معه"، أي: يأخذ منافي الوسط، ويذكره مع الوسط.

مثاله: الاثنان زوج، وكل زوج فليس بفرد؛ فمُنَافي (¬٨) الزوج الذي هو الوسط إنما هو الفرد، فنقول: الاثنان: إما زوج أو فرد؛ لكنه زوج؛ فليس بفرد.