形式语义学的主要理论——逻辑的作用

形式语义是逻辑和语言的交叉研究的产物，是建立在自然语言的语义逻辑框架之内。关于形成自然语言的语义理论，虽然它的目标是自然语言的语义处理，但它的实现是在自然语言语法的建设的第一步。与其他语言学理论，如转换语法语义对比研究主要集中于形式语义，但它的内部分裂，正式语义还涉及到语法，包括研究语法和语义的水平。
形式语义学中主要的理论有：蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法。现分述如下：
由美国逻辑学家蒙太格在上世纪60-70年代创立的蒙太格语法(Montague Grammar)，把自然语言看作是同逻辑语言本质上相同的符号系统，开创了自然语言形式语义学研究的领域。蒙太格语法构造的PTQ英语部分语句系统成功地描述了自然语言的量化表达式、内涵语境及命题态度句等语义特征。“多年来，语言学家、逻辑学家和计算机科学家一直在从事关于自然语言形式处理的研究。蒙太格关于英语部分语句系统的形式化方案是这个研究方向的极其重要的一步。……理查德·蒙太格引进了从句法和语义两个层面分析自然语言的强有力的方法，他发展了一种形式化的工具，为深刻理解自然语言的语义学提供了必要的技术背景。”301形式语义学的最显著特征是把自然语言看做是现代逻辑形式化方法处理的对象，认为自然语言与逻辑语言没有实质的区别，可以通过构造自然语言形式系统的方式来解决其语义问题。具体的操作手段是建立句法和语义的对应原则，构造基于意义组合原则的语义模型。这些思想观念和技术工具是形式语义学的基石(Montague，1974)，是蒙太格及Cresswell、Partee等人最早明确提出并付诸实施的，所以说蒙太格语法是形式语义学研究的开端。