Aristotle: Analytica Priora (Prior Analytics)

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

فقد تبين أن التبيين الذى يكون بالدور فى الشكل الأول يكون بالشكل الأول والثالث. فإذا كانت النتيجة موجبة، كان التبيين بالشكل الأول. وإذا كانت سالبة، كان بالشكل الثالث: لأنه يؤخذ أن ما لا يوجد فى شىء منه هذا، فالآخر فى كله. وأما فى الشكل الثانى إذا كان القياس كلياً فإن البيان يكون به وبالشكل الأول والثالث. وأما فى الشكل الثالث، فإن البيان يكون به فى المقاييس كلها. وهو أيضا بين أن فى الشكل الثانى والثالث المقاييس التى لا تتبين بها إما أن تكون على الدور وإما أن تكون ناقصة.

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

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