تلخيص كتاب القياس — الصفحة ٢٧٥

القول في الشكل الثالث

موجودة في بعض ج - التي هي النتيجة . مثال ذلك قولنا ولا حي واحد جيد وكل حي أبيض ، فإنه ينتج عن ذلك أن بعض الأبيض ليس بجيد ، وذلك صدق عن مقدمتين كاذبتين بالجزء .

( 273 ) وكذلك قد تكون النتيجة صادقة إذا كانت إحدى المقدمتين كاذبة بالكل والأخرى صادقة ، لأنه قد يمكن أن تكون كلتا [ آ وج ] « 1 »

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

آ ب - التي هي الكبرى - صادقة . والحدود التي يتبين « 3 »

ذلك منها هي الأسود وققنس وغير المتنفس . وذلك أنه إذا وضعنا أن كل ققنس أسود ولا ققنس واحد غير متنفس ، أنتج لنا أن بعض الأسود غير متنفس ، وذلك صدق عن مقدمتين صغراهما كاذبة بالكل .

وكذلك يعرض إذا أخذت كلتا المقدمتين موجبتين - أعنى الصادقة والكاذبة .

والحدود التي يتبين منها ذلك هي الحي والققنس والأسود . وذلك أنا نقول كل ققنس أسود وكل ققنس حي ، فينتج لنا عن ذلك أن بعض الأسود حي ، وهو

( 1 ) ا وج ل ، ق ، م ، د ، ش : ا ب ف .

( 2 ) ب وج . . . مقدمة ف : - ل ، ق ، م ، د ، ش .

( 3 ) يتبين ل ، ش : يبين ف ؛ تبين ق ، م ، د .