形式语义学理论简述

【摘要】作为语义学的分支，形式语义学在语义学研究发展的过程中占有重要地位。目前的研究对形式语义学相关理论认识不全面，对各个理论分支之间如何有机组合也缺乏明确的认识。本文从形式语义学的起源和发展入手，针对地介绍了形式语义学相关理论，如类型论、模态论和兰姆达算子等理论在组合原则下如何体现语义的重组，旨在使语言研究者更加理解语义组合的层级性。

【关键词】形式语义学；组合原则；兰姆达算子

【中图分类号】H313 【文献标识码】A

基金项目：本文系太原工业学院重点科学基金项目“汉语比较结构‘越……越……的语义特征研究”（项目编号：2017RZ01）的研究成果。

引言

形式语义学是通过运用数理逻辑的方式进行语义研究，从而使语言研究有更加精准科学的语言表达。该研究方式涉及数理逻辑方面的知识，给人留下了抽象晦涩的印象。本文的理论简述目的在于揭开形式语义学神秘的面纱，重新审视形式语义学的研究方式，从而为后续研究带来相关启迪。

一、形式语义学的起源与发展简述

19世纪，波兰逻辑学家、数学家、哲学家塔尔斯基（Alfred Tarski）[1]提出了真值条件语义学，他认为，真值条件语义学为语义学提供了与自然语言不同的形式化或逻辑化的语言。真值条件的判断方法通常应用于形式语义学，真值条件语义学的主要理论假设是句子的核心含义，即它的真值条件。

19世纪60年代后期，哲学家理查德·蒙太古（Richard Montague）[2]指出，在英语中句子的分析可以使用相同的手段，奠定了形式语义学的理论基础。理查德·蒙太古认为，自然语言可以用形式化描述，这个观点被美国语言学家艾弗拉姆·诺姆·乔姆斯基（Avram Noam Chomsky）及生成语言学派所接纳。然而，理查德·蒙太古指出，生成语言学没有语义理论，生成句法理论无法为语义学提供理论基础，所以他提出了用蒙太古语法来解决语义学问题。

二、形式语义学相关理论

（一）谓词逻辑

在形式语义学中，逻辑语言包括个体、谓词、公式、逻辑算子四种逻辑语类，前三个逻辑语类包含定量和变量两个下分语类。定量指这种逻辑语类有固定的语义释义，变量则与之相反。

谓词在逻辑语言中可以带零个或者多个个体作为其论元，这取决于该谓词是及物动词还是不及物动词。根据所带论元的数量，用符号Predn表示，n指所带论元的数量从1到无限。

在形式语义学中，基本的语法规则形成逻辑公式，需要谓词与它所需数量的个体论元相结合，而这种结合是在语义组合原则的指导下完成，逻辑谓词的表达是否为真取决于其真值条件。

（二）集合理论

形式语义学研究借助数学中对集合的定义，并形成了集合理论。集合理论通过描述集合中目标语的语义所指，定义其所建语言模型的属性，符合该集合的目标语则通过组合原则完成对语言模型的描述。

（三）模态论

在真值条件语义学中，命题的真值因为语境的不同而变化，因此，需要利用数学中的建模来定义命题的真假。

模态论中的建模大致分为两个部分：其一，建模为每个基本表达提供目标语的基本的语义所指；其二，建模为目标语提供任意模态下的释义规则，即释义规则通过提供递归式的解释，表明每个组成部分的语义所指是如何根据组合原则形成句子。实际上，模态论用真值条件定义了目标语中的句子。

（四）类型论

这部分主要探讨类型论存在的必要性及其定义。类型论存在的原因是组合原则和谓词逻辑的某些方面的缺陷。

在类型论中有两类基本的语义类型，分别为个体和真值，分别用e和t来表示，其他表达则是通过组合原则将这两类基本的语义类型组合而成。

复杂语义类型：输入语义类型，输出语义类型。

需要指出的是，复杂语义类型必须是二进制的，因此，类型论中的类型匹配指把句法语类与语义类型相对应，类型匹配是有限的，句子的语义组合却是无穷的。

（五）兰姆达算子

