Aristotle: Analytica Priora (Prior Analytics)

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

وكذلك يعرض إن أخذت المقدمة الأخرى عند ٮ، وأيضا كمثل ذلك يعرض إن أخذت مقدمة حـ ا سالبة، لأن على هذه الجهة يكون قياس. فإن كانت المقدمة السالبة عند ٮ، فإنه ليس ينتج شىء بتةً. فإن كان موضوعنا جزئية موجبة، فإنه ليس ينتج من ذلك جزئية سالبة، ولكن كلية سالبة، لأنه ان كانت ا موجودة فى بعض ٮ، و حـ موجودة فى كل ا، فإن حـ موجودة فى بعض ٮ. فإن كان ذلك محالا، فإنه كذب أن يقال إن ا موجودة فى بعض ٮ. فهو إذن صدق أن يقال إن ا غير موجودة فى شىء من ٮ. فإذا تبين أن ا غير موجودة فى شىء من ٮ فإنه ينقض مع الكذب الصدق، لأن ا موجودة فى بعض ٮ وغير موجودة فى بعضها.