先看以下语句：

（1）嬴政是统一六国的人。
（2）嬴政=赵政。

那我们由此能到：

（3）赵政是统一六国的人。

但在命题态度语句中，或者一些所谓的信念语句中，一个有意思的问题是由如下语句所引起的：

（4）小明相信“嬴政是统一六国的人”。

可是当我们根据（2）而将“赵政”替换（4）中的“嬴政”而得到如下如下语句时，对于小明来说却是假的：

（5）小明相信“赵政是统一六国的人”。

一开始我们觉得，一旦我们告诉小明，嬴政这个人还有一个名字即“赵政”，问题就解决了：小明会对“赵政是统一六国的人”表示赞同。问题真的这么简单吗？当小明承认“嬴政=赵政”，并因而相信“赵政是统一六国的人”，我们也许并未因而感到完全放心，这是因为，也许小明只是将他所谓的“嬴政”所指的**那个人**增加“赵政”这个名字，对于小明来说，无论是对于“赵政”还是对于“嬴政”，现在都指称那同一个人，但对于我们来说，却未必指称我们原先用“赵政”所指称的那个人：我们的困惑就在于不敢肯定，小明那里的“赵政”是不是与我们这里的“赵政”的所指是同一人。说实在的，我们在命题态度语句中遇到了极大的困难。我们将看到，丢开与之伴随的谓词来谈论一个对象，是不可想象的。而且我的这篇文章想努力表明的一点是，纠结于“哪个人”不是好的同一性问题。

罗素很早就注意到命题态度语句的指称问题，我们对于一个像（4）那样的命题态度语句，实际上可能有两种理解：

（5）小明相信“有这么一个人，他是统一六国的人”。
（6）有这么一个人，小明相信“他是统一六国的人”。

这两种理解被罗素看成是对象“一个人”对于谓词“相信”不同范围（scope）的“出现”。仔细想来这两种理解的确有微妙的差别。对于（5）来说，作为对象的“那个人”的存在与否并不为我们这些对小明的信念进行解释的人所肯定，而对于（6）来说，情况正相反，这样一个对象是我们所承认的，然后我们报告说小明相信这个人拥有“统一六国”这个属性。蒯因在 1956 年的一篇论文（Quantifiers and propositional attitudes）中指出，命题态度语句是内涵表达式，在对象的量化上有一个“暗昧”（opacity）结构。不像（1）那样的语句，命题态度这样的语句内的单称词在指称上是不透明的，因为它不满足指称的可替换标准。指称的可替换标准说的是，对于一个单称词来说，如果它在语句中占据指称位置，那么用任何有相同指称的词项对它们进行替换都不会改变它所在的语句的真值。一个词项能够占据指称位置，是我们对其所在语句及进行有效量化的前提。所谓量化，就是从中分离出变项，该变项为某个或某些谓词所述谓，量化后的语句能够清楚地表明它是在说什么对象，该对象是怎样的。（5）、（6）可以被量化如下：

（7）小明相信“(∃x)(x 是统一六国的人)”。
（8）(∃x)(小明相信“x 是统一六国的人”)。

这两个表达式的用意都是对（4）进行存在概括：既然“嬴政”已经被提出作为一个例证是如此这般的，那么我们自然可以说有“这么一个人”（即(∃x)），他是如此这般的。我们的问题在于，（8）的存在概括是不是可靠的？如果不是，那是为什么呢？鉴于命题态度语句存在暗昧结构，蒯因在几十年后的另一篇文章《再论内涵》中提议引入一个信念语句算子 B，Bm表示将某个信念语句归于小明（Ming）。这个算子的作用是，将小明的信念内容重构为对象和谓词的关系，这样我们就能去掉引号，而直接谈论小明的信念内容，从而把内涵语句变成外延语句，因而能够在外延逻辑中处理它了。它对信念语句的翻译图式如下：

BmFx1x2x3…xn≡ Ming believes “F” of x1x2x3…xn。

