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

ادامه کلام شیخ انصاری

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

در خصوص اسم در باسم الله - رصد کاربست های اسم در قرآن.
1. در اوائل سوره ها برای تبرک بدانیم: اسم در معنای خود استعمال شده است -از سنخ لفظ است -اضافه اش به الله اضافه لامیه است -اسم غیر مسمّی است - در قرآن اسم به این معنا زیاد به کار رفته است مثل آیات 4 مائده و 118و119و121 انعام،25 انعام،8 مزمل و...
2. برای تبرک ندانیم یا تبرک و غیر تبرک و باء را برای سببیت(با نظام علی و معلولی یا تجلّی) و متعلق به افعال عموم یا فعل مناسب می‌توان گفت: اسم همان تجلی و ظهور و سببیت حق تعالی است.اسم در این معنا به خداوند نسبت داده می‌شود اما غیر او است.
وجه اطلاق هم معلوم است چون اسم نشانه است. به قول امام علیه السلام "صفة لموصوف"
در قرآن اسم به این معنا زیاد آمده است مثل 78الرحمن و 24 حشر و...
3. اسم بر اشیاء نه تجلی اشیاء در سوره بقره31 و...
استعمالات واژه "الله" -معنای مشهور آن