Lambda-演算在形式语义学的中应用.pdf

Lambda-演算在形式语义学的中应用1 傅庆芳 1. 形式语义学与组合原则 自 Chomsky 创立生成语法（generative grammar）以来，人们开始普遍承认语法是可以 按组合原则逐步生成的。生成语法的一个基本出发点是：自然语言中存在无穷多的句子，同 时大脑的功能是有限的，所以我们的语言能力必须包含某种可以描述这些无穷多句子类型的 有穷机制。也就是说，通过这些有穷的机制，我们可以不断地对已有的元素进行组合，并生 成无穷多的句子或语法类型。因此，可以用形式化的方法分析句子的语法及其生成过程。 但是，在很长一段时间里，Chomsky反对把组合原则和形式化方法应用到语义学的研究 中。这是因为语义问题不像语法结构那样有比较清楚的结构，尤其是，很难有与语法相对应 的组合生成的语义解释。然而，组合原则对于形式语义学是至关重要的，如果不能在自然语 言的语义研究中很好地贯彻组合原则，那么也就没有形式语义学这一研究领域。这成为形式 语义学发展的一个瓶颈。Chomsky对形式语义学基本持怀疑态度。在很长的时间里，MIT一 直没有研究形式语义学的人，直到 1989 年Chomsky才聘请了Irene Heim2去MIT工作。这时的 形式语义学已经发展得比较成熟。 形式语义学的想法是，对应于语法中的组合原则，语义解释也应该是可以通过应用组合 原则逐步生成的，即：一个语言的说话者可以知道无穷多句子的意义，也能够理解或表达他 从未听说过意思。因此，对于语义学来说，也一定存在某种有穷的机制可以让人们理解任何 一种自然语言的无穷多的句子。 因此，形式语义学的一个主要原则是语法与语义之间的关系是组合的。任何一个自然语 言的语法和语义各自是按组合原则生成的，同时这两个组合原则又是相互对应的。这类似于 一阶逻辑这种形式语言，其句法和语义都要遵循组合原则，且相互之间存在一种组合的对应 关系。也就是说，语法与语义之间并非都是随意联系在一起的，而是可以遵循某些规则逐步 组合而成的。 组合原则（广义上的）是指：一个表达式的语义是一个关于其组成部分的语义和语法 它们的组合方式的函数。（The Principle of Compositionality: The meaning of an expression is a function of the meanings of its parts and of the way they are syntactically combined.） 换句话说，一个表达式的意义是由其组成部分的意义通过合乎语法的组合方式得到的。 值得注意的是，组合原理中的关键术语如 meaning, function, parts(syntax)是同应用理论密切 相关的，其在不同的理论中，它们会发生变化。在这样的一个组合结构中，其组成部分可以 是如下三种类型的东西：a. 根据语义特征得到的表示；b.“概念表示”（conceptual representational）中的表示，这里的语义组合是一种从语法表示到语义表示的组合翻译；c. 逻辑传统（Frege，Tarski，Carnap，Montague）下的真值条件的解释，此处，一个句子的意 义是指这个句子为真时的世界是什么样的，即这个句子为真时的条件。下面的组合原则，是 1 文中有许多地方直接引用英文的公式和例子，不再一一翻译成中文，以免造成歧义或表达处理 上的麻烦。另外，文中的处理主要是针对英语的，关于汉语则需要另外构造相应的语法和语义规 则。 2 她目前在MIT的语言学与哲学系，是语言学部分的主要负责人。 1 根据第三种解释进行的。值得注意的是，我们所给的语义解释基本是一种间接的语义解释， 即先把自然语言的表示翻译成逻辑语言，在此基础上，再给出解释的语义模型。 在形式语义学中，一个句子的真值条件可以用各种参数来衡量，其中我们把变元的赋 值之外的时间、关系、地点等都成是一个模型的组成部分。这里的模型差不多等于一阶逻辑 的结构概念，而在真值条件基础上的语义学被称作模型论语义学（model-theoretic semantics）。 因此，Montague 语法传统下的组合原则可以表述如下： 语言 L 的语义任务——通过组合的方式，为每一个 L 的合适句子提供真值条件。这也 就是为句子的组成部分（包括每一个词项）提供模型论解释。 语言 L 的语法任务——具体地给出 L 语言的合适表达所组成的集合，且要在这一过程 中提供一种可以组合的语义。所以说，语法规则为语义规则中的组合性提供基础。 经典 Montague 语法中的基本结构：（1）语