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

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