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