وجه تفاوت حِرَف با مبادی آن ها مثل تاجر و تجارت - بیان محقق عراقی در مساله: وجه اطلاق مشتق در حِرَف حتی در وقتی که شخص به ضد آن مشغول است این است که در ذات وجود و اقتضای مبدأ هست، زیرا مبدأ قبلا مکررا از او صادر شده است و عقلا وجود مقتضی را برای حکم به فعلیت و تحقق مقتضا و ترتب آثار آن کافی می‌دانند.
پس وجهی برای رفع ید از مقتضای مبدأ نیست.
قول محقق عراقی مورد اقبال و اعراض قرار گرفته است.
لکن فرمایش عراقی موافق طبع و ارتکاز عقلا نیست.
صحیح این است که گفته شود: بشر در آغاز تاجر و تجارت را در فعلیت به کار می‌برد لکن در ادامه احتیاج به افهام حرفه پیدا کرد حال یا باید لفظ دیگری وضع می‌کرد یا توسعه می‌داد و او همین لفظ را و لغت و عرف کار دوم را کرد.

پرسش های درسی روزانه اصول
جلسه سی‌ام خارج اصول فقه

2. ما معتقد به وجود رابط در خارج هستیم و دلیل آن وجدان است.مثل وجود عرض - هر چند اضعف از وجود عرض است.
نبود محکی عنه در خارج بالاستقلال دلیل بر عدم آن نیست؛ نظیر کلی طبیعی و به صرف تعمّل عقلی نیست.
مکتب اسمیون (نومینالیزم) وجودی برای کلی طبیعی قائل نیستند.
3. تطبیق مجدد بحث بر "زید فی الدار" در این مثال 5 وجود، هست. با نبود"فی" ما 2 وجود بیش نداریم و بقیه با آمدن "فی" می‌آید.
در اینجا سه گزینه وجود دارد: "فی" دال بالمطابقة بر 2 وجود عرض باشد و بالالتزام دال بر نسبت، بالعکس.
دال بر هر سه بالمطابقة باشد. صحیح این است که بالمطابقة دال بر نسبت است و بالالتزام دال بر عرضین.

نظریه تحقیق در تعریف حکم : اعتبار من له الاعتبار الفعل عن ترکه علی ذمة المکلف او اعتباره تساوی الفعل و الترک فی حقه او اعتباره شیئا فی عالم التشریع یتعلق بالمکلف بوجه واضح و ان لم یکن من الاول او الثانی
اشاره به نقد برخی از تعریفها