PDF《罗素论存在》

3 当中 ,作为摹状词的 柏拉图的老师 不再 出现 (我们只有一个逻辑上不可再拆分的谓词 是柏拉图 的老师 ).①3 的更形式化的版本 : ①3

3 Ex ( x是柏拉图 的老师 ∧ ( x是秃顶的 ) ) ⑦ . Russell希望用摹状词理论来解决的主要问题当中 , 有一个是由自然语言中那些包含了没有指称对象的摹状 词 (比如 当今法国国王 )的命题造成的.毫无疑问 ,这 类命题当中有一些命题为真.而如果我们将这些命题所 包含的摹状词看做逻辑个体常项 (一个自然语言的命题 p 中包含的单位 x是一个逻辑个体常项 ,当且仅当在对 p的 逻辑分析中 , x被当成一个个体常项来对待 ) ,那么 ,我们 无法解释这些命题如何可能为真.因为在传统谓词逻辑 的语言中 ,一个包含特定个体常项的命题为真或者为伪 (或者说 ,该命题有意义 ) ,当且仅当那个特定的个体常项 有指称对象.Russell解决该问题的方法是 :不再将摹状 词看做逻辑个体常项.他将每一个自然语言的、 包含摹 状词的命题 p解释成一个不包含摹状词的命题 q,并且声 称 ,相对于在命题 p当中而言 ,命题 p的真实逻辑结构在 命题 q当中得到了更好的展现.由此可得 , p中包含的摹 状词根本不是 p 的逻辑组成部分 ,因为它在 q中没有出 现.因此 , p中的摹状词自然也就不再是逻辑个体常项. 根据 Russell的理论 ,我们也可以将自然语言中任意 一个具有 a存在 ( a 可以是任意一个摹状词 )这种形 式的存在命题解释成一个不再包含摹状词的命题.比如 命题 ② 柏拉图的老师存在 就可以被解释为 ②

3 Ex ( x 是柏拉图的老师 ) ⑧ . 命题 ②

3 不再包含摹状词 ,代替它的是谓词 是柏拉 图的老师 .按照罗素的意见 ,自然语言中任意一个具有 a存在 这种形式的存在命题都应当被解释成具有 Ex ( Fx) 这种形式的命题.其中 F 代表一个谓词. 到目前为止 ,还有一个问题没有解决 :自然语言中有 些存在命题不包含摹状词 ,而包含一个专有名称 ,比如 苏格拉底存在 .这些命题应当如何解释 ? Russell的解 决方案分两个步骤.首先 , Russell声称 ,任何一个专有名 称都是一个摹状词的缩写.简便起见 ,我们常常使用这

2 2009年 蒋运鹏 罗素论存在 第 4期 种缩写方式.比如 苏格拉底 就可以是 柏拉图的老师 的缩写 ⑨ .然后 ,在此基础上 ,只要把每个专有名称替换 成它对应的摹状词 ,我们就可以使用上面已经提到过的 解释模式.因此 ,按照 Russell自己的看法 ,他的摹状词理 论也间接适用于包含专有名称的存在命题.

2 Russell论存 ・ 在及存在命题 Russell关于存在命题的形式理论我们可以总结如 下 :任何一个自然语言中的、 具有 a存在 ( a 可以是一 个摹状词 ,也可以是一个专有名称 )这种形式的命题的真 正逻辑结构都是 Ex ( Fx) .下面 ,我们来考察 Russell 对具有这种逻辑结构的命题进行的语义阐释以及他对 存・在的本质的看法.Russell写道 : W hen you take any p ropositional function and assert of it that it is possible, that it is sometimes true, that gives you the fundamental meaning of'

existence'

. You may exp ress it by saying that there is at least one value of x for which that propo2sitional function is true. Take'

x is a man'

, there is at least one value of x for which this is true. That is what one means by saying that '