(صفحه168) مثال: بدون ترديد مسائلى چون «صيغه افعل ظاهر در وجوب است» و «صيغه لا  تفعل ظاهر در حرمت است» از مسائل علم اصول مى باشند و كسى نمى تواند اصولى بودن آنها را انكار كند، هرچند ممكن است اين مسائل در علوم ديگرى ـ مثل لغت ـ نيز مورد بحث قرار گيرند و در آنجا نيز به عنوان مسأله آن علم مطرح باشند ولى در علم اصول نيز به عنوان يك مسأله اصولىِ مسلّم مورد بحث قرار مى گيرند، در حالى كه با انضمام آنها به صغرى، حكم كلّى الهى استنتاج نمى شود، مثلا گفته مى شود:
صغرى: الصلاة معروضة لهيئة افعل،
كبرى: هيئة افعل ظاهرة في الوجوب،
نتيجه: هيئة افعل التي عرضت للصلاة، ظاهرة في الوجوب.
روشن است كه حكم الهى، خودِ وجوب نماز است نه ظهور در وجوب، به همين جهت براى بدست آوردن حكم الهى بايد از مسأله اصولى ديگرى كمك بگيريم و آن مسأله «كل ظاهر حجّة» است، بنابراين گفته مى شود:
صغرى: هيئة افعل الّتى عرضت للصلاة ظاهرة في الوجوب،
كبرى: كلّ ظاهر حجّة،
نتيجه: ظهور هيئة افعل ـ التي عرضت للصلاة ـ في الوجوب حجّةٌ.
بنابراين، تعريف مرحوم نائينى نيز نمى تواند تعريف صحيحى باشد.

4 ـ تعريف محقق عراقى (رحمه الله) از علم اصول

محقق عراقى (رحمه الله) در تعريف علم اصول فرموده است:
قواعد اصولى قواعدى هستند كه يكى از خصوصيات زير را ـ به طريق منع خلو ـ دارا باشند:
1 ـ راه را براى تشخيص حكم باز مى كنند.
2 ـ وظيفه عملى مكلّف را مشخص مى كنند.
(صفحه169) 3 ـ كيفيت تعلّق حكم به موضوع خود را مشخص مى كنند.(1)
دوخصوصيت اوّل، همان چيزى است كه مرحوم آخوند در رابطه با علم اصول بيان كرد. بااين تفاوت كه مرحوم عراقى درارتباط باخصوصيت اوّل، كلمه استنباط را از تعريف مرحوم آخوند حذف كرده وخصوصيت سوّمى نيزاضافه كرد كه درتوضيح آن فرموده است:
مباحثى چون عام و خاص و مطلق و مقيّد كه در علم اصول مورد بحث قرار مى گيرند، نه خودشان در تشخيص حكم نقش دارند و نه وظيفه عملى مكلّف را مشخص مى كنند بلكه كيفيت تعلّق حكم به موضوع خود را مشخص مى كنند، كه آيا اين حكم به نحو عموم است يا خصوص؟ به نحو اطلاق است يا تقييد؟
ولى مباحث مربوط به مشتق، خارج از علم اصول است و يك بحث لُغوى محض مى باشد زيرا نه راه تشخيص حكم را باز مى كند و نه وظيفه عملى مكلّف را و نه كيفيت تعلّق حكم به موضوع را، بلكه مشتق مانند ساير عناوينى است كه موضوع حكم قرار مى گيرد و براى پى بردن به معناى آن، بايد به لغت مراجعه كرد. همان گونه كه در مورد معناى كلمه «صعيد» و امثال آن به لغت مراجعه مى كنيم بايد در مورد مشتق نيز به لغت مراجعه كنيم و ببينيم آيا مشتق ـ از نظر لغت ـ حقيقت در خصوص متلبس به مبدأ و مجاز در منقضى است يا در هر دو حقيقت است؟
ولى مباحث عام و خاص و مطلق و مقيد ارتباط با خود حكم دارند، به همين جهت در علم اصول از آنها بحث مى شود.

اشكالات كلام محقق عراقى (رحمه الله)

بر كلام محقق عراقى (رحمه الله) اشكالات زير وارد است:

---

(صفحه170) اشكال اوّل: اشكالى كه محقق اصفهانى (رحمه الله) به مرحوم آخوند وارد كرد بر كلام محقّق عراقى (رحمه الله) نيز وارد است و حاصل آن اشكال اين است كه اگر خصوصيت هاى ذكرشده، داراى قدرجامع بودند بايد در تعريف، همان قدرجامع اخذ مى شد و چون قدرجامع، ذكر نشده است، معلوم مى شود خصوصيات مذكور داراى قدرجامع نيستند. پس مرحوم عراقى بايد ملتزم به تعدّد غرض در علم اصول باشد.
اشكال دوّم: امام خمينى«دام ظلّه» در اشكال به مرحوم عراقى مى فرمايد:
در مباحث عام و خاص، اين گونه نيست كه تمام مباحث، كيفيت تعلّق حكم به موضوع را بيان كنند. بلكه بعضى از مباحث عام و خاص، هيچ تفاوتى با مباحث مربوط به مشتق ندارند، مثلا در مباحث مربوط به الفاظ عموم ـ مثل كلّ، جمع محلّى به ال، مفرد محلّى به ال و... ـ بحث مى شود كه آيا اين الفاظ، دلالت بر عموم دارند يا نه؟ بديهى است كه پاسخ اين مسائل بر عهده علم لغت است، همان گونه كه در مشتق اين گونه بود. حال از مرحوم عراقى سؤال مى كنيم: چه تفاوتى بين اين گونه مسائل و مسائل مربوط به مشتق وجود دارد كه شما قسم اوّل را داخل در علم اصول دانسته و قسم دوّم را خارج مى دانيد؟
اشكال سوّم: اين اشكال را نيز امام خمينى«دام ظلّه» بر محقق عراقى (رحمه الله) وارد كرده است، ايشان مى فرمايد:
بنابرتعريف محقق عراقى (رحمه الله)، بعضى از قواعد فقهيه داخل در علم اصول مى شوند، زيرا در عبارت ايشان ـ همانند عبارت مرحوم نائينى ـ كلمه «استنباط» ذكر نشده است، بلكه همان بدست آوردن حكم ـ شبيه استنتاجى كه مرحوم نائينى مطرح كردند ـ ذكر شده است و اين امر سبب مى شود كه بعضى از قواعد فقهيه ـ مثل قاعده «ما يضمن بصحيحه يضمن بفاسده» ـ در تعريف ايشان داخل شود، زيرا اين قاعده راه را براى تشخيص حكم باز مى كند و به وسيله آن مى توان حكم بيع فاسد را تشخيص داد.(1)
بنابراين، تعريف مرحوم عراقى نيز نمى تواند تعريف صحيحى باشد.

