تخطي إلى المحتوى الرئيسي

تجريد المنطق — صفحة 32

مساهمون:

ص٣٢

[ القياس منه بيّن الانتاج ومنه دون ذلك ]

والقياس منه كامل بين الانتاج كبعض ضروب الشكل الأول ، ومنه غير كامل يحتاج إلى بيان كالثلاثة الأخيرة وأحوجها الرابع .

[ شرائط انتاج الشكل الأول ]

الشكل الأول ان لم يكن الأصغر داخلا بالايجاب تحت الأوسط ، أو في حكم الداخل ، أو لم يكن الحكم شاملا لجميع الأوسط ، لم يجب ان يتعدى حكم الأوسط اليه .

[ الضروب المنتجة في الشكل الأول ]

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