Aristotle: Analytica Priora (Prior Analytics)

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

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