Boolean semantics for natural language

در بهار سال 1978، یکی از نویسندگان این کتاب در یک دوره منطق برای زبان شناسان که توسط نویسنده دیگر ارائه شده بود، نشسته بود. نویسندگان در تلاش برای ارائه برخی از بینش‌های مونتاگ به شیوه‌ای ابتدایی (امیدواریم از نشانه‌گذاری که بسیاری در ابتدا دشوار می‌دانند اجتناب شود)، بحث‌هایی را با هدف ساخت یک دستگاه معنایی ساده مدل-نظری آغاز کردند که می‌تواند مستقیماً در یک دستگاه به کار رود. زبان کوچک انگلیسی مانند و برای نشان دادن روش های تفسیر منطقی رسمی استفاده می شود. در این بحث ها دو نکته بر ما تأثیر گذاشت. اول، کار ما می تواند با استفاده از جبرهای بولی و هممورفیسم های بولی در مدل ها ساده شود. و دوم، رویکرد بولی که ما توسعه می‌دادیم، ارتباط بسیار گسترده‌تری با ساختار منطقی زبان انگلیسی نسبت به آنچه در ابتدا تصور می‌کردیم داشت. در طول تابستان و پاییز 1978، ما به کار بر روی سیستم ادامه دادیم و قضایای اساسی‌تر را اثبات کردیم (از جمله آنچه را که به آن قضیه توجیه می‌گوییم) و روشی را که در آن می‌توان یک طرح تفسیری فشرده را ایجاد کرد که از بولی استفاده می‌کرد، توضیح داد. رویکرد (که در ابتدا به شدت گسترشی بود). ما یافته های خود را در یک مونوگراف ارائه کردیم (Keenan and Faltz, 1978) که دپارتمان زبان شناسی UCLA با مهربانی آن را به عنوان بخشی از مجموعه خود به نام مقالات گاه به گاه در زبان شناسی منتشر کرد. یکی از نویسندگان همچنین این سیستم را در جلسه ای که در نشست زمستانی انجمن زبان شناسی آمریکا در دسامبر 1978 برگزار شد، ارائه کرد.

In the spring of 1978, one of the authors of this book was sitting in on a course in logic for linguists given by the other author. In attempting to present some of Montague's insights in an elementary way (hopefully avoid­ ing the notation which many find difficult at first), the authors began dis­ cussions aimed towards the construction of a simple model-theoretical semantic apparatus which could be applied directly to a small English-like language and used to illustrate the methods of formal logical interpretation. In these discussions two points impressed themselves on us. First, our task could be simplified by using boolean algebras and boolean homomorphisms in the models; and second, the boolean approach we were developing had much more widespread relevance to the logical structure of English than we first thought. During the summer and fall of 1978 we continued work on the system, proving the more fundamental theorems (including what we have come to call the Justification Theorem) and outlining the way in which an intensional interpretation scheme could be developed which made use of the boolean approach (which was originally strictly extensional). We presented our findings in a monograph (Keenan and Faltz, 1978) which the UCLA Linguistics Department kindly published as part of their series called Occa­ sional Papers in Linguistics; one of the authors also presented the system at a colloquium held at the Winter Meeting of the Linguistic Society of America in December 1978.