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

10