یعنی چه
معناشناسی صوری (Formal Semantics) دانشی میانرشتهای میان زبانشناسی، فلسفه زبان و منطق است. این رویکرد تلاش میکند با بهرهگیری از ابزارهای دقیق ریاضی، نظریه مدلها و منطق صوری، روابط میان عبارات زبانی و شرایط صدق آنها را در جهان خارج به شکل فرمولوار و سیستماتیک تبیین کند.
تلفظ
این اصطلاح به صورت [ma'nā-šenāsi-ye sūri] تلفظ میشود؛ صوری در این ترکیب به معنای منسوب به صورت، ساختار و قالب منطقی است.
در جدول
در طرح سؤالات جدول، پاسخ دقیق خودِ عبارت «معناشناسی صوری» با ۱۳ حرف است. عبارات همارز دیگری مانند «معناشناسی منطقی» یا «معناشناسی ریاضی» نیز بسته به تعداد خانههای جدول ممکن است مد نظر باشند.
به انگلیسی
اصطلاح استاندارد و بینالمللی این رشته علمی در زبان انگلیسی Formal Semantics است که بر پایه شرایط صدق (Truth-conditional) پایهگذاری شده است.
به عربی
در متون تخصصی زبانشناسی جهان عرب، معادلهای «الدلالة الصورية»، «علم الدلالة الشكلي» یا «الدلالات الرسمية» برای این مفهوم به کار میروند.
به فارسی
واژه «معنا» و «صوری» هر دو ریشه عربی دارند اما این ترکیب یک اصطلاح معاصر در زبان فارسی است. صوری به جای واژه انگلیسی Formal نشسته و به جنبههای قالبی، ریاضی و نظاممندِ کشف معنا اشاره دارد، نه صوری بودن به معنای ظاهری و بیاهمیت.
در قرآن
ترکیب «معناشناسی صوری» یک دانش مدرن آکادمیک است و در متن قرآن وجود ندارد. با این حال، ریشه واژه صوری در قالب جمع یعنی «صُوَر» در آیاتی نظیر «وَصَوَّرَكُمْ فَأَحْسَنَ صُوَرَكُمْ» به چشم میخورد. همچنین مباحث مربوط به «دلالت» در علم اصول فقه اسلامی قرابتهای روششناختی غیرمستقیمی با تحلیلهای این رشته دارد.
نماد چیست
در متون تخصصی منطق و زبانشناسی صوری، از نماد ریاضی $\lambda$ (حساب لامبدا) برای فرمولبندی توابع معنایی و از براکتهای دوتایی $\llbracket \phi \rrbracket$ جهت نشان دادن ارزش معنایی یا ارجاعی یک عبارت صوری در یک مدل مشخص استفاده میشود. همچنین نماد $\models$ نشاندهنده رابطه دلالت و صدق در مدل است.
جمعبندی و توضیح کامل معناشناسی صوری
معناشناسی صوری یکی از پیشرفتهترین و دقیقترین شاخههای زبانشناسی مدرن و فلسفه زبان است که برخلاف معناشناسی سنتی یا شهودی، معنا را از طریق الگوهای ساختاری، منطقی و ریاضی تبیین میکند. این دانش با تکیه بر «نظریه مدلها» و «شرایط صدق»، جملات زبان طبیعی را به فرمولهای منطقی ترجمه میکند تا مشخص شود تحت چه شرایطی یک گزاره در جهان واقع صادق یا کاذب است.
این رشته علمی نقشی کلیدی در توسعه هوش مصنوعی، زبانشناسی محاسباتی و پردازش زبانهای برنامهنویسی ایفا میکند. نباید مفهوم «صوری» در این اصطلاح را با زبان رسمی یا تعارفات ظاهری اشتباه گرفت، بلکه این واژه دقیقاً معادل Formal و به معنای تمرکز بر فرم، قالب و قواعد استنتاج منطقی در ساختار معناست.