Aristotle: Analytica Priora (Prior Analytics)

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

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

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