مرحله دوم از تعریف علم اصول
بیان کفایة الاصول در تعریف علم اصول
نقد تعریف دوم از علم اصول با وارد کردن نهاد(حجة) در آن
نقد تعریف سوم که علی وجه جامع نیست و علی وجه مانع نیست

تتبع در کلام فقها
بیان کلام محقق حکیم بر بیان محقق خراسانی درشک و یقین

بیان نظریه محقق خراسانی بر عدم حکم ظاهری و واقعی