论文部分内容阅读
蒙太格语法(Montague Grammar，简称MG)是由美国数理逻辑学家蒙太格(R·Montague)在二十世纪七十年代创立的，该理论开创了用现代逻辑的形式化方法研究自然语言的新思路。MG是现代逻辑和现代语言学相结合的产物，它主要是建立在蒙太格三篇论文基础上的对自然语言语形和语义的研究，这三篇论文分别是：《英语作为一种形式语言》(English as a Formal Language)，《通用语法》(Universal Grammar)，《普通英语中量词的合适处理》(The Proper Treatment of Quantification in Ordinary English)，其中尤其以最后一篇最为著名，在这篇论文中蒙太格提出了一个分析部分英语语句语义的系统，就是著名的PTQ系统，该系统比较成熟的体现了MG的基本思想和基本方法。本文试图从MG产生的历史背景入手，考察该理论产生的重大意义和价值。MG是现代逻辑和现代语言学相结合的产物，所以我们就要从这两方面来考察它的历史背景。在逻辑学方面，MG是用内涵逻辑的方法进行了语义的刻画；因此，主要是逻辑语义学和内涵逻辑起了重要的作用；在语言学方面MG主要是受到范畴语法和乔姆斯基的转换生成语法的影响。然后通过对PTQ系统的介绍，具体阐述该理论的基本思想和基本方法；在PTQ系统中，蒙太格是通过三部分最终完成的，这三部分分别是：(1)、建构一个部分英语语句系统的语形，给出九个基本语形范畴和十七条语形规则；(2)、给出内涵逻辑的语形和语义，通过递归定义给出内涵逻辑中的合适公式，对“λ”算子的使用是MG最具特色的地方；(3)、最后通过给出与语形规则相对应的十七条翻译规则，实现了对部分英语语句语义的形式化解释。最后基于MG理论的意义和价值，以及对它思想和方法的进一步了解和认识，结合汉语自身的特点和汉语的研究所取得的成果，为汉语形式化问题做出一些有益的思考。