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

الثاني: القياس الاستثنائي:

قال: (وإما استثنائيٌّ، كقولنا: إذا كانت الشمسُ طالعةً فالنهارُ موجودٌ، لكنّ الشمس طالعةٌ، فالنهارُ موجودٌ، لكنّ النهار ليس بموجودٍ فالشمسُ ليست بطالِعة) .

أقول: القياس الاستثنائي: هو القياسُ الذي تتضمَّنُ إحدى مُقدِّمَتَيه عينَ النتيجة أو نقيضَها. والسببُ في تسميته بالقياس الاستثنائيِّ هو وجودُ أداة الاستثناء (لكن) في صورة القياس، مثاله:

إذا كانت الشمس طالعة فالنهار موجود المقدمة الأولى

لكن الشمس طالعة المقدمة الثانية

فالنهار موجود النتيجة

لاحِظْ أن النتيجةَ مذكورةٌ بعينها في المُقدِّمة الأولى.

قال: (والمُكرَّرُ بين مُقدِّمَتَي القِياسِ فصاعدًا يُسمَّى حدًّا أوسَطَ ، وموضوعُ المطلوب يُسمَّى حدًّا أكبَرُ، والمُقدِّمةُ التي فيها الأصغَرُ تُسمَّى الصُّغرى، والتي فيها الأكبَرُ تُسمَّى الكُبرى) .

أقول: وتشتمل المُقدِّمتان على حدود ثلاثة:

الحدُّ الأوسطُ: هو الحدُّ المُشتَرَكُ أو المُكرَّرُ في المقدِّمتَين فصاعدًا، وسُمِّي أوسَطَ لتوسُّطه بين طَرَفَي المطلوب سواء أكان محمولًا أم موضوعًا، أم مُقدَّمًا أم تاليًا.

الحدُّ الأصغرُ: هو الذي يكون موضوعًا في النتيجة، وتُسمَّى المقدِّمة المُشتملةُ عليه «الصُّغرى» .

الحدُّ الأكبرُ: هو الذي يكون محمولًا في النتيجة، وتُسمَّى المقدِّمة المشتملة عليه «الكبرى» ، مثاله:

الله موجود المقدمة الصغرى/الحد الأصغر (الله) .