Aristotle: Analytica Priora (Prior Analytics)

يكون قياس، لأنه ولا واحدة من المقدمتين أخذت كلية. فإذن ليس تبطل مقدمة ا ٮ. فإن انعكست النتيجة بالتناقض، فإن كلتا المقدمتين تبطل، لأنه إن وضعت ٮ موجودة فى كل حـ، وا ليس فى شىء من ٮ، فإن ا ليست فى شىء من حـ، وقد كانت فى بعض حـ. وأيضا إن كانت ٮ فى كل حـ، وا فى بعض حـ، فإن ا تكون فى بعض ٮ.

وكذلك يمكننا أن نبين فى القياس الذى كليته موجبة.

〈انعكاس القياس فى الشكل الثالث〉

وأما فى الشكل الثالث إذا انعكست النتيجة بالتضاد، فإنه ولا واحدة من المقدمتين تنتقض، وذلك فى كل مقاييسه. فإذا انعكست النتيجة بالتناقض انتقضت كل واحدة من المقدمتين فى كل المقاييس. — فلنبين أن ا فى بعض ٮ موجودة، ولتؤخذ حـ واسطة، ولتكن المقدمات كلية. فإن أخذت ا غير موجودة فى بعض ٮ، و ٮ فى كل حـ، فإنه ليس يجتمع من ذلك شىء على ا و حـ. ولا أيضا إن أخذت ا غير موجودة فى بعض ٮ، وموجودة فى كل حـ يكون قياس على ٮ و حـ. وكذلك يتبين فى المقدمات التى ليست كلية؛ لأنه 〈فى القياس المعكوس〉 النتيجة