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

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

کلام مرحوم محقق نائینی (رحمه‌الله)
علت اختصاص وضع، به شارع متعال
کیفیت وضع و انتقال آن به بشر توسط شارع متعال
کلام مرحوم محقق خوئی (رحمه‌الله) و بررسی آن
کلام مرحوم صاحب منتقی الاصول (رحمه‌الله)
بررسی کلام مرحوم محقق نائینی(رحمه‌الله)

امر دوم: معنای صحت
بحث اول: صحت به حمل شایع یا صحت به حمل اولی
کلام مرحوم محقق اصفهانی (ره) و مرحوم امام خمینی(ره)
بحث دوم: مساوق بودن صحت و تمامیت
کلام مرحوم امام خمینی(ره)