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