Aristotle: Analytica Priora (Prior Analytics)

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

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