Aristotle: Analytica Priora (Prior Analytics)

المقدمات يكون القياس. فهو بين أنه إذا وضعت المقدمة التى عند الطرف الأصغر سالبةً أو كلتا المقدمتين: 〈فـ〉ـإما ألا يكون قياس، وإما أن يكون إلا أنه غير تام، لأنه إنما تجب النتيجة عنه من الرجوع.

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

فإن كانت المقدمة التى عند الطرف الأكبر جزئية والتى عند الطرف الأصغر كلية: واجبتين كانتا أو سالبتين أو مختلفتين فى الإيجاب والسلب،