الإجمالي الكبير بالصغير منوط بتوفره على شرطين :

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

الثاني : ان يكون مقدار المعلوم بالإجمال في العلم الإجمالي الثاني مساويا للمقدار المعلوم بالإجمال في العلم الإجمالي الكبير كما هو في المثال.

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

* * *

١٥٩ ـ الانسداد

دليل الانسداد أحد الأدلة التي يستدلّ بها على حجية الظن المطلق.

والمراد من الانسداد هو انسداد