[ الفصل الرابع : إشارة إلى قياس الخلف ]
[ 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 ) أ : نقيض المحال .