---

(صفحه171)

5 ـ تعريف آيت الله خويى«دام ظلّه» از علم اصول

آيت الله خويى«دام ظلّه» در تعريف علم اصول فرموده است:
علم الاُصول هو العلم بالقواعد التي تقع بنفسها في طريق استنباط الأحكام الشرعيّة الكليّة الإلهية من دون حاجة إلى ضميمة كبرى أو صغرى اُصولية اُخرى إليها.(1)
قبل از ورود به بحث پيرامون تعريف ايشان، تذكر اين نكته لازم است كه ذكر «صغرى اُصولية» در عبارت ايشان به احتمال قوى از اشتباه تقريركننده بوده است، زيرا:
اوّلا: ما چيزى بنام «صغراى اُصوليه» نداريم و آنچه به عنوان مسأله اصولى مطرح است «كبراى اُصوليه» است كه در قياس استنباط عنوان كبرى پيدا مى كند.
و ثانياً: ايشان در مقام توضيح نيز هيچ سخنى در رابطه با «صغراى اُصوليه» مطرح نكرده است.
توضيح تعريف:
آيت الله خويى«دام ظلّه» در توضيح تعريف فوق مى فرمايد:
اين تعريف بر دو ركن استوار است كه هر قاعده اصولى بايد آن را دارا باشد:
ركن اوّل: كلمه «استنباط» است. استنباط داراى اين خصوصيت است كه در آن «مستنبَط» و «مستنبَط منه» بايد مغايرت داشته باشند به گونه اى كه «مستنبَط منه» جنبه واسطه براى استفاده حكم كلّى داشته باشد. به خلاف موردى كه مسأله «كلّى» و «مصاديق» مطرح است كه در آنجا عنوان «استنباط» صدق نمى كند بلكه عنوان «تطبيق» وجود دارد.
سپس مى فرمايد: ذكر كلمه «استنباط» براى اين است كه موارد «تطبيق» از تعريف علم اصول خارج شوند، به عبارت ديگر: ذكر كلمه «استنباط»، براى خارج كردن «قواعد فقهيه» است، زيرا در قواعد فقهيه، مسأله استنباط مطرح نيست بلكه مسأله تطبيق

---

(صفحه172) كلّى بر فرد و مصداق مطرح است.(1)
بنابراين، با ذكر كلمه «استنباط» قواعدى چون قاعده «ما يضمن» از تعريف قواعد اصوليه خارج مى شود، زيرا حكم بيع فاسد از قاعده «ما يضمن» استنباط نمى شود بلكه اين قاعده يك قاعده كلّى است كه بيع، يكى از مصاديق آن مى باشد و تطبيق آن قاعده بر بيع، استنباط ناميده نمى شود.
اشكال: گويا كسى به ايشان اشكال مى كند كه آنچه در مورد كلمه «استنباط» و مسأله «تطبيق» مطرح كرديد، اقتضا مى كند كه بعضى از مسائل مسلّم علم اصول، مانند اصول عمليّه شرعيّه و عقليّه و ظن انسدادى بنابر حكومت از علم اصول خارج شوند.
امّا در اصول عمليه شرعيّه ـ مانند استصحاب ـ مستشكل مى گويد:
چه فرقى بين استصحاب و قاعده «ما يضمن بصحيحه يضمن بفاسده» وجود دارد؟ اگرقاعده «ما يضمن» بر بيع تطبيق دارد، «لا تنقض اليقين بالشك» نيز بر نماز جمعه اى كه «متيقن الوجوب في السابق و مشكوك الوجوب في اللاحق» است تطبيق دارد. بنابراين نمى توان بين اين دو، فرق قائل شد و در مورد قاعده «ما يضمن» عنوان «تطبيق» را پياده كرد و در مورد قاعده «لا تنقض» عنوان «استنباط» را مطرح كرد.
امّا در مورد اصول عمليّه عقليّه ـ مثل قاعده قبح عقاب بلابيان ـ و ظن انسدادى بنابر حكومت، حكمى وجود ندارد تا مسأله «استنباط» مطرح باشد. مثلا در مورد قاعده «قبح عقاب بلا بيان»، عقل مى گويد: عقاب بدون بيان قبيح است و بيش

---