第二章 经典形式语义学

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学和模型论等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成规律，认为自然语言与人工语言在深层结构方面是相通的，没有实质区别，可以通过构造自然语言形式系统的方式来解决其语义问题。形式语义学为语言的基本符号赋予语义值，把这些符号看做语言结构的要素，然后根据构成规则，从这些要素中派生出复杂表达式的语义值。每个句子的意义都是由其分句的真值条件确定的。形式语义学侧重句法和语义的对应，在给定句法规则基础上确立与句法严格对应的语义运算规则，强调意义组合性原则，其本质是一种针对句子的真值条件语义学。

从19世纪末到20世纪80年代初，在形式语义学中流行着这样一句口号——“意义等价于真值条件”，即意义就是真值条件的内容，这种语义观把语言表征与世界之间的关系看做是静态的关系。经典形式语义学是一种静态的语义学，它以句子为单位来研究意义。塔斯基真值语义理论和蒙太格语法是经典形式语义学理论的两个重要代表。