这个图式右边公式是把小明（Ming）信念内容看成是，他相信对象 x1、x2、x3等等（也可能只有一个对象）对于某个谓词“F”的关系，即相信某些个对象及其述谓。左边的公式是用 Bm语句算子将右边的公式改写后的结果，“≡”是个双条件句符号，表示“当且仅当”，当然这也表明左右两边的公式是互相定义的。这样我们就能够把（7）和（8）翻译如下：

（9）Bm((∃x)(x 是统一六国的人))
（10）(∃x)(Bm(x 是统一六国的人))

我们把“统一六国的人”看成一个像“狮子”或“首都”那样的指称若干（也许是一个）对象的普遍词项，将它缩写成“L”，就会得到更符合上面那个翻译图式的语句：

（11）BmLx
（12）(∃x)(BmLx)

从（11）和（12）我们很容易理解信念语句算子的作用：它将一个人信念处理成谓词与对象的之间的关系。我们可以利用这个机制来探讨我们最初的困惑，小明相信嬴政是统一六国的人，但不相信赵政是统一六国的人，这到底是怎么回事？根据我们的改写，我们是能同意，小明是相信，有某个对象，它是如此这般的。“如此这般”在这里正表示那样一个谓词“L”，即“统一六国的人”。到这里我们能够得到什么呢？把小明的信念翻译成对象和谓词的关系，我们的用意是，对于小明信念，对他来说，他只是相信谓词与某个些对象有关系，在具体说明这些对象是什么之前，我们可以放心地让他这样说。这同时在暗示，不能把小明的信念里的“嬴政”（对象）和“统一六国的人”（谓词）分离开来，我们必须记取**不是对象决定了谓词，而是谓词决定了对象**，像“Fx”这样形式的表达式，“x”对“F”的关系犹如枝叶对其所嫁接的植株的关系，将它们分离开来是没有意义的。

小明否认“赵政是统一六国的人”，他可能是说，“不对，统一六国的人就是嬴政”。我们如果问他一个对他来说的反事实条件句“如果嬴政没有统一六国，他还是不是嬴政？”他可能会首先反问我们，“你说的代词‘他’是谁？”确实，代词“他”成了一个疑问，因为它的作用正相当于量化中的那个“x”，我们正是在这里与小明的信念发生冲突的。小明可能紧接着对我们说，“‘他’如果是统一六国的人，我就叫‘他’嬴政，如果不是统一六国的人，我就不叫‘他’嬴政，因为，**统一六国的人就是嬴政**（请注意这个主谓词顺序）！”我们接着问他，“如果‘他’是统一六国的人，但不叫嬴政，而叫赵政呢？”小明可能有两种回应。第一种回应是说，“如果是这样，我将收回我的断言，而相信‘赵政是统一六国的人’；但我仍坚持的是，统一六国的人是不变的，无论他叫嬴政还是叫赵政。”第二种是说，“如果统一六国的人不是嬴政，而是赵政，那我可以理解，是另外一个人统一了六国。我们可能在谈论两个人乃至两种历史可能。”

我们与小明的这番对话说明，我们所以不能对小明的信念提出像（10）或（12）那样的量化，正因为对于小明来说，“嬴政”这个对象是由小明对“统一六国的人”这个谓词决定的。在我们试图量化他的信念语句时，我们对谓词比较放心，我们认为，提出任何像 BmLx 那样的信念，无非是说，某人相信有某个对象与谓词 L 有关系中，只要他不进而指出这个对象来。小明的回答让我们明白，与其说他相信可以把某个对象归入谓词 L 下，不如说，谓词 L 就**是**那个对象。所以，量化图式“x 是 L”中的“是”是一个系词，而不是“=”，后者表示的是同一性。但对于小明来说，他实际的信念可能是“**统一六国的人**是**嬴政**”，这样的“是”不是系词，而是“=”了。即使不是这样，我们也可认为他是把“统一六国的人”与“嬴政”都同样看成是一个谓词，也就是说，“嬴政”并不占据一个指示词的位置，而其实是罗素所说的摹状词。“嬴政”不是为任何一个特定的人所拥有的名字，就像在量化逻辑中能够替换变项 x 的用于为实体或对象命名的 a1、a2、a3 等常项那样。实际上，我们中一些人的确对“嬴政”这个词有这样的理解。我们可能说，“假如统一六国的人不是‘嬴政’，那也可能会有‘赵政’、‘陈政’、‘魏政’等等”；但我们也可能说，“统一六国的人的就是嬴政”，这就是我们对于“统一六国的人”这个问题上的两种微妙的理解。

