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