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