تعیین مراد از حالِ مذکور در عنوان مساله. المشتق حقیقة فی خصوص ما تلبس بالمبدأ فی الحال او فی ما یعمّه و ما انقضی عنه المبدأ
معیار حال تلبس است نه حال نطق.لذا کان زید ضارباً امس یا زید سیکون ضارباً غداً حقیقت است اگر در گذشته یا آینده متلبس باشد.
حکم اصل در مساله: 1. لا اصل در مساله عند الشک 2. اصل عدم ملاحظه خصوصیت معارَض است با اصل عدم ملاحظه عموم. به علاوه این اصل دلیلی بر اعتبارش نیست.
3. ترجیح اشتراک معنوی بر حقیقت و مجاز به دلیل غلبه مسموع نیست.به دلیل منع صغری و کبری.
4. اقتضای اصل عملی متفاوت است گاه اقتضا برائت است و گاه استصحاب وجوب.
تحلیل و نقد دعاوی چهارگانه محقق خراسانی.

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

درس اخلاق: فاطمه زهرا سلام الله علیها و لیلة القدر و حضرت زهرا.
توجیه محقق دوانی: قیام مبدأ اشتقاق به ذات لازم نیست. جواب ملاصدرا: این موارد مجاز است از باب توسعه و مبدأ حدید نیست چون جامد است مبدأ مثل تحدد یا حدیدیّت است.اصفهانی: با سایر موارد فرق ندارد. صرف ربط مخصوص کافی است.
سه نسخه: 1. حدید و شمس می‌تواند مبدأ اشتقاق باشد و کلام ملاصدرا صحیح نیست.گفته ها و ارتکازات ابتدایی بر خلاف لزوم متابعت ندارد.

کبرای مساله تمام است(گاه حقیقت و گاه مجاز و گاه غلط)
لکن صغرای مساله گاه نامعلوم است. مثل اسناد فعل به کارگزاران.
6. در اوصاف منحوته‌ی صادق بر ذات
کلام محقق دوانی:صدق مشتق لایقتضی قیام مبدأ اشتقاق به آن در مثال حدّاد و مشمس و وجه آن - توسعه کلام وی به موجود نسبت به وجود - وحدت وجود و کثرت موجود - لیس بظلّام للعبید - نقد ملاصدرا بر کلام دوانی و التزام به مجاز و توسعه - کلام محقق اصفهانی در اوصاف منحوت