如果单称词项实际上是一个摹状词，我们是可以用罗素的限定摹状词理论把它改写成带有一个变项的表达式。例如，我们可以把“嬴政”这个摹状词改写成(∃z)(x)((x=z)≡…x…)的形式，这个表达式可以读作“有一个 z，对于所有的 x 来说，x 都是 z，当且仅当…x…”。“…x…”是一个含有 x 作为变项的开语句，也就是我们省略的对“嬴政”（即公式里的 z）的描述。这个摹状词表达式是说，只要有某个对象 x，它满足“…x…”这个描述，那我们就说所有这样的 x 都是 z。我们最终想说明的是 z，但因为 z 本来是一个单称词，通过这样的改写，我们为它找了一个附加的变项 x。说所有的 x 都是 z，在我们当前的问题里，这无异于是说，所有的满足“…x…”的 x，其实都是“嬴政”（它占据“z”这个词的位置），所以我们可以说，如果名为“张三”的人做了我们实际历史中的“嬴政”所做的那些事情，我们就说“张三”就是“嬴政”，如果是“李四”，情况也是如此，以此类推。在这个时候，“嬴政”的确失去了指示词的地位，而变成一个摹状词。

一旦我们从单称词中分离出变项来，根据量化的原则，我们就可以把这个带有变项的限定摹状词带入量化之中了。然而一旦这样，我们就发现，在小明的信念里，“嬴政”一词的作用和地位无异于“统一六国的人”，它们之间几乎可以说没有什么差别了，谈论“嬴政”就是谈论“统一六国的人”，反之亦然。在这种情况下，我们能不能劝他以摹状词对待“嬴政”呢？当然可以，特别是当我们将上述分析向他说明后，我们预料他会对此表示同意，以至于他宣称这样的分析使得他比之前更理解自己的信念了（的确，分析就有这样一种作用）。但他仍然可以在不否认上述分析的前提下继续把“嬴政”作为一个指示词看待。按照卡普南的说法，当“嬴政”在小明那里是一个**生动的**（vivid）指示词时，他就可以继续使用“嬴政”而不与我们上面的分析冲突。这意味着一个相应的条件必须加入到关于他的信念的逻辑中，即(∃x)Bm(x=a)。在小明这个例子中，就是说(∃x)Bm(x=嬴政)。对于他的那个信念来说，本来我们只同意“BmL 嬴政”，而不同意对它的量化“(∃x)(BmLx)”，但既然对于小明来说，任何在对他的信念进行量化的变项“x”都是“嬴政”，那我们直接将“BmL 嬴政”的“嬴政”替换成“x”而变成“BmLx”，从而当然可以得到“(∃x)(BmLx)”这个量化。

我们终于如愿以偿。由此我们能得到什么安慰呢？生动指示词正如克里普克所说的**固定指示词**（rigid designator）（或者如有的哲学家所说的**真名**（proper name））。生动指示词这个说法就是个隐喻，它提示我们：小明就像亲自看见过“嬴政”这个人，并亲眼目睹了他所做的统一六国的事，他知道，这个人的名字叫做“嬴政”，因此任何做了统一六国的事情的人，他都知道“他”（x）肯定就是嬴政（a）。在更一般的情形中，某个人把任何一个名为“a”的对象看作是具有某个属性“F”的东西，无论以后他再什么碰到任何“是 F”但又不叫做“a”的对象，他都坚持认为，这些对象其实**都是**“a”（即 x=a）。我们必须说，生动指示词“a”必须是一个本质概念，它不过就是一个伪装了的谓词。对此，蒯因有一段精彩的评论：

