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

ـــــــــــــــــــــــــــــ

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