兰姆达算子是形式语义学中最为重要的工具之一，下面将介绍使用兰姆达算子的基本定义。

用特殊的逻辑符号λ（读作兰姆达）作为兰姆达算子表达兰姆达运算。兰姆达算子将命题运算中的变量抽象出来，并将语义表达转变为了特征运算。兰姆达算子与其所抽象的变量的结合称作约束，比如λx中兰姆达算子将命题运算中变量x所代表的所有个体都抽象出来。

下面分三步将一个具体的句子通过运用兰姆达理论进行分析。（Ronnie Cann，2010，p136-138）

（1）The dog ate the cake or Ethel didnt laugh.

例（1b）是对（1a）的句法分析的树形图一致，（1c）中的兰姆达转换和句子的谓词逻辑的语义解释一致。

三、组合原则

（一）组合原则的定义

一般意义上简单地认为，组合原则，即根据某种规则解释表达中较小成分是如何组合的。但事实并非如此简单，比如“较小的成分”指什么，如何根据语义规则组合，以及语义规则和句法规则有什么不同。组合原则主要归功于德国哲学家Gottlob Frege，因此，有时称为弗雷格组合原则或者弗雷格原则。在这个定义中，“function”指运算，正如数学中输入特定值就会产出结果一样。根据弗雷格的定义，通过在运算中输入语义成分就会产出语义表达。然而，根据Ronnie Cann（2010）指出，包含相同词语的句子不能产出意义相同的句子，即相同的词语输入得不到相同意义句子的产出。

通过进一步了解组合原则，其定义又有了进一步的发展，需指出两点：第一，“monotonic”指语义演绎的过程中之前每个部分的特征保持不变，即语义规则在语义组合的演绎過程中不能削减其含义（Ronnie Cann，2010）；第二，语义演绎的结果不仅归功于词素和句子，而且也取决于其句法成分。

（二）组合原则的必要性

英语“kick the bucket”的含义是“死”，但不能只是通过对句法规则约束下的短语中单词的含义来判断其含义。再如，美国语言学家Chomsky曾举过的例子“Colorless green ideas sleep furiously”[3]，尽管这个句子在句法规则下不缺少任何成分，但是其语义却无法理解，因为由句子中每个单词的含义所组合成的句子含义不符合常理。

通过上面的例子得出，理解句子的含义不仅要考虑其句法规则，还要考虑句子所包含的词素的含义。所以，最有效的语义学理论不仅能够将语言的句法和含义相结合，还要解释句子中更简短的表达的含义对整个句子语义表达的贡献，因此，需要应用组合原则来解释其中的原因。

（三）组合原则的意义

组合原则对句法学和语义学的关系产生了重要的影响，即一个表达的语义释义与其句法结构紧密相关。因为，语义学必须通过有限的方式解释无限的表达，即语义释义并行于有限的、递归性的句法释义。实现组合原则的方式就是采用规则对应的假设[4]，即每一条句法规则都对应着一条语义规则。这会确保每一条句法规则都会根据一条或者多条语义规则产出某种类型的表达，反映出如何将句子的组成成分形成完整的表达。

因此，组合原则被认为是语义学理论的约束性原则，而规则对应的假设是实现组合原则的主要方式，且组合原则和规则对应的假设使句法结构和语义表征相互联系。

四、结语

本文通过对形式语义学的定义以及相关理论，如谓词逻辑、集合论、模态论、类型论和兰姆达算子以及组合原则等的论述，尽可能做到简化理论，目的是为了使对形式语义学研究感兴趣的语言研究者更好地了解这一学科，对相关理论研究有所帮助。

参考文献：

[1]John I.Saeed.Semantics（3rd）[M].Hong Kong：Graphicraft Limited，2010.

[2]凯特·科恩，著，陈丽萍，译.语义学（第二版）[M].成都：四川大学出版社，2015.

[3]黄伯荣，廖旭东.现代汉语[M].北京：高等教育出版社，2011.

[4]沈园.形式语义学领域的语境研究[J].当代语言学，2015（4）：470-483.

作者简介：李晶（1988-），女，山西大同人，太原工業学院，讲师，研究方向：形式语义学研究。