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

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

مساله دوم
مصادیق کذب و خلف وعده

کذب و دلالت التزامی آن و تحقیق در معنای کذب