قال : والثاني متصل فناتجه أمران وكذا غير الحقيقي من المنفصل ، ومنه ضعفه.

أقول : الثاني هو الاستثنائي وهو ضربان : الأول أن تكون مقدمته الشرطية متصلة وينتج منه قسمان : أحدهما استثناء عين المقدم لعين التالي ، والثاني استثناء نقيض التالي لنقيض المقدم. والثاني أن تكون منفصلة وهو قسمان أيضا : أحدهما أن تكون غير حقيقية ، والثاني أن تكون حقيقية فغير الحقيقية ضربان مانعة الجمع وينتج قسمان منها استثناء عين المقدم لنقيض التالي واستثناء عين التالي لنقيض المقدم ، ومانعة الخلو وينتج قسمان منها أيضا استثناء نقيض المقدم لعين التالي واستثناء نقيض التالي لعين المقدم ، وأما الحقيقية فإنها تنتج أربع نتائج من استثناء عين المقدم لنقيض التالي وبالعكس ، ومن استثناء عين التالي لنقيض المقدم وبالعكس.

قال : والأخيران يفيدان الظن وتفاصيل هذه الأشياء مذكورة في غير هذا الفن.

أقول : يريد بالأخيرين الاستقراء والتمثيل وهما يفيدان الظن لا العلم (واعلم) أن تفاصيل هذه الأشياء وبيان شرائطها مذكورة في علم المنطق وإنما انساق الكلام إليه هنا.

قال : والتعقل والتجرد متلازمان لاستلزام انقسام المحل انقسام الحال فإن تشابهت عرض الوضع للمجرد وإلا تركب مما لا يتناهى.

أقول : هذه المسألة وما بعدها من تتمة مباحث التعقل وقد ادعى هنا أن التعقل والتجرد متلازمان بمعنى أن كل عاقل مجرد وبالعكس (أما الأول) فاستدل عليه بعد ما تقدم بأن التعقل حال في ذات العاقل فذلك المحل إما أن ينقسم أو لا والثاني هو المراد والأول باطل لأن انقسام المحل يستدعي انقسام الحال إذ الحال إما أن يحل بتمامه في جزئي المحل أو في أحد جزأيه أو لا يحل في شيء منه والأول يلزم منه الانقسام إن كان الحال في أحد الجزءين غير الحال في الآخر أو تعدد الواحد إن اتحدا والثاني يفيد المطلوب