ب ، فكلّ ه آ . » « 1 »
( 29 ) فصل ( في قياس الخلف . )
والقياس الذي يتبيّن « 2 » فيه حقّيّة المطلوب بابطال نقيضة ، هو قياس الخلف ويتركّب « 3 » من قياسين : اقترانىّ واستثنائىّ ، كقولك « ان كذب لا شيء من ج ب ، فبعض ج ب وكلّ ب آ » على انّها مقدّمة حقّة ، « 4 » ينتج على « 5 » ما قلنا : ان كذب لا شيء من ج ب ، فبعض ج آ . » وان شئت ، جعلت هذه محيطة كما سبق « 6 » بأن تجعل نقيض المطلوب - الذي هو تالي الشرطيّة - محيطا . ثمّ يستثنى نقيض التالي ، لينتج نقيض المقدّم وهو أنّه « لم يكذب لا شيء من ج ب بل هو صادق . » وفي الخلف يتبيّن « 7 » انّ النتيجة المحالة ما لزمت « 8 » من المقدّمة الصادقة ولا من الترتيب ، فتعيّن أن تكون لنقيض المطلوب .
الضابط السابع ( في موادّ الأقيسة البرهانيّة )
( 30 ) هو انّ العلوم الحقيقيّة لا يستعمل فيها « 9 » الّا البرهان ، وهو قياس مؤلّف من مقدّمات يقينيّة . ثمّ ما نعلمه « 10 » يقينا من المقدّمات امّا أن يكون « أوّليا » وهو الذي تصديقه لا يتوقّف على غير تصوّر الحدود ، ولا يتأتّى لأحد انكاره بعد تصوّر الحدود ، كحكمك بأنّ الكلّ « 11 » أعظم من الجزء ، وانّ الأشياء « 12 » المساوية لشيء واحد
هامش
( 1 ) ه ا : ه دHI( 2 ) يتبينHMFI: يبينERبينT( 3 ) هو . . . ويتركب : وهو . . .
يتركبE( 4 ) حقة : حقيةF( 5 ) على : -F( 6 ) كما سبقTMF - : HERi( 7 ) يتبينHERI: يبينTMF( 8 ) ان النتيجة المحالة ما لزمتHERtI: ان كذب النتيجة ما لزمTHaMRF، وفي أكثر النسخ « ان النتيجة المحالة ما لزمت »TaMaFaان كذب النتيجة المحالة ما لزمتI( 9 ) فيها : فيهE( 10 ) نعلمه : نعلمT( 11 ) بأنTR:
انT - I( 12 ) وان الأشياءR: والأشياءT - I