معناشناسی مدل-نظری و مونتاگ
معناشناسی مونتاگ، زبان طبیعی را به صورت مدل-نظری تفسیر میکند و با استفاده از منطق قصدی نوعدار، به عبارات به شیوهای کاملاً ترکیبی، دلالتهایی را اختصاص میدهد.
Definition
معناشناسی مدل-نظری عبارات را نسبت به یک مدل صوری تفسیر میکند؛ معناشناسی مونتاگ برنامه خاصی برای انجام این کار برای زبان طبیعی با استفاده از منطق قصدی نوعدار و نگاشت همریخت نحو-معنا است.
Scope
این موضوع، دستگاه صوری معناشناسی مدل-نظری برای زبان طبیعی را پوشش میدهد: مدلهایی با دامنههای افراد، جهانهای ممکن و زمانها؛ انواع معنایی و حساب لامبدای نوعدار؛ و تفسیر عبارات به عنوان توابع بر روی این دامنهها. این بحث بر مقاله «برخورد صحیح با کمیتسنجی در انگلیسی روزمره» (PTQ) مونتاگ و برنامه گستردهتر برخورد با زبان انگلیسی با دقت منطق صوری، شامل قصد و مصداق و تحلیل عبارات اسمی به عنوان کمیتسنجهای تعمیمیافته، متمرکز است.
Core questions
- چگونه به عبارات یک زبان طبیعی در یک مدل صوری دلالتها اختصاص داده میشود؟
- انواع معنایی و حساب لامبدا چه نقشی در تفسیر ترکیبی ایفا میکنند؟
- قصد و مصداق چگونه از هم متمایز میشوند و چرا به جهانهای ممکن نیاز است؟
- برخورد مونتاگ با عبارات کمیتسنج و دامنه آنها چگونه است؟
Key concepts
- جهانهای ممکن
- قصد در برابر مصداق
- نوع معنایی
- حساب لامبدای نوعدار
- کمیتسنج تعمیمیافته
- نگاشت همریخت نحو-معنا
- منطق قصدی
Key theories
- برخورد صحیح با کمیتسنجی (PTQ)
- بخش مونتاگ از زبان انگلیسی که در آن قواعد نحوی به صورت یک به یک با قواعد تفسیر معنایی جفت میشوند، عبارات اسمی کمیتسنجهای تعمیمیافته را دلالت میکنند، و منطق قصدی کدورت و وجهیت را مدیریت میکند.
- نظریه نوع و منطق قصدی
- عبارات به انواعی اختصاص داده میشوند که از انواع پایه (موجودیتها، مقادیر صدق) و احتمالاً جهانها/زمانها ساخته شدهاند؛ قصدها توابعی از جهانهای ممکن به مصداقها هستند که معنای بافتهای مبهم و وجهی را به تصویر میکشند.
History
مونتاگ با تکیه بر کارهای فرگه، تمایز قصد/مصداق کارناپ، و نظریه مدل تارسکی، مجموعهای از مقالات را در حدود سال ۱۹۷۰ منتشر کرد که مشهورترین آنها PTQ بود. او در این مقالات استدلال کرد که زبان انگلیسی را میتوان به عنوان یک زبان صوری با معناشناسی مدل-نظری در نظر گرفت. کتاب درسی داوتی، وال و پیترز، دستگاه فنی را برای زبانشناسان قابل دسترس ساخت و این چارچوب به پایه و اساس معناشناسی صوری مدرن تبدیل شد.
Debates
- قصدها در جهانهای ممکن و مشکل دانهبندی
- برخورد با معانی به عنوان توابعی از جهانهای ممکن به مصداقها، به اشتباه تمام عبارات معادل ضروری را یکسان میداند، که منجر به پیشنهادهایی برای مفاهیم دقیقتر، ساختاریافتهتر یا فراقصدی از معنا میشود.
Key figures
- Richard Montague
- Barbara Partee
- David Dowty
- Stanley Peters
Related topics
Seminal works
- montague1974
- dowtywallpeters1981
Frequently asked questions
- تفاوت بین قصد و مصداق چیست؟
- مصداق یک عبارت، دلالت آن در یک جهان معین است (مثلاً مجموعه واقعی سگها)، در حالی که قصد آن تابعی است که برای هر جهان ممکن یک مصداق تولید میکند (تقریباً، مفهوم)، که برای تفسیر بافتهای وجهی و مبهم مورد نیاز است.