تصریح : انشاء صریح واضع مانند آنکه پدری نام فرزند خود را صریحاً قید کند.
20- نشانه های حقیقت تبادر: هرگاه یکی از معانی زودتر از سایر معانی از لفظ استنباط شود(معنایی زودتر
به ذهن متبادر شود)
عدم صحت سلب یا صحت حمل : کلام به صورت کلی حمل بر معنایی حقیقی
شود .
اطراد: تردد و کثرت استعمال لفظی بر معنایی که نشان از حقیقی بودن لفظ دارد.
وجود قرینه صارفه
21- نشانه های مجاز عدم تبادر یا تبادر غیر
صحت سلب یا عدم صحت حمل
22- تبادر علامت حقیقت و عدم تبادر یا تبادر غیر علامت مجاز است.
23- عدم صحت سلب یا صحت حمل نشانه حقیقت و صحت سلب یا عدم صحت حمل علامت مجاز است.
23- اطراد نشانه حقیقت و عدم اطراد نشانه مجاز است.
25- لفظ مشتق در خصوص ذاتی که در آینده یا مستقبل متلبس می شود مجاز است.
26- لفظ مشتق در خصوص ذاتی که در حال متلبس می شود حقیقت است.
27- در صورت شک در حقیقی یا مجازی بودن لفظ به اصالة الحقیقة تمسک جسته و لفظ را در معنای حقیقی آن درنظر می گیریم زیرا طبق این اصل ، ظاهر در معنای حقیقی الفاظ است مگر آنکه خلاف آن با وجود قرینه (قرینه صارفه ) مشخص شود.