نقد اول محقق خویی بر محقق نایینی
1. تعلق تکلیف به جامع مقدور و غیر مقدور اشکال ندارد اگر مصلحت مورد نظر شارع به جامع خورده باشد پس اگر اطلاقی باشد به اطلاق تمسک می‌شود و مقتضای اطلاق سقوط واجب از مکلف است اگر در خارج محقق شود و اصل عملی نیز برائت است.
2. اعتبار حسن فاعلی دلیل ندارد و اعتبار آن سر از انکار واجب توصلی در می‌آورد.
تحقیق مطلب:
1. در بحث حاضر، نباید مبانی مورد قبول را نادیده گرفت. مثلا از مبانی غیر قابل انکار تقسیم واجب به تعبدی و توصلی است، حال آیا واجب محل بحث واجب تعبدی فقط است یا اعم از هر دو است.
اگر اعم است اعتبار حسن فاعلی- اگر در تعبدیات لازم باشد- در توصلیات جای فرض دارد؟ و از این نظر حق با محقق خویی است.
2. تعلق تکلیف (یعنی امر و وجوب) به جامع بین مقدور و غیر مقدور چه معنایی دارد؟!
چیزی که مقدور نیست تحت طلب قرار نمی‌گیرد چه مستقلاً و چه ضمناً!
البته ممکن است شارع عمل اجباری را نیز مورد جعل قرار دهد مثلاً اگر بگویند: اگر کسی را دست بسته و به زور به حج بردند واجب او ساقط می‌شود؟
و او بفرماید: حج مورد طلب من اعم است و این غیر از تعلق تکلیف به غیر مقدور است.

محقق خویی: مفروض سخن اقسامی دارد:
1. رابطه عینیت 2. رابطه عینیت نیست
در رابطه عینیت:
1. یقین به سقوط داریم که معلوم است
2. یقین نداریم. در این صورت مقتضای اطلاق دلیل عدم سقوط است زیرا محال است انطباق محبوب بر مبغوض و مقتضای اصل استصحاب و الّا برائت است.
در رابطه عدم عینیت:
1. توصلی است حتماً ساقط می‌شود
2. تعبدی است باز نیز ساقط می‌شود
زیرا عمل همه شرائط را به حسب فرض دارد و لذا بنا بر قول به جواز اجتماع قائل به صحت عبادت هستیم.
حسن فاعلی نیز لازم نیست بیش از این بلکه حسن فاعلی هم هست لکن حیثیتی است.
تحقیق: اختلاف سلیقه و اقوال - کلام شیخ طوسی و محقق در معارج

در انجام واجب با حصه حرام؟ محقق نایینی:
1. گاه نسبت دلیل تحریم به واجب نسبت خاص به عام است مثل نهی در عبادات - در این صورت: دلیل امر مضیق می‌شود به حصه حرام. مثل اغسل ثوبک و لاتغسل بالماء المغصوب
2. گاه نسبت عام و خاص من وجه است(باب اجتماع امر و نهی) در این صورت چون اتیان در ضمن حرام فاقد حسن فاعلی است قهراً ماموربه نیست و کار به جواز یا عدم جواز اجتماع امر و نهی نداریم.
حال اگر جایی دلیل بر سقوط تکلیف داشتیم از باب کشف تحقق مصلحت یا ارتفاع موضوع است نه ماموربه بودن حصه مثل ازاله نجاست با آب غصبی
و اگر شک کردیم: مرجع اصل اطلاق ان کان و الّا استصحاب و اقتضای هر دو عدم توصلیت است(یعنی عدم سقوط تکلیف است)
محقق خویی: مأتی به حقیقتاً مصداق حرام است که دو صورت دارد:
أ. علم به سقوط داریم مانند باب ازاله نجاست از مسجد که سقوط امر قطعی است.
ب. شک در سقوط داریم که اقتضای اطلاق دلیل واجب عدم سقوط است.
چون مبغوض مولا محبوب مولا نمی‌شود. و در فرض شک استصحاب جاری است اگر بپذیریم و الّا برائت جاری است.
2. ملازم وجودی است که دو صورت دارد: توصلی و تعبدی