> 知道或者相信某个人或某个东西时什么人或什么东西这样一个概念，完全以语境为转移。有时，当我询问某个人是谁时，我们看见那张脸而需要知道他的名字；有时，情况与此相反。有时，我们需要知道在这个社区里担任什么职务。（生动指示词）这个概念就自身而言是空洞的。（《再论内涵》，112-113）

只是在这里，我们还不能很明白这其中的问题所在。还有一些问题需要弄清楚，例如，什么是谓词，以及谓词于对象的关系是什么关系。为什么我们可以放心提出一个表示变项与谓词的关系如“Fx”这样形式的语句，但我们不能轻易地将只有单称词的内涵语句量化。对于“Fx”这样的语句，即使被放在一个人信念中，形成了一个内涵结构，它也是无害的，因为，我们并没有将任何确定的对象与谓词“F”绑定，“x”所指称的对象也许存在也许不存在，但因为它是由“F”所述谓的，仍可以说是有意义的。一个语句可以是无指称的，但仍然是有意义的。“F”被叫逻辑学家做谓词字母，它只是用来表示一个带有某个或某些变项的开语句（open sentence）。在形成任何的开语句上我们是自由的。对于一元开语句，我们可以有“**是杀死关羽的人”、“我们想要打的猎物是**”；对于二元开语句，我们可以有“**比**大”、“**是统一**的人”。我们可以有 n 元开语句。开语句就是一个等待填入对象名称的有缺口的语句，而我们一般所说的谓词可以被看成是那个缺口位于末尾的开语句。如果我们可以把开语句看成是“**图式**”（schema），那更可以明白的是，就开语句或谓词的和对象的关系而言，**对象是因开语句或谓词而被决定的，而不是相反**。所以，把一种对象选定出来，必然已经是因为有了某个谓词。谓词是对对象的谓述，正是在这种谓述里，我们的对象才产生出来，任何对象都是言说方式的产物，而不是相反。总而言之，**变项是谓词的伴随物**。

在结束这个关于信念逻辑的讨论之前，我邀请读者一起思考下面几个语句：

（13）小明相信“美人鱼吻了杰克船长”。
（14）小明相信“飞马战胜了龙王”。
（15）俄狄浦斯相信“我杀死的是仇人”。
（16）俄狄浦斯相信“我娶的是皇后”。

顺便说一下，在我们看来，俄狄浦斯杀死的是其父亲，娶的是其母亲。在讨论到命题态度语句的“暗昧”结构时，许多哲学家就特别喜欢引用俄狄浦斯的例子。德沃金在《法律帝国》中也提到了这个例子。我们不妨将之与小明的例子一起最后做些思考。对于俄狄浦斯来说，那个他杀死的人当然是具有同一肉体、在时空中占据连续位置的物体，他是亲身指定这个人为“仇人”的；对于那个他所娶的人，也是同样的情况，他也是亲身指定这个人为“皇后”的人。但是，如果你一旦告诉他，他杀死的那个人其实是他父亲，而他迎娶的人其实是他母亲，他会如何反应呢？在此之前，俄狄浦斯曾相信，“我杀死的是仇人，迎娶的是皇后”，而现在他明白了“我杀死的是我的父亲，迎娶的是我的母亲”，我们并不因此而感到满意。可能不会有人会责怪俄狄浦斯，因为他杀死自己的父亲时、迎娶自己的母亲时并不**知道**那是他的父亲和母亲（这也是为什么我们一般在对信念逻辑的语句中不用“知道”这个谓词）。但俄狄浦斯知道这一切后会自责。为什么会这样呢？

我们和俄狄浦斯的有各自的信念，而且，我们都是以同一的肉身作为识别一个人的身份的基础的，可我们恰恰就在这里遭受了折磨：依据同一的肉体所鉴别的身份因结合不同的语境（即我们所说的代表开语句的谓词 F）而变得迥然有异——它们实际上变成不同的对象，但我们顽强的肉身同一原则抵制了这一结果。我们的痛苦并不来源于对谓词所表达的属性误判本身，而是执着于以某个其实并不万能的同一性条件。真正应该背负罪责的是日常语言中的那些个体化原则。

2019/9/19
江湾

标签 蒯因

标签蒯因