[ الفصل الرابع : إشارة إلى قياس الخلف ] [ 4 ] إشارة إلى قياس الخلف « 1 » قياس الخلف قياس مركّب من قياسين : أحدهما اقترانيّ ، والآخر استثنائيّ . مثاله « 2 » : إن لم يكن قولنا : « ليس كلّ ج ب » صادقا فقولنا : « كلّ ج ب » صادق ، و « كلّ ب د » - على أنّها مقدّمة بيّنة لا شكّ فيها ، أو يثبت « 3 » بقياس - ، فينتج منه « 4 » : إن لم يكن قولنا : « ليس كلّ ج ب » صادقا ف « كلّ ج د » . ثمّ نأخذ هذه النتيجة ، ونستثني نقيض المحال - وهو تاليها - فنقول : « لكن ليس كلّ ج د » ، فينتج نقيض المقدّم ، وهو أنّه : ليس « 5 » « ليس قولنا : « ليس « 6 » كلّ ج ب » صادقا » ، بل هو صادق ( 7 ) . وأمّا أنّ القياس المستقيم الحمليّ « 8 » كيف يرجع إلى الخلف ، والخلف كيف يرجع إليه ؟ فهو بحث آخر يلاحظ « 9 » الحال ممّا ينعقد بين التالي وبين الحمليّة « 10 » ، ولسنا نحتاج إليه الآن . ومداره على أخذ نقيض النتيجة المحالة « 11 » ، وتقرينه « 12 » مع المقدّمة الصادقة « 13 » التي لا شكّ فيها ، فينتج نقيض المقدّم المحال « 14 » على حاله .

--> ( 1 ) خ ، ر : من هنا إلى رقم ( 7 ) محذوفة . ( 2 ) ص ، م : مثاله قولنا . ( 3 ) أ : أو بيّنت ، م : أو ثبتت . ( 4 ) أ ، ب : ينتج منه . ( 5 ) ب : بحذف « ليس » . ( 6 ) ص : بحذف « ليس » . ( 8 ) ب ، ص : أنّ المستقيم الحمليّ ؛ خ : أنّ القياس الحمليّ المستقيم . ( 9 ) خ : بحث آخر فلاحظ ، ر : بحث يلاحظ . ( 10 ) خ ، ر : والحملية . ( 11 ) ب : وهذا ردّ على أحد أحدي النتيجة المحالة . ( 12 ) أ ، ر : تقرنه ، ص : يقرنه . ( 13 ) خ ، ر : مع الصادقة . ( 14 ) أ : نقيض المحال .