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