Introduction to Montague Semantics

در این کتاب امیدواریم که خواننده را با مبانی معناشناسی مدل مشروط صدق-نظری، و به ویژه با نسخه‌ای از آن که توسط ریچارد مونتاگ در مجموعه‌ای از مقالات منتشر شده در دهه‌های 1960 و اوایل دهه 1970 منتشر شد، آشنا کنیم. از بسیاری جهات، مقاله «برخورد مناسب با کمی سازی در زبان انگلیسی معمولی» (که معمولاً به اختصار PTQ نامیده می شود) نشان دهنده اوج تلاش های مونتاگ برای به کارگیری تکنیک های توسعه یافته در منطق ریاضی در معناشناسی زبان های طبیعی است، و در واقع این سیستمی است که در آنجا مشخص شده است. مردم معمولاً وقتی به \"گرامر مونتاگ\" اشاره می کنند در ذهن دارند. (ما اصطلاح «معناشناسی مونتاگ» را ترجیح می‌دهیم، زیرا گرامر، همانطور که در زبان‌شناسی کنونی تصور می‌شود، حداقل شامل یک جزء واج‌شناختی، یک جزء صرفی و سایر زیرسیستم‌هایی است که یا به طور کامل وجود ندارند یا فقط در یک رودی بسیار وجود دارند. کار مونتاگ در سال‌های اخیر توجه فزاینده‌ای را در میان زبان‌شناسان و فیلسوفان به خود جلب کرده است، زیرا این امید را ایجاد می‌کند که معناشناسی را می‌توان با همان دقت صوری و صراحتی که رویکردهای دگرگونی به نحو آورده است، توصیف کرد. اینکه آیا این امید می تواند به طور کامل محقق شود یا نه، باید دید، اما با این وجود واضح است که معناشناسی مونتاگ قبلاً خود را به عنوان یک پارادایم مولد تثبیت کرده است، که منجر به حوزه های تحقیق جدیدی شده و راه های جدیدی را برای درک نظریه های زبان طبیعی پیشنهاد می کند. متأسفانه، مقالات مونتاگ مختصر نوشته شده اند و پیگیری آنها بسیار دشوار است، مگر اینکه پیشینه قابل توجهی در معناشناسی منطقی داشته باشد.

In this book we hope to acquaint the reader with the fundamentals of truth­ conditional model-theoretic semantics, and in particular with a version of this developed by Richard Montague in a series of papers published during the 1960's and early 1970's. In many ways the paper 'The Proper Treatment of Quantification in Ordinary English' (commonly abbreviated PTQ) represents the culmination of Montague's efforts to apply the techniques developed within mathematical logic to the semantics of natural languages, and indeed it is the system outlined there that people generally have in mind when they refer to "Montague Grammar". (We prefer the term "Montague Semantics" inasmuch as a grammar, as conceived of in current linguistics, would contain at least a phonological component, a morphological component, and other subsystems which are either lacking entirely or present only in a very rudi­ mentary state in the PTQ system. ) Montague's work has attracted increasing attention in recent years among linguists and philosophers since it offers the hope that semantics can be characterized with the same formal rigor and explicitness that transformational approaches have brought to syntax. Whether this hope can be fully realized remains to be seen, but it is clear nonetheless that Montague semantics has already established itself as a productive para­ digm, leading to new areas of inquiry and suggesting new ways of conceiving of theories of natural language. Unfortunately, Montague's papers are tersely written and very difficult to follow unless one has a considerable background in logical semantics.