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

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

مساهمون:

ص٣١

[ ضروب كل شكل ستة عشر ]

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

[ شرائط الأشكال ]

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

[ الضروب المنتجة ]

فتصير الضروب المنتجة بحسب البسائط من كل واحد من الأولين أربعة ، ومن الثالث ستة ، ومن الرابع خمسة . وأمّا بحسب التركيب فمن كل واحد من الأولين ثمانية ومن الآخرين اثني عشر .

[ النتيجة تابعة لأخسّ المقدمتين ]

والنتائج تابعة لأخسّ المقدمات في الكم مطلقا ، والكيف إذا لم تتركب جهاتها . فالأول عام الانتاج . ولا ينتج الثاني موجبة ، ولا الثالث كلية ، ولا الرابع موجبة كلية .