فإن أخذت مقدمة ا ٮ سالبة والأخرى موجبة، يكون الشكل الأول، لأن ح موجودة فى كل ا وٮ، غير موجودة فى شىء من ح، فإذن ٮ غير موجودة فى شىء من ا؛ ف ا غير موجودة فى شىء من ٮ؛ وليس يكون قياس من النتيجة وإحدى المقدمتين. فإذا أخذت مقدمة أخرى يكون قياس.

فإن لم يكن القياس كليا، فليس تبرهن المقدمة الكلية للعلة التى قلنا أولا. وأما الجزئية فتبرهن إذا كانت الكلية موجبة. فلتكن ا موجودة فى كل ٮ وغير موجودة فى بعض ح، فالنتيجة أن ٮ غير موجودة فى بعض ح. فإن أخذت ٮ موجودة فى كل ا وغير موجودة فى كل ح، فإن ا تكون غير موجودة فى بعض ح والحد الأوسط ٮ. فإن كانت الكلية سالبة، فليس تتبرهن مقدمة ا ح إذا انعكست مقدمة ا ٮ، لأنه يعرض إما أن تكون كلتا المقدمتين سالبتين وإما أن تكون الواحدة سالبة. فإذن ليس يكون قياس. وكذلك يكون التبيين كما كان فى القياسات الكلية، إن قيل: إن الذى يكون ٮ غير موجودة فى بعضه، فإن ا تكون موجودة فى بعضه.

[chapter 53: II 7] 〈البرهان الدورى فى الشكل الثالث〉

Shafi 252