Aristotle: Analytica Priora (Prior Analytics)

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

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

فإذا أردنا أن نبين أن ا غير موجودة فى كل ٮ، فليكن موضوعنا أن ا فى كل ٮ، وغير موجودة فى شىء من حـ، فيلزم ضرورة أن تكون حـ