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