یعنی چه
معنیشناسی صوری (Formal Semantics) شاخهای مشترک میان زبانشناسی، فلسفه زبان و منطق است که معنای زبان طبیعی را به جای تکیه بر برداشتهای ذهنی، از طریق ابزارها و مدلهای دقیق ریاضی و منطق گزارهای تحلیل میکند. مبنای این رویکرد بر این است که معنای یک جمله بر اساس شرایط صدق (Truth conditions) آن تعیین میشود؛ یعنی قواعدی مشخص میکنند که تحت چه شرایطی یک گزاره در یک مدل جهان واقعی یا فرضی، درست یا نادرست است.
تلفظ
تلفظ این اصطلاح به صورت [ma'ni-šenāsi-ye sūri] است. واژه اول دارای سکون روی حرف عین، واژه دوم با کسره زیر شین، و واژه سوم با واو مجهول و تشدید روی یاء تلفظ میشود.
به انگلیسی
این اصطلاح در زبان انگلیسی به معنای مطالعه صوری معناست و به عنوان یک رشته علمی مدرن آکادمیک شناخته میشود.
به عربی
در متون و ترجمههای عربی برای اشاره به این علم از واژگان الدلالة الصورية یا علم الدلالة الشكلي استفاده میشود.
به فارسی
معادلهای رایج آن در زبان فارسی شامل «معناشناسی صوری» و «معناشناسی منطقی» است که هر دو به جنبه نظاممند و قانونمدار این علم اشاره دارند.
نماد چیست
این علم نماد رسمی و واحدی ندارد، اما در متون تخصصی برای نمایش و فرمولبندی معنا از نمادهای منطق گزارهای، ابزارهای منطق ریاضی مانند تابع لاندا (λ)، سورهای وجودی (∃) و عمومی (∀) و علامتهای ارزش صدق (T / F) استفاده میکند.
جمعبندی و توضیح کامل معنی شناسی صوری
معنیشناسی صوری یکی از دستاوردهای علمی و آکادمیک قرن بیستم در حوزه زبانشناسی، منطق و فلسفه زبان است که تحت تأثیر مستقیم آرای دانشمندانی چون آلفرد تارسکی و ریچارد مونتاگو شکل گرفت. این دانش تلاش میکند تا ابهامها و پیچیدگیهای زبان طبیعی انسان را با تبدیل کردن جملات به فرمولها و روابط دقیق ریاضی و منطقی برطرف سازد. در این دیدگاه، درک معنای یک جمله با توانایی تشخیص شرایط صدق و کذب آن جمله پیوند خورده است.
این رشته با تمرکز بر صورت و قالبهای ساختاری، در مقابل رویکردهایی مانند معناشناسی شناختی یا کاربردشناختی قرار میگیرد که به برداشتهای ذهنی یا بافتارهای اجتماعی توجه دارند. ابزارهای اصلی معنیشناسی صوری نمادهای منطقی و محاسباتی هستند و امروزه این علم کاربرد گستردهای در هوش مصنوعی، زبانشناسی رایانهای و پردازش زبانهای طبیعی (NLP) پیدا کرده است تا سیستمهای کامپیوتری بتوانند مفهوم جملات انسانی را با دقت بالاتری پردازش کنند.