Aristotle: Analytica Priora (Prior Analytics)

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

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

وأما إذا كان الكلى من الرأسين مخالفاً الجزئى فى شكله، فقد تبين متى يكون قياس، ومتى لا يكون. فأما إذا كانا متشابهين فى الشكل، وذلك أن يكونا جميعاً سالبين أو موجبين، فلن يكون قياس ألبتة. فليكونا أولاً سالبين،