كتاب القياس

ومتى يكون ذلك وكيف - القول في الشكل الثاني - ص: 68

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

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

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