第二，在“存在是不是一个谓词”这一问题上，现代逻辑进行了深入的研究。

针对“关于上帝存在的本体论证明”，康德提出，“存在”不是一种性质，因此，它不是 一个谓词，随后，这个观点得到了大多数逻辑学家与哲学家的赞同，弗雷格、罗素、斯特劳 逊、摩尔、赖尔、艾耶尔、奎因等都持相同观点。按他们的观点，尽管“棕色的牛是存在的 ”与“棕色的牛是健壮的”这两个句子形式相同，即“存在的”与“健壮的”都出现在谓语 位置上，因而从形式上看两者都是谓词，但实际上，语句中的“存在”是可以等值地消去的 ，因为，“棕色的牛是存在的”可以等值地转换为“有的牛是棕色的”，而“棕色的牛是健 壮的”中的“健壮的”却不能被等值地消去。因此，“存在”并不是一个真正的逻辑谓词而 是一个量词，存在语句实际上是一个量词语句，所以，可以用现代逻辑的量词理论来处理存 在语句。

我们知道，在谓词逻辑中，量词主要有两个，即全称量词与存在量词，分别表示为x与x， 前者相当于自然语言中的“所有”、“任何”、“一切”等，后者则相当于自然语言中的“ 有”、“有的”、“有些”等。如果我们对量词取其客观解释，则全称量词可 解释为“对宇宙间的所有事物x来说，x都是F”，而存在量词则可以解释为“ 宇宙间至少有一个事物x，x是F”。以这种解释为基础，弗雷格与罗素提出了一个著名的观 点：存在就是命题函项的可满足性。按弗雷格与罗素的观点，谓词其实质是以命题为值域的 函项，一个全称语句是指所有的个体都满足该命题函项，而一个存在语句则是指至少有一个 个个体满足该命题函项。说一个存在语句为真，也就是说这个存在语句的命题函项是可满足 的 [6]。当代美国著名的哲学家与逻辑学家奎因也认为，我们如果要探究某一理论或思想中 的本体论，即探究这种理论或思想中承认哪类对象是存在的，我们可以将这种理论或思想先 进行谓词逻辑的处理，将其语句进行量化，然后确定该理论或思想中哪些量词式是真的(即 确定哪些量词式是该理论中的定理)，最后再确定要使得这些量词式为真，存在量词式的约 束变项该取什么值。这些存在量词式的约束变项所取的值便是该理论或思想所认可的存在物 。因此，奎因也提出了一个著名的口号：“存在物的整个领域是变项的值域，存在就是一个 变项的值”[7]。奎因还进一步指出，所谓存在，就是在一个约束变项这种代词的指称范围 之内。“被假定为一个存在物，纯粹只被看作一个变项的值”，“我们的整个本体论，不管 它可能是什么样的本体论，都在‘有个东西’、‘无一东西’、‘一切东西’这些量化变项 所涉及的范围之内，当且仅当为了使我们的一个断定是真的，我们必须认为，所谓被假定的 东西是在我们的变项所涉及的东西范围之外，才能确信一个特殊的本体论的假设。”[8]

从上面的介绍可以看出，认为“存在”不是一个逻辑谓词，用量词理论来处理存在问题，存在问题的逻辑哲学省察 这就是现代逻辑对存在问题的主流处理方式。(当然，也有一些现代逻辑分支仍然认为存在 是一个谓词，比如非经典逻辑中的自由逻辑就持此观点。)在这种处理方式下，存在被看作 命题函项的可满足性，是约束变项的值。很明显，这种处理方式的好处就是将存在问题变成 了一个纯粹的逻辑问题，从而从逻辑上解决了所谓的“存在难题”。但我认为，这种处理方 式也有一定的局限性：它回避了存在作为一个谓词所面临的各种逻辑哲学问题，毕竟，存在 至少是一个语法谓词。因此，我认为，本文的第一与第二部分实际上就是在承认存在是一个 逻辑谓词的前提下对解决存在问题所作的一种探讨。

相关推荐：

关于儒家哲学的逻辑