رسائل شيخ اشراق - شيخ اشراق - الصفحة ٤٠ - الضابط السابع < فى مواد الأقيسة البرهانية >

ب، فكلّ ه آ.»[١]

(٢٩) فصل (فى قياس الخلف.)

و القياس الذى يتبيّن‌[٢] فيه حقّيّة المطلوب بابطال نقيضة، هو قياس الخلف و يتركّب‌[٣] من قياسين: اقترانىّ و استثنائىّ، كقولك «ان كذب لا شي‌ء من ج ب، فبعض ج ب و كلّ ب آ» على انّها مقدّمة حقّة،[٤] ينتج على‌[٥] ما قلنا: ان كذب لا شي‌ء من ج ب، فبعض ج آ.» و ان شئت، جعلت هذه محيطة كما سبق‌[٦] بأن تجعل نقيض المطلوب- الذى هو تالى الشرطيّة- محيطا. ثمّ يستثنى نقيض التالى، لينتج نقيض المقدّم و هو أنّه «لم يكذب لا شي‌ء من ج ب بل هو صادق.» و فى الخلف يتبيّن‌[٧] انّ النتيجة المحالة ما لزمت‌[٨] من المقدّمة الصادقة و لا من الترتيب، فتعيّن ان تكون لنقيض المطلوب.

الضابط السابع (فى موادّ الأقيسة البرهانيّة)

(٣٠) هو انّ العلوم الحقيقيّة لا يستعمل فيها[٩] الّا البرهان، و هو قياس مؤلّف من مقدّمات يقينيّة. ثمّ ما نعلمه‌[١٠] يقينا من المقدّمات امّا أن يكون «أوّليا» و هو الذى تصديقه لا يتوقّف على غير تصوّر الحدود، و لا يتأتّى لأحد انكاره بعد تصوّر الحدود، كحكمك بأنّ الكلّ‌[١١] أعظم من الجزء، و انّ الأشياء[١٢] المساوية لشي‌ء واحد

[١] ه ا: ه دHI

[٢] يتبين‌HMFI : يبين‌ER بين‌T

[٣] هو ... و يتركب: و هو ...

يتركب‌E

[٤] حقة: حقيةF

[٥] على:-F

[٦] كما سبق‌TMF -:HERi

[٧] يتبين‌HERI : يبين‌TMF

[٨] ان النتيجة المحالة ما لزمت‌HERtI : ان كذب النتيجة ما لزم‌THaMRF ، و فى اكثر النسخ« ان النتيجة المحالة ما لزمت»TaMaFa ان كذب النتيجة المحالة ما لزمت‌I

[٩] فيها: فيه‌E

[١٠] نعلمه: نعلم‌T

[١١] بأن‌TR :

ان‌T -I

[١٢] و ان الأشياءR : و الأشياءT -I