Aristotle: Analytica Priora (Prior Analytics)

فى شىء من ٮ، فإن ٮ غير موجودة فى شىء من حـ. وإن كانت ا وٮ فى كل حـ، فإن ا فى بعض ٮ، ولكن لم تكن فى شىء منها.

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

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