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

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

خلاصه‌ی بحث گذشته
واجب تعیینی و تخییری
تحقق واجب تخییری و سه اشکال ثبوتی
1- تعلّق اراده به «أحدهما»
2- جواز ترکِ فرد با بدل و لزومِ تنقیحِ ثبوتی
3- امتثال، ثواب و عقاب
تخییر عقلی و شرعی
حقیقت واجب تخییری
نظریه نخست: الواجب ما یختاره المکلّف
اشکال نخست بر نظریهٔ «الواجب ما یختاره المکلّف»: مخالفت با ظهور ادلّه تخییر
اشکال دوم: ناسازگاری با قاعده اشتراک در تکلیف
نقدی بر اشکال دوم
اشکال سوم: تعلیقِ وجوب بر اختیار و نفیِ عصیان
پاورقی
منابع

خلاصه‌ی بحث گذشته
نتیجه‌ی بحث در تصحیح اخذ قصد امر به واسطه‌ی تعدد امر
مقدمه سوم: امکان قصد قربت به معانی دیگر
نظر مرحوم آخوند
اشکال بر کلام مرحوم آخوند
توجیه کلام ایشان
پاورقی
منابع