وقال المحقّق العراقي ( قدس سره ) - على ما في « بدائع الأفكار » - : الأجود أن يقال في تعريف علم الأُصول : إنّه هي القواعد التي يمكن أن تقع في طريق تحصيل وظيفة كلّيّة للمكلّف في مقام العمل ، فكلّ مسألة يمكن أن تُجعل نتيجتها كبرى قياس تستكشف بها وظيفة كلّيّة للمكلّف في مقام العمل ، فهي مسألة أُصوليّة ، ولا فرق في ذلك بين كون الوظيفة المستكشفة حكماً واقعيّاً ، كما هو مفاد الأمارات بناء على تتميم الكشف ، أو حكماً ظاهريّاً ، كما هو مفادها بناء على تنزيل المؤدّى منزلة الواقع ، أم وظيفة للمتحيّر بما هو متحيّر ، كما هو نتيجة الأُصول العمليّة الشرعيّة ، أم حكماً عقليّاً ، كما هو نتيجة

65