لا يكون ضروريا له مع أنّ الأكبر لا يثبت للأصغر إلّا عند حصول الأوسط له ، لم يكن الأكبر ضروريا للأصغر ، ويحتمل أن لا يكون على الوجه المذكور حتى يكون ضروريا له ، لكن على التقديرين فلا شكّ في دوام الأكبر بدوام ذات الأصغر .
[ 3 - 12 و 3 - 13 ] وأمّا مع العرفية والمشروطة « 1 » الخاصتين ، فغير منعقد لما مرّ .
[ قرائنها مع الصغرى الوجودية اللاضرورية ]
« د » « 2 » [ 4 ] الصغرى الوجودية اللاضرورية : [ 4 - 1 إلى 4 - 9 ] مع التسع ، فالنتيجة كالكبرى .
[ 4 - 10 ] ومع العرفية العامة ، فالنتيجة مطلقة عامة مخالفة للمقدمتين . لأنّ الأكبر دائم بدوام وصف الأوسط ، مع احتمال أن يكون ضروريا وأن لا يكون . والأوسط ثابت للأصغر مع شرط اللاضرورة ، ومع احتمال الدوام واللادوام ، فالمعلوم أنّ الأكبر ثابت للأصغر حال حصول الأوسط له . « 3 » ثم يحتمل أن يكون ضروريا له ابتداء ، وأن يكون دائما إمّا « 4 » بدوام الذات ، أو بدوام الوصف الذي جعل معه أصغر ، وأن لا يكون كذلك ، والمشترك هو الإطلاق العام .
[ 4 - 11 ] ومع المشروطة العامة ، فالنتيجة مطلقة عامة أيضا مخالفة « 5 »
هامش
( 1 ) آك ، دا ، مل : - العرفية والمشروطة .
( 2 ) دا : - د .
( 3 ) دا : - له .
( 4 ) مل : - إمّا .
( 5 ) دا : لمخالفة .