Aristotle: Analytica Priora (Prior Analytics)

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

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