تلخيص كتاب القياس — الصفحة ٢٧٩

القول في الشكل الثالث

لم ترتفع آ فلتكن موجودة ، وإذا كانت آ موجودة فإنا قد فرضنا أن ب تكون موجودة ، فتكون ب إذا ارتفعت لزم أن توجد ب ، وذلك خلف لا يمكن . وإذا تقرر هذا / الأصل فنقول : إنه متى كانت ثلاثة حدود - أول وثان وثالث - وكان الثاني يلزم الأول والثالث يلزم الثاني ، فإن الثالث يلزم الأول . وإذا تقرر هذا فنقول « 1 »

إنه ليس يلزم أن ترتفع « 2 »

آ وتوجد ب ، وذلك أنه قد تبين أن ب لما كانت لازمة عن [ آ أن ] « 3 »

ب متى ارتفعت ارتفع آ .

فإن أنزلنا أن آ إذا ارتفعت وجدت ب وقد كان معنا أن ب إذا ارتفعت ارتفع آ ، فيلزم إذا ارتفعت الباء أن توجد الباء ، وذلك خلف لا يمكن . فلذلك ليس يلزم إذا كذبت المقدمات « 4 »

أن تصدق النتيجة ، بل الصدق لها إنما هو بضرب من العرض ، وذلك ما أردنا بيانه . وكذلك يظهر أيضا أنه ليس يلزم عن ارتفاع آ أن ترتفع ب ، لأنه يلزم أن يكون وجود آ لازما عن وجود ب وقد كانت ب لازمة عن وجود آ فيكون اللزوم متكافئا ومنعكسا ، وذلك مستحيل . فلذلك ليس يلزم إذا كذبت المقدمات أن تكذب النتيجة . فأما إذا كذبت النتيجة فإنه تكذب المقدمات ، لأنه إذا ارتفعت ب ارتفعت آ .

( 1 ) فنقول ف : فأقول ل ، ق ، م ، د ، ش .

( 2 ) ترتفع ف ، م : يرتفع ل ، ق ، د ، ش .

( 3 ) ا ان ف ، ق ، م ، د ، ش : ا ن ل .

( 4 ) المقدمات ل ، ق ، م ، د ، ش : المقدمتان ف .