خلاصه‌ی بحث گذشته
تبیین فنّی محقق اصفهانی بر پایه ملاکِ تسهیل
بیانِ تصحیح نزد محقق اصفهانی: فنّی‌سازی بر پایه «مصلحةِ التسهیل»
اشکال سوم محقق خوئی بر بیان نخستِ محقق اصفهانی: کفایت مصلحتِ تسهیل و مانعیت آن از جعلِ وجوب للجمیع
سنجش مرتبه مصلحتِ تسهیل
تنزّل: بر فرضِ کفایتِ مصلحتِ تسهیل
مبانی سقوط تکلیف و بطلان «سقوط به امتثالِ بدل»
مبانی سقوط تکلیف
نقد «سقوط به امتثالِ بدل»
ادعای «جعلِ نوع خاصّ وجوبِ مشروط» و نقد اثباتیِ سید خوئی
نقد اثباتی محقق خوئی
جمع‌بندی اجمالیِ اشکال سوم محقق خوئی
تفکیک تزاحمِ ملاکی و تزاحمِ بعدالخطاب نزد محقق نائینی و نسبت آن با اشکال سوم
تفکیک دو سنخ تزاحم نزد نائینی
جای‌گذاری درست «مصلحتِ تسهیل» و توسعه مفهوم تزاحم امتثالی در دفاع از تفسیر محقق اصفهانی
صورت دفاع از محقق اصفهانی
آثار روشی و فقهی
تذکار ثبوتی و شرط اثباتی
پاورقی
منابع

خلاصه‌ی بحث گذشته
اشکال چهارم: تعلیقِ وجوب بر اختیارِ مکلف و محذورِ «جعلِ بلا متعلّق»
دفع توهّم «وجوب کلی با تعیّن لاحق»
مذهب دوم؛ تحلیلِ تخییر به تعیّناتِ مشروطه
بیان نخست محقق اصفهانی: مصالح ملزمه و ترخیصِ تسهیلی
ثمرات در بیان نخست: تکثّر ثواب و وحدت عقاب
استشهاد اصفهانی
اشکال نخست محقق خوئی بر «تعیّناتِ مشروطه» و تمایز مقام ثبوت از اثبات
دفع اشکال: تفکیک مقام ثبوت از اثبات
اشکال دوم محقق خوئی بر «تعدّد ملاک»
پاسخ از اشکال
اشکال سوم محقق خوئی؛ سنجش مصلحتِ تسهیل و حجیتِ ترخیص
پاورقی
منابع