Tarski的真理定义和语句真值的推导

一. 真理与意义 Carnap (1959:10)指出：“了解一个语句的意义，就是了解在什么场合这个语句是真的， 在什么场合它是假的。” Morris(1938:6)在区分语义学和语用学时也认为，只有那些可以处 理为真和假的现象才属于语义学。这便是形式语义学 (formal semantics) 或真值条件 (truthconditional)语义学的核心思想。形式语义学的出发点是Tarski从符合论 的立场给真理下的 定义，他称之为“约定T”(Convention T)：X是真的，当且仅当P (X is true if and only if P)。 其中 P 表示 X 的成真条件，可以用对象语言 里的任何语句来替换， X 可以用 P 的名称来替 换，例如：“雪是白色的”是真的，当且仅当雪是白色的。一种语言里的所有句子都可代入 约定T，加在一起就是该语言的真理定义(见Tarski,1944)。 Davidson从60年代开始把Tarski的真理定义用于研究自然语言的意义。他认为真理定义 和意义概念之间有紧密的联系： “ 该定义是通过给出每个语句成真的必要而充分的条件生 效的，而给出成真条件是给出语句意义的一种方式。对一种语言来说，要了解其真理的语 义概念就是去了解什么是语句⎯任何语句⎯为真，因而有充分的理由可以说，这就等于去 理解该语言。 ”(1984:24) Davidson甚至认为，说 “X是真的，当且仅当 P”实际上等于说 “S的 意义是 P”(ibid.: 60)。 Tarski的真理定义是针对形式语言提出的，每个语句被用于陈述的内 容并不随语境的改变而改变。 Davidson 取消了这个限制，真理变成了语句 (S) ，说话者 (P) 和说话时间(t)三者之间的关系。例如，在英语中： (1) 'I am tired' is true as (potentially) spoken by P at t if and only if P is tired at t. (Davidson, 1984: 34) (2) 'That book was stolen' is true as (potentially) spoken by P at t if and only if the book demonstrated by P at t is stolen prior to t. (ibid.)
现在让我们首先为例 (5)中的每个词提供语义值 (semantic value)，然后设计一套推导整 个句子真值的语义规则。 (8) 在任何语境c中,
3
〖Jackson〗 =Jackson 〖Taylor〗 =Taylor 〖Jordan〗 =Jordan 〖is angry〗 =语境c中生气的那些个体的集合,可表示为{x: x is angry in c} 〖is delighted〗 ={x: x is delighted in c} 〖 likes〗 =个体序偶 (ordered pair)的集合，语境 c中的每一序偶的前项喜欢后项 , 可表示为 {<x, y>: x likes y in c} (8) 给出了例 (5) 中所有名词和动词短语在语境 c 中的语义值。设 Ε 为英语的一个规范表达 式 ， 我 们 将 它 在 c 中 的 语 义 值 表 示 为 〖 Ε 〗 ， 例 如 “Jackson” 一 词 在 c 中 的 语 义 值 为 〖 Jackson 〗 ，意思是我们假定这个词在任何语境中指同一个人，即美国摇滚乐歌星迈克 尔٠杰克逊。例 (5) 中的所有名词都是专有名词，指特定的人。动词有两类：不及物动词 (Vi) 和及物动词 (Vt) 。前者在句子中充当单项谓词 (one-place predicate) ，用于谈论某一个 体，我们将其与个体的集合相联系，所以“is angry”和“is delighted”的语义值〖is angry〗 和 〖is delighted〗 分别表示在语境c中生气和高兴的那些个体集合。后者充当双项(two-place) 谓词，表示某一个体与另一个体处于某种关系中 , 我们将其与 c 中的由个体序偶 (ordered pairs of individuals)组成的集合相联系。所以“likes”的语义值〖likes〗 表示在语境c中<x, y> 序偶集合中的x喜欢y。一个序偶属于该集合，当且仅当它的前项和后项在该语境中处于该 双项谓词所表示的关系中。(8)中的尖括号<>表示序偶，大括号{}表示集合。 我们完成了给名词和动词赋值，现在来看一看(5)中的逻辑词“and”、“or”和“it is not the case that” 的语义值。这些词语在命题逻辑中叫做连结词，表达基本命题，或称原子命题 (atomic proposition)，之间的联结关系，主要包括合取 (conjunction)，析取 (disjunction)，蕴 涵(implication)，等值(equivalence)和否定(negation)，分别用符号表示为∧、∨、→、=、∼。 由这些词连结基本命题构成的命题叫做复杂命题，其真值取决于基本命题的真值，通过运 算可以得知。命题的真值只有两个：真 (T) 和假 (F) 。当语句 S 在语境 c 中表达的命题为真 时，我们把它的真值〖S〗 表示为〖S〗 =T，当该命题是假的时，表示为〖S〗 =F。T和F 可理解为真句和假句在语境c中的外延 。合取式“S and S' ”，只有当S和S'都为真时，该逻 辑式才是真的。析取关系分两种：包括 (inclusion)和排斥 (exclusion)，我们只考虑前者。至 于“it is not the case that”，当P为假时它恰恰为真。我们可以将这些逻辑词的语义值表示如 下： (9).〖and〗 =
《解放军外语学院学报》，1999年第4期
Tarski的真理定义和语句真值的推导
辛斌 本世纪30年代，波兰逻辑学家Tarski为形式语言中的真句子概念，做出了一个形式上正 确，实质上适当的定义，在逻辑学和哲学界产生了深远的影响，为形式语义学的建立奠定 了基础。 60 年代美国哲学家 Davidson 开始把 Tarski 的真理定义用于解释自然语言的意义。 那么，真理与意义之间是什么关系？如何以 Tarski式的真理定义来推导语句的真值？本文 拟就这两个问题做一尝试性的探讨。
2
有穷的形式阐明无穷多语句的意义，他把所有语句的意义视为有穷多的简单语句的函数 (function)(3)，通过了解构成复杂语句的那些简单语句的意义和复杂语句的结构，我们就可 以了解复杂语句的意义。所以，只要阐明有数的简单语句的意义，又了解整个语言的构成 方式，便可以掌握整个语言具有的无穷多语句的意义。 Davidson 认为 Tarski 的真理定义恰 恰符合意义解释的建构性这一条件，它能循环性地(recursively)为一种语言中无限多的句子 提供简单正确的真值条件。 下面，我们将以英语为对象语言，用短语规则限定一部分句子，然后为它们提供Tarski 式的真理定义并根据合成性原则推导它们在任何语境中成真的条件。我们将看到，这样的 推导过程能在一定程度上反映语言使用者的语义能力，把无限多的语句与其真值条件相联 系。 (4)中的短语规则虽然只描写了很小一部分英语结构但却能生成无限多的句子， (5a)和 (5b)是其中的两个： (4) a. S→N V P b. S→S conj S c. S→neg S d. VP→Vt N e. VP→Vi f. N→Michael Jackson, Elizabeth Taylor, Michael Jordan g. Vi→is angry, is delighted h. Vt→likes i. conj→and, or j. neg→it is not the case that a. Jackson is angry, and it is not the case that Jordan likes Jackson. b. It is not the case that Jackson is angry or Taylor is delighted.
(5)
我们可以把一个句子的结构用括号或树形图表示，如(5a)可表示为(6)或(7)： (6) S N VP Vi
Jackson is angry and it is not the case that
S conj neg N S S VP Vt N
Jordan likes Jackson
(7) [S[S[N Jackson] [VP [Vi is angry]]][conj and][S[neg it is not the case that][S[N Jordan] [VP[Vt likes][NБайду номын сангаасJackson]]]]]
c (5) c c c c c c c c c c c c c
c
<T,T>→T <T,F>→F
4
<F,T>→F <F,F>→F c 〖or〗 = <T,T>→T <T,F>→T <F,T>→T <F,F>→F c 〖it is not the case that〗 =
(2) (1)
1
根据例(1)和(2)，我们可以将自然语言的真理定义表述为： (3) 对于语言L中的任何语句S和语境c，S是真的，当且仅当P。 Tarski的真理定义和Davidson的语义论从一开始就遭到许多批评，但与此同时，人们也 不能不承认他们的观点至少部分地符合语言使用者对真理和意义的某些直觉，有一定的合 理性。象例 (1)和 (2)中 “I am tired”和 “That book was stolen”这样的句子在英语里叫做陈述 句，其典型功能是用来做断言。哲学家和语言学家普遍承认，当说话者做出一个陈述或断 言时，他也就对一个命题的真实性做了承诺，而听话者在听到一个断言时，也会自动认为 说话者是在声称某件事情是真的或假的。听话者对一个断言的理解通常意味着他知道该断 言在什么场合是真的或是假的。可见，人们关于语句在什么条件下为真的知识构成他们关 于其意义的知识。当然，这不是说我们能够把一个语句的全部意义归结为其成真条件；我 们只是说，了解语句在什么条件下为真实际上正是去了解语言的意义。很难想象，我们能 在不了解一个语句的成真条件的情况下声称知道它的意义。因此，成真条件是意义的必要 组成部分。
二. 语句真值的推导 语义学中有个合成性原则(the principle of compositionality)，即语义理论必须解释语句 的意义如何依赖其组成成分的意义和这些成分之间的结构关系，从而能以有限的方式表达 无穷多语句的意义。 Kempson (1977:30)指出： “以真理为基础的语义理论要设计一套语义 规则，提供一种原则方法，以便通过解读一个语符列的组成成分把该未经解读的语符列映 现到它的一种解读上去(每一种解读都由一组条件构成)”。这就是Davidson早在1966年就提 出的语句意义的建构性解释(a constructive account of the meaning of sentences)：“与关于我 们如何学习语言的不确定预感相对照，我提出在我看来是十分清楚的关于可学习语言的一 个必要特征：它必须能够对语言中语句的意义做出建构性的解释。”(1984:3) 之所以要做出 建构性的解释，是因为我们要处理的语句是无穷多的，假如对意义的结构关系不做出解 释，那么尽管我们可以分别解释许多个别语句的意义，却总会有些语句的意义得不到解 释。这种语言本质上是 “不可学习的。 ” 如何才能对语言的意义做出建构性解释呢？ “一种 令人满意的意义理论如果要证明自己对能力有限的生灵是有用的话，就必须在被解释的语 言现象中发现有穷的基本词汇。果真如此，那就不可避免地需要把对潜在无穷多语句的语 义特征的解释归结为对有穷词汇中那些词项的语义特征的解释 ”(ibid: xiii)。 Davidson把这 些基本词汇叫做 “语义初始词 ”(semantic primitives)，其主要功能是定义简单语句。为了以