رابطه بحث علامات حقیقت و مجاز با اصول لفظیه
بحثمان به امر هفتم کفایه، علامات حقیقت و مجاز رسید. مرحوم آخوند آنرا از متعلقات بحث وضع دانسته لذا آن را در المدخل ذکر می کنند. اولین اشکالی که بعد از تعریف تبادر مطرح شد، «دور» بود، که آخوند با علم اجمالی و تفصیلی در صدد رفع آن بود.
1.بیان سید مرتضی
بعد از آن کلامی از سید مرتضی مورد نقد قرار گرفته که فرموده اند: ما برای تشخیص حقیقت از مجاز می توانیم به اصالت حقیقت تمسک کنیم.
این کلام سید مرتضی موجب بحثی به نام رابطه بحث «علامات حقیقت و مجاز» با «اصول لفظیه» شده است.
2.بیان مشهور
مشهور به این بیان اشکال می کنند که اصالت حقیقت برای تشخیص مراد جدی متکلم است و علامت حقیقت و مجاز برای پیدا کردن موضوع له است. لذا می گویند بحث علامات حقیقت و مجاز و اصول لفظیه در دو مقام مطرح می شود.