معناشناسی ترکیبی و صوری
معناشناسی صوری تبیینی دقیق و مبتنی بر شرایط صدق از معنا ارائه میدهد که در آن معنای یک عبارت پیچیده به صورت ترکیبی از معنای اجزای آن ساخته میشود.
Definition
معناشناسی ترکیبی و صوری مطالعه معنای زبانی با استفاده از منطق صوری و نظریه مدل است که بر تفسیر ترکیبی و مبتنی بر شرایط صدق عبارات متمرکز است.
Scope
این حوزه به مطالعه صوری و مدل-نظری معنای زبان طبیعی میپردازد. این شامل اصل ترکیبپذیری، استفاده از ابزارهای منطقی و نظریه مجموعهها برای تخصیص دلالت به عبارات، برنامه مونتاگ برای برخورد با زبان طبیعی با دقت منطق صوری، تحلیل کمیتسنجی و دامنه، و معناشناسی زمان، وجه و وجهیت است. ایده راهنما این است که دانستن معنای یک جمله به معنای دانستن شرایط صدق آن است و این شرایط به طور سیستماتیک از معانی و نحوه ترکیب اجزای آن محاسبه میشوند.
Sub-topics
Core questions
- معنای یک عبارت پیچیده چگونه توسط معانی اجزای آن و ترکیب نحوی آنها تعیین میشود؟
- معانی عبارات زبان طبیعی چگونه میتوانند در یک سیستم صوری و مدل-نظری نمایش داده شوند؟
- چگونه باید کمیتسنجها، دامنه و ارجاع را تحلیل کرد؟
- پدیدههای وابسته به بافت و قصدی (زمان، وجهیت) چگونه باید مدلسازی شوند؟
Key concepts
- اصل ترکیبپذیری
- شرایط صدق
- دلالت و نوع معنایی
- حساب لامبدا
- مدل و تابع تفسیر
- قصد و مصداق
- کاربرد تابعی
Key theories
- معناشناسی مبتنی بر شرایط صدق و مدل-نظری
- معنای یک جمله خبری با شرایط صدق آن شناسایی میشود که نسبت به مدلی که عبارات پایه را تفسیر میکند، محاسبه میشود، و از سنت فرگهای و تارسکی پیروی میکند.
- گرامر مونتاگ
- زبان طبیعی را میتوان به عنوان یک زبان صوری در نظر گرفت: نحوی که از طریق یک همریختی با معناشناسی مدل-نظری جفت شده است، با استفاده از حساب لامبدای نوعدار و منطق قصدی برای تفسیر ترکیبی عبارات.
- تفسیر ترکیبی مبتنی بر نوع
- به عبارات انواع معنایی اختصاص داده میشود و توسط قواعد کلی مانند کاربرد تابعی ترکیب میشوند، به طوری که تفسیر توسط انواع اجزا هدایت میشود، همانطور که در چارچوب هایم و کراتزر سیستماتیک شده است.
History
معناشناسی صوری از کار فرگه در مورد حس و مرجع و تعریف صدق تارسکی برای زبانهای صوری نشأت میگیرد. گام تعیینکننده ادعای مونتاگ در اوایل دهه ۱۹۷۰ بود که هیچ تفاوت اساسی بین زبانهای طبیعی و صوری وجود ندارد و میتوان برای زبان انگلیسی معناشناسی مدل-نظری ارائه داد. باربارا پارتی نقش محوری در انتقال برنامه مونتاگ به زبانشناسی ایفا کرد و کتاب درسی هایم و کراتزر بعدها معناشناسی ترکیبی مبتنی بر نوع را در دستور زبان زایشی استاندارد کرد.
Debates
- تفسیر مستقیم در مقابل تفسیر غیرمستقیم (بازنمایانه)
- اینکه آیا زبان طبیعی باید مستقیماً در یک مدل تفسیر شود، همانطور که در برنامه مونتاگ، یا از طریق ترجمه به سطحی از صورت منطقی / بازنمایی ذهنی.
Key figures
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
Related topics
Seminal works
- montague1974
- heimkratzer1998
- partee1990
Frequently asked questions
- معناشناسی مبتنی بر شرایط صدق به چه معناست؟
- به این معناست که برای مشخص کردن معنای یک جمله خبری، باید شرایطی را مشخص کرد که تحت آن جمله صادق باشد؛ دانستن معنا به معنای دانستن این است که جهان برای برقرار بودن جمله چگونه باید باشد.