存在概念① 是一个容易造成困难的概念，因此它也是一个让哲学家很感兴趣的概念。如果存·在是一种所有存在的物体② 所具有的性质，那么不存·在看起来似乎也是一种所有不存在的物体所具有的性质。可是，不存在的物体如何能具有性质呢？这是一种困境。我们还可以换一种方式来描述同样的困境：在对句子“苏格拉底是聪明的”进行逻辑分析③ 的时候，我们会很自然地把该句子拆分为“苏格拉底”这个单项和“是聪明的”这个谓词。根据这种逻辑分析，该句子为真，当且仅当“苏格拉底”这一单称词项指称的物体包含在“是聪明的”这一谓词的外延之中。如果我们说出该句子，那么我们（在正常场合下）就针对苏格拉底作出了一个断言。我们断言，苏格拉底是聪明的。同理，在对句子“（I）飞马不存在”进行逻辑分析的时候，我们也会很自然地将它拆分为“飞马”这个单称词项和“～（x存在）”这个谓词（“x”的功能只在于标出可以填入单项的空位）④。在此出现了类似的困境：（I）不可能为真。因为根据我们的逻辑分析，（I）为真，当且仅当“飞马”指称的物体包含在“～（x存在）”的外延之中。而只有当“飞马”指称的物体（飞马）存在的时候，该物体才能包含在一个谓词的外延之中。如果说出（I），我们就针对飞马作出一个断言。但是这个断言也不可能为真。因为要使该断言为真，飞马必须存在。我们的困境在于：上述结论是不可接受的，因为我们中的绝大多数人不怀疑（I）的真实性。许多否定的存在命题都面临该困难。另一个困境在于，任意一个肯定的存在命题不可能为伪。比如“（II）飞马存在”就不可能为伪。（II）为伪，当且仅当（II）的否定命题（I）为真。而（I）不可能为真。这个结论也是不可接受的，因为我们中的绝大多数人认为（II）为伪。 针对上述困境，几乎每一个西方哲学史上的重要哲学家都提出过自己的解决方案。本文将不对它们进行综述⑤。本文的主要目的在于考察Russell解决该问题的方案和当代哲学家McGinn对该方案的批评。 我将证明，McGinn的批评完全建立在对Russell的误解之上。而对于McGinn的误解，Russell自己要负一部分责任。 1 摹状词理论 Russell关于存·在的理论可以分为两部分来考察。第一部分主要涉及对自然语言中的存在命题的逻辑分析，它构成Russell理论的形式基础。第二部分主要涉及对（经过逻辑分析之后的）存在命题的语义阐释以及由此引出的一些形而上学观点。在这一小节中，我们将考察第一部分。该部分与Russell的摹状词理论有密切关联。 Russell的摹状词理论的核心可以用一句话来概括：对于任意一个包含有摹状词的、自然语言的命题p而言，p可以被解释成一个不包含摹状词的命题q⑥。比如“①柏拉图的老师是秃顶的”就可以被解释为①*有一个物体，他是柏拉图的老师，并且他是秃顶的。 在命题①*当中，作为摹状词的“柏拉图的老师”不再出现（我们只有一个逻辑上不可再拆分的谓词“是柏拉图的老师”）。①*的更形式化的版本：①**Ex（x是柏拉图的老师∧（x是秃顶的））⑦。 Russell希望用摹状词理论来解决的主要问题当中，有一个是由自然语言中那些包含了没有指称对象的摹状词（比如“当今法国国王”）的命题造成的。毫无疑问，这类命题当中有一些命题为真。而如果我们将这些命题所包含的摹状词看做逻辑个体常项（一个自然语言的命题p中包含的单位x是一个逻辑个体常项，当且仅当在对p的逻辑分析中，x被当成一个个体常项来对待），那么，我们无法解释这些命题如何可能为真。因为在传统谓词逻辑的语言中，一个包含特定个体常项的命题为真或者为伪（或者说，该命题有意义），当且仅当那个特定的个体常项有指称对象。Russell解决该问题的方法是：不再将摹状词看做逻辑个体常项。他将每一个自然语言的、包含摹状词的命题p解释成一个不包含摹状词的命题q，并且声称，相对于在命题p当中而言，命题p的真实逻辑结构在命题q当中得到了更好的展现。由此可得，p中包含的摹状词根本不是p的逻辑组成部分，因为它在q中没有出现。因此，p中的摹状词自然也就不再是逻辑个体常项。 根据Russell的理论，我们也可以将自然语言中任意一个具有“a存在”（“a”可以是任意一个摹状词）这种形式的存在命题解释成一个不再包含摹状词的命题。比如命题“②柏拉图的老师存在”就可以被解释为②*Ex（x是柏拉图的老师）⑧。 命题②*不再包含摹状词，代替它的是谓词“是柏拉图的老师”。按照罗素的意见，自然语言中任意一个具有“a存在”这种形式的存在命题都应当被解释成具有“Ex（Fx）”这种形式的命题。其中“F”代表一个谓词。 到目前为止，还有一个问题没有解决：自然语言中有些存在命题不包含摹状词，而包含一个专有名称，比如“苏格拉底存在”。这些命题应当如何解释？Russell的解决方案分两个步骤。首先，Russell声称，任何一个专有名称都是一个摹状词的缩写。简便起见，我们常常使用这种缩写方式。比如“苏格拉底”就可以是“柏拉图的老师”的缩写⑨。然后，在此基础上，只要把每个专有名称替换成它对应的摹状词，我们就可以使用上面已经提到过的解释模式。因此，按照Russell自己的看法，他的摹状词理论也间接适用于包含专有名称的存在命题。
