Aristotle: Analytica Priora (Prior Analytics)

إحدى المقدمتين أن تبطل الأخرى، لأنها إن لم تبطل، ولا النتيجة تبطل.

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