形式语义学初析.docVIP

形式语义学初析 　　摘 要:形式语义学起源于19世纪德国逻辑学家Frege的作品。直到20世纪70年代后期,形式语义学才出现在语言学研究领域。在不同的领域里,形式语义学有不同的研究重点,在语言学领域里形式语义学试图通过构建形式语义理论来解释自然语言的意义。早期的形式语义学主要有四条研究线路:静态语义学,动态语义学,情景语义学和非合成解释语义学。本文主要探讨静态语义学的三种学说及其相互间的比较。 　　关键词:一阶逻辑 所指 Frege-Carnap学说 Davidson学说 Montague学说 　　 　　一、引言 　　形式语义学(又称“模型理论语义学”“可能世界语义学”)的传统可追溯至一阶逻辑创始人、德国逻辑学家Frege,他主张用逻辑的方法研究语言意义。其后,Wittgenstein、Russel、Carnap等人将哲学和逻辑相结合研究意义,很多意义现象经他们的研究得到了较为精确的刻画。到了20世纪70年代,逻辑学家兼哲学家Montague确立了形式语义学的基本框架,从此形式语义学在语言学界得到了广泛的讨论,形式语义学研究也在诸多方面取得了进展。在不同的领域里形式语义学有不同的研究重点,在语言学领域里形式语义学试图用严格的数学模型,或者说通过构建形式语义理论来解释自然语言的意义。 　　形式语义理论主要有三个功能:1.它能说明语言里的句法范畴(syntactic category)与世界的实体(entity in the world)之间的对应关系;2.它能指出专有名词(proper names)与量化名词词组(quantified NPs)之间重要的语义差异;3.它能解释人们如何从较小表达单位的意义推导出较大表达单位的意义。形式语义学主要有四条研究线路:静态语义学,动态语义学,情景语义学和非合成解释语义学。本文主要探讨静态语义学。静态语义学把句子作为静态的、独立的意义单位,主要研究句子的各个成分的意义如何构成整个句子的真值。静态语义学又分三种学说:Frege-Carnap学说、Davidson学说和Montague学说。在介绍这三种学说之前,我们先来看一下几个基本概念。 　　二、意义与所指 　　我们知道,语义理论的功能之一是说明语言里的句法范畴与世界实体的对应关系。而Frege认为自然语言里的基本句法范畴对应于一阶逻辑的语义类型(types of first-order logic)。因此Frege声称对于每一一阶义类的语言表达都可以把某一实体作为其所指(denotation)。一阶义类有:(一)个体项(individual terms)指示世界上的某一个体;(二)谓词(predicates),其中一目谓词(one-place predicate)指示从个体到真值(truth-value)的函数(注:Frege把真值作为陈述句的所指)。每个函数都是从自变量的集合(定义域)到函数值的集合(值域)的映射,因此一目谓词所指示的函数f也可以用一个由能使该函数产生真值的个体组成的集合来表示。下面我们看一个例子: 　　(1)John sings. 　　在例(1)中,“John”是个体项,它的所指是一个叫“John”的个体。动词短语“sings”指示一个集合,这个集合是由能使这个句子产生真值的个体组成的。所以当且仅当“John”所指示的个体属于“sings”所指示的集合时,这个句子的真值才是真的。(三)真值函项联结词(connectives)包括and,or,if...then 以及not等。这些双项真值函项联结词的所指是从一对真值到一个真值的函数。所以,只有两个句子都是真命题时,“and”所联结的句子才是真命题,否则就是假命题;只有两个句子都是假命题时,“or”所联结的句子才是假命题,否则就是真命题;当前提是真命题而结论是假命题时“if ...then”联结的句子就是假命题,否则是真命题;当且仅当一个句子是假命题时,否定联结词“not”所联结的句子才是真命题。请看下面的例子: 　　(2)a.John sings and Mary dances. 　　 b.John sings or Mary dances. 　　 c.If John sings then Mary dances. 　　 d.John doesnt sing. 　　当且仅当“and”联结的两个句子“John sings”和“Mary dances”都是真命题时,例(2)a才是真命题。当且仅当“or”联结的两个句子“John sings”和“Mary dances”至少有一个是真命题时,例(2)b才是真命题。只有当“John sings”是假命题或“Mary dances”是真命题时,例(2)c才是真命题。只有当“John sings”是假命