وتعين في الواقع إلا انه انما يمنع من انحلال العلم الإجمالي بالظفر بالمقدار المتيقن فيما إذا لم يكن في نفسه مردداً بين الأقل والأكثر كالمثال الّذي قدمناه آنفاً.

وأما إذا كان ماله العلامة والتعين مردداً أيضا بين الأقل والأكثر فبطبيعة الحال يكون حاله حال ما ليس له العلامة والتعين في الواقع ، فكما أن ما ليس له العلامة والتعين فيه ينحل بالظفر بالمقدار المتيقن والمعلوم ، فكذلك ماله العلامة والتعين ، وما نحن فيه كذلك ، فان ماله العلامة والتعين فيه حاله حال ما ليس له العلامة والتعين فلا فرق بينهما من هذه الناحية يعني من ناحية الانحلال بالظفر بالمقدار المتيقن.

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

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

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

والمفروض في المقام قد انحلت هذه القضية إلى هاتين القضيتين ،