اصول فقه شيعه - فاضل لنكرانى، محمد - الصفحة ١٦٠ - ٢- تعريف مرحوم آخوند از علم اصول
به اين معناست كه ما يك سرى قواعد داريم و يك سرى احكام شرعيه و اين احكام شرعيه را از اين قواعد استنباط مىكنيم. ملاحظه مىشود كه در اين تعريف روى كلمه «استنباط» تكيه شده است و در استنباط بايد بين «مستنبَط» و «مستنبَط منه» مغايرت وجود داشته باشد. بنابراين بايد قواعد ممهَّدة غير از احكام شرعى باشند و احكام شرعى، نفس اين قواعد نيستند. البته مراد از مغايرت اين نيست كه بين آنها ضدّيت وجود داشته باشد بلكه به معناى اين است كه اينها دو چيزند كه يكى از ديگرى استنباط مىشود. حال اگر خبر واحد بر وجوب نماز جمعه دلالت كند، مجتهد مىگويد:
من وجوب نماز جمعه را از راه خبر واحد استنباط كردم ولى اگر به استصحاب تمسّك كند نمىتواند بگويد: من وجوب جمعه را از راه «لا تنقض اليقين بالشك» استنباط كردم، زيرا مسئله وجوب جمعه يكى از مصاديق «لا تنقض اليقين بالشك» است و تطبيق كلّى بر فرد را نمىتوان استنباط ناميد. تطبيق كلّى بر فرد با استنباط فرد از كلّى تفاوت دارد. مثلًا اگر مولا بگويد: «أكرم كلَّ عالمٍ» در مورد اكرامِ زيدِ عالم نمىتوان گفت: حكم اكرامِ زيدِ عالم را از «أكرم كلَّ عالمٍ» استنباط كردم بلكه اين، از باب تطبيق كلّىِ «أكرم كلَّ عالم» بر مصداق- يعنى «زيدِ عالم»- است. در باب قياس نيز كه صغرى و كبرى و شكل اوّل درست مىكنيد نمىتوانيد بگوييد: من حكم صغرى را از كبرى استنباط مىكنم. خلاصه اشكال مرحوم آخوند اين است كه چون مشهور در تعريف خود كلمه «استنباط» را بكار بردهاند و ما در مورد اصول عمليه جارى در شبهات حكميه نمىتوانيم «استنباط» را مطرح كنيم بنابراين، اصول عمليه جارى در شبهات حكميه از تعريف مشهور خارج است. [١]
٢- تعريف مرحوم آخوند از علم اصول
مرحوم آخوند براى فرار از اشكالاتى كه بر كلام مشهور وارد است، تعريف ديگرى براى علم اصول ارائه كرده و فرموده است: «الأولى تعريفه بأنّه صِناعة يعرف بها
[١]- كفاية الاصول: ج ١، ص ٩