Aristotle: Analytica Priora (Prior Analytics)

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