ادله اربعه: تفاوت میان نسخه‌ها

ملازمهٔ بین حکم عقل و شرع:این قاعده مورد قبول اکثر اصولیین شیعه و جمعی از اهل سنت قرار گرفته است و عده‌ای هم مخالف آن‌اند از جمله اخباریین شیعه و جمعی دیگر از اهل تسنن. کسانی که به «منبع بودن عقل برای استنباط احکام» معتقد بوده‌اند قانون ملازمه را پذیرفته‌اند و جمعی که با منبع بودن عقل مخالف بوده‌اند، طبعاً به ملازمه هم اعتقادی نداشته‌اند.

عقل نظری: حکم شرعی توقیفی است و جز راه شنیدن از شارع نمی‌توان بدان دست یافت. بنابراین مقصود از دلیل عقلی، حکم عقل نظری به ملازمه میان حکم ثابت شرعی یا عقلی و میان حکم شرعی دیگر است. مانند ملازمه در مسأله إجزاء.

عقل عملی: این نوع عقل به تنهایی نمی‌تواند حکم شرعی را درک کند؛ اگر چه درک می‌کند که این عمل فی نفسه سزاوار است یا نه؛ اما آن را به شارع نسبت نمی‌دهد. پس از حصول چنین ادراکی گاه به ملازمه میان حکم عقل و حکم شرع حکم می‌کند و گاه حکم نمی‌کند. ملازمه در اینجا تنها در مسأله حسن و قبح عقلی است.

مستقلات عقلی: دلیلی که عقل به تنهایی و بدون کمک گرفتن از شرع، به حکم شرعی دست می‌یابد. مانند حکم عقل به حسن عدل.

غیرمستقلات عقلی: عقل به کمک حکم شرع، به حکم شرعی علم پیدا می‌کند. مانند حکم عقل به وجوب مقدمه هنگام وجوب ذی المقدمه. وجوب ذی المقدمه حکم شرعی است که با ضمیمه آن به حکم عقل -مقدمه واجب، واجب است- دلیل عقلی شکل می‌گیرد. مسأله إِجزاء، مقدمه واجب، ضد و ...از جمله غیرمستقلات عقلی است که در علم اصول فقه بحث می‌شود.