بیان هیاکل معروضه در اصول فقه خاصه و عامه و نکات هر کدام
نکته مثبت از تمهید القواعد شهید ثانی در شروع از بحث «حکم»
تغییرات نسبتا اساسی در ساختار اصول فقه توسط محقق اصفهانی
ساختار کتاب جوینی و خلّا
نکاتی قابل توجه در ساختار ارائه شده توسط خلّاف
ساختار مشهور از محقق خراسانی
نقد

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

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

نکات در اطراف روایات ظهر و بطن
1. توسیع در مصداق معنا 2. استفاده مدلول تصدیقی جدید
3. توجیه موارد جواب های مختلف - شاید غالبا از قبیل اول یا دوم بوده است(ربطی به استعمال در بیش از یک معنا ندارد و به کار استنباط می‌آید)
4. ظهره تزیله و بطنه تاویله معنای دیگری از بطن است و منافاتی با گذشته نیست چون متوافقین هستند(ربطی به استعمال در بیش از یک معنا ندارد)