Aristotle: Analytica Priora (Prior Analytics)

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

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

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