مىبايد نمود .
3 - تخيير
تخيير عبارتست از اصلى كه مكلّف بواسطة تشخيص ندادن رجحان بين طرفين شك لاعلاج هركدام را كه خواست امتثال مىكند نظير تخيير در دوران امر بين محذورين ، مانند دوران بين حرمت ووجوب نسبت به صلاة جمعه .
4 - استصحاب
استصحاب عبارتست از اصلى كه مكلّف در مقام شك با در نظر گرفتن حالت سابقه بر طبق آن عمل مىكند مانند حكم بطهارت وبقاء آن نسبت به كسى كه قبلا طاهر بوده واكنون شاك است .
چنانچه ملاحظه ميشود هر چهار أصل در مورد شكّ وترديد جار مىباشند ، منتهى هركدام در مورد خاصّى از موارد شكّ جريان دارند ، از اينرو مناسب است مجارى أصول چهارگانه باختصار ذكر شوند .
بحث اوّل مجارى أصول عمليّه
1 - مجراى اصالة البراءة : أصل برائت در موردى از شكّ جارى ميشود كه مكلّف شكّ در أصل ثبوت تكليف داشته باشد ، چنانچه در تمام شبهات بدويه چنين است ، مثلا در مورد شك در حكم كشيدن سيگار چون حرمت آن مشكوك است ، بناچار مىگوئيم :
أصل برائت از حرمت است .
2 - مجراى اصالة الاحتياط : اين أصل را در موردى جارى مىكنند كه شك در مكلّف به باشد مانند موارد شبهه محصوره كه مكلّف به ثبوت تكليف