تلخيص كتاب القياس — صفحة 305

مقدمتي ذلك القياس ، وأما القياس على طريق الخلف فإنما يأخذ « 1 » نقيض المقصود بيانه لا نقيض « 2 » نتيجة قياس ونضيف إليه مقدمة صادقة لا مقدمة قياس مفروض . وأيضا فإن عكس القياس إنما يتأتى به إبطال الشئ الكاذب بأن يتسلم نقيض المحال الذي هو الصادق . وفي قياس الخلف إنما يتبين « 3 » النتيجة بوضع المحال نفسه . وكل ما تبين « 4 » بقياس حملى - وهو الذي يسمى المستقيم - يمكن أن يبين بتلك المقدمات بعينها بقياس الخلف ، وحينئذ يكون / قياس الخلف أشبه شئ بالقياس المنعكس ، وذلك أن صورته تكون تلك الصورة بعينها . وسبب ذلك أن القياس المستقيم إذا رد إلى الخلف تكون الحدود والمقدمات فيها واحدا بعينه . مثال ذلك أن نفرض أن آ موجودة في كل ب بقياس مستقيم بأن تكون آ موجودة في كل ج وج موجودة في كل ب ، فينتج لنا أن آ موجودة في كل ب . فإن أردنا بيان هذه النتيجة بالخلف قلنا إن آ إن لم تكن في كل ب فليكن عكسها إلى النقيض صادقا - وهو أن آ ليست في بعض ب - ولنضف إليها أن آ موجودة في كل ج ، فيلزم عن ذلك ضرورة في الشكل الثاني أن تكون ج غير موجودة في كل ب ، وذلك نقيض المقدمة الصغرى وهو محال ، فإذن الموضوع - وهو نقيض النتيجة أو ضدها - محال ، وإذا كذب [ النقيض الموضوع ] « 5 » صدق نقيضه - وهي النتيجة . وهذا بعينه