فقد تبين أن كل المسائل التى تتبرهن بالبراهين التى بالخلف يمكن أن تبرهن بالمقاييس المستقيمة وبحدود واحدة؛ وأن فى كل الحدود التى مقاييسها مستقيمة يمكن أن يقاس بالخلف إذا وضعت نقيضة النتيجة، لأن المقاييس التى بالخلف الكائنة عن المقاييس المستقيمة، هى هى المقاييس المنعكسة بأعيانها. فإذن المعرفة أيضا بالأشكال التى بها يكون كل واحد من المقاييس هى لنا موجودة. وقد تبين أيضا أن كل مسئلة على كلتا الجهتين تتبرهن بالخلف وبالاستقامة، ولا يمكن أن تفترقا.

[chapter 61: II 15] 〈النتائج المستخلصة من مقدمات متقابلة〉

وأما فى أى شكل يمكن أن يقاس على الشىء من مقدمات متقابلة، وفى أى شكل لا يمكن، فإنه ينبنى على نحو ما نحن واصفوه.

والمتقابلات: أما فى اللفظ فأربعة، مثل: كل، ولا واحد؛ كل، لا كل؛ بعض، ولا واحد؛ بعض، ولا بعض. وأما بالحقيقة فثلاثة، لأن بعض ولا بعض إنما تتقابل باللفظ. ومن هذه المتقابلات ما يتقابل تقابل تضاد، مثل: كل ولا واحد؛ كقولنا: كل علم فاضل، يضاد قولنا: ولا واحد من العلوم فاضل. وأما سائر ما يتقابل من المقدمات فإن تقابله تقابل تناقض.

Page 273