اختلاف مشتقات در مبادی - توضیح بیان محقق خراسانی - مبدأ گاه حرفه و صناعت - گاه قوه و ملکه و گاه فعلیت است ولی این اختلاف در جهت مبحوث عنها اختلاف ایجاد نمی‌کند و موجب تفصیل نمی‌شود.
بلکه این تلبس است که متفاوت است مثلا در حرفه و صناعت تلبس فعلی است هر چند هنوز مشغول نشده یا منقضی شده باشد اگر فعلیت فرض می‌شد.
محقق نایینی قول چهارم را تفصیل بین وقتی که مبدأ از ملکات و صناعات باشد تا وقتی غیر آن باشد.
کلام محقق نایینی نیز همان بیان آخوند خراسانی است.

تحقیق: 1. علت وضع احتیاج بشر است. و از احتیاج ها اخبار از ماضی و آینده و حال است. لذا دو هیأت آورده و استعمال هیچ یک را به جای دیگری اجازه نداده است مگر با عنایت و مجاز.
2. در اختصاص هیأت ماضی برای ماضی و مضارع برای حال و آینده چند وجه متصور است:
الف. اخذ زمان به عنوان مدلول تضمنی و اسمی مثلا أمس در ضرب اخذ شود.
ب. هیأت برای نسبت متقید به سبق زمانی در نسبت به مسندالیه در ماضی (تقید داخل لکن قید خارج) و عدم سبق زمانی در نسبت به مسندالیه در مضارع
ج. آن چه قبلا گفته شد. اگر با وجه قبل متفاوت باشد.
3. وجه اول قابل التزام نیست چون معنای ضرب«زید و گذشته» نیست و متعین وجه دوم یا سوم است.
غیر واقعی بودن نزاع

اشتهرت دلالة الفعل علی الزمان به نحو تضمن(توضیح)
کلام ابن هشام نسبت به افعال انشاء که زمان ندارد. جواب برخی: تجرد از زمان با نقل صورت گرفته است. نقد ابن هشام: در قم چه می‌گویید؟ و حینئذ فیشکل فعلیته.
نظر اصولی ها: برخی مطلقا منکر دلالت هستند و برخی در ماضی قبول دارند و در امر و نهی و مضارع قبول ندارد.
نکته: فرق واضحی بین قول انکار و اثبات نیست، زیرا منکر هم استعمال افعال را جای یکدیگر قبول ندارد. به علاوه می‌گوید: دلالت بر خصوصیتی دارد که در ماضی ملازم با زمان ماضی و در مضارع ملازم با زمان مضارع است. پس از تضمن به التزام رسیده است. در این خصوصیت اختلاف است.
گفته شده: تحقق الحدث و ترقب الحدث یا سبق و لحوق.
در روایت شریف نیز دلالت نیامده است.

نزاع در وضع و استعمال یا در صحت اطلاق و عدم با فرض تسالم بر وضع و مفهوم و استعمال است؟
اصفهانی: ظاهرا به شکل اول است ولی صریح برخی شکل دوم است. با این توضیح:
در معنا و مفهوم مشتق که بحث نیست بلکه در حمل اختلاف است.
قائل به عدم صحت اطلاق (اخصی) مشتقات را مثل جوامد می‌بیند - دنبال منشأ حمل و انتزاع است که منقضی شده است ولی قائل به صحت (اعمی) می‌گوید: این دو نوع حمل فرق می‌کند زیرا در جوامد حمل هو هو است ولی در مشتقات ذی هو و حمل نسبت است که مجرد خروج از کَتم عدم (آناً ما) کفایت می‌کند.
اقول: مناقشاتی بر شیخ هادی طهرانی وارد شده است.
باید وجه قول او را دید و آن این است که وی بر قول اعمی اشکال می‌دیده لذا به فکر توجیه افتاده است و نکته را اختلاف در حمل دیده است و به این مسیر رفته است.
لکن تلاش ایشان عقیم است؛ زیرا بالاخره صحت حمل و عدم صحت حمل به وضع بر می‌گردد. و با وضوح مفهوم مشتق وضعیت حمل هم معلوم می‌شود. و...