بنیان اندیشه محقق نایینی و قائلان به انقلاب نسبت
محقق نایینی : تعارض ادله به دلیل حکایت از کشف مراد شارع باشد در وقتی که مفاد ادله قابل جمع نیست.
و تخصیص عام موجب می شود تا دایره مراد شارع ضیق شود.
بنابراین باید عام را بعد از تخصیص طرف نسبت قرار داد. ...

بیان محقق نایینی در مسئله
صوری که محقق نایینی به تصویر می‌کشد سه قسم است:
1. مجال انقلاب نسبت در آن نیست
2. مجال انقلاب هست لکن ایشان نمی‌پذیرد
3. مجال انقلاب هست و ایشان می‌پذیرد
محقق نایینی : در صورت اتصال یکی از خاص ها به عام، تخصیص آن مقدم بر تخصیص به مخصص منفصل است.

نقد اندیشه محقق نایینی
محقق خویی : لازم تابع ملزوم است در ثبوت، اثبات و حجیت.
بیان چند نقض وارد بر اندیشه محقق خویی

اندیشه صلاحیت نفی ثالث مستندا به هر دو دلیل نظر محقق نایینی است.
ایشان هرچند با تعارض مدلول مطابقی را ساقط میبیند اما مدلول التزامی را از هیچکدام ساقط نمیبیند.
به نظر وی مدلول التزامی در حدوث و اصل تحقق تابع مدلول مطابقی است لکن در بقا و حجیت تابع آن نیست.
توضیحی در اینباره