منطق الملخص — الصفحة ٢٨٣

[ قرائنها مع الصغرى الوجودية اللاضرورية ]

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

[ 3 - 12 و 3 - 13 ] وأمّا مع العرفية والمشروطة « 1 » الخاصتين ، فغير منعقد لما مرّ .

[ قرائنها مع الصغرى الوجودية اللاضرورية ]

[ قرائنها مع الصغرى الوجودية اللاضرورية ]

« د » « 2 » [ 4 ] الصغرى الوجودية اللاضرورية : [ 4 - 1 إلى 4 - 9 ] مع التسع ، فالنتيجة كالكبرى .

[ 4 - 10 ] ومع العرفية العامة ، فالنتيجة مطلقة عامة مخالفة للمقدمتين . لأنّ الأكبر دائم بدوام وصف الأوسط ، مع احتمال أن يكون ضروريا وأن لا يكون . والأوسط ثابت للأصغر مع شرط اللاضرورة ، ومع احتمال الدوام واللادوام ، فالمعلوم أنّ الأكبر ثابت للأصغر حال حصول الأوسط له . « 3 » ثم يحتمل أن يكون ضروريا له ابتداء ، وأن يكون دائما إمّا « 4 » بدوام الذات ، أو بدوام الوصف الذي جعل معه أصغر ، وأن لا يكون كذلك ، والمشترك هو الإطلاق العام .

[ 4 - 11 ] ومع المشروطة العامة ، فالنتيجة مطلقة عامة أيضا مخالفة « 5 »

( 1 ) آك ، دا ، مل : - العرفية والمشروطة .

( 2 ) دا : - د .

( 3 ) دا : - له .

( 4 ) مل : - إمّا .

( 5 ) دا : لمخالفة .