Aristotle: Analytica Priora (Prior Analytics)

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

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