> For the complete documentation index, see [llms.txt](https://wxflogic.gitbook.io/logic/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wxflogic.gitbook.io/logic/chapter04-2.md).

# 第4章（下）：摹状词与存在：古希腊人崇拜宙斯吗？

现在，在各方面，CP 据定义看上去都是真的。事物当然具有被刻画为具有的那些性质。不幸的是，一般而言，它是假的，因为由它推出的许多结论都是毫无争议不为真的。

首先，我们可以用 CP 推导出所有各种实际上不存在的事物的存在性。考虑（非负）整数：$$0,1,2,3,\ldots$$，显然不存在一个最大的非负整数。但使用 CP，我们却可以表明最大整数是存在的。令 $$c\_x$$ 为条件“$$x$$ 是最大的整数且 $$x$$ 存在”。令 $$\delta$$ 为 $$\iota xc\_x$$。那么， CP 让我们得到“$$\delta$$ 是最大整数且 $$\delta$$ 存在”。荒谬还不止于此。考虑某个未婚的人，比方说罗马教皇。令 $$c\_x$$ 为条件“$$x$$ 嫁给了罗马教皇”。令 $$\delta$$ 为摹状词 $$\iota xc\_x$$。CP 让我们得到“$$\delta$$ 嫁给了罗马教皇”。因此，某人嫁给了罗马教皇，即，罗马教皇是结了婚的。

关于所有这些有什么要说的呢？下面是一个相当标准的现代回答。考虑摹状词 $$\iota xc\_x$$。如果在某个情形存在唯一对象满足条件 $$c\_x$$，那么该摹状词就指称它。否则，该摹状词不指称任何事物：它是一个“空名”。比如，存在唯一对象 $$x$$，使得 $$x$$ 是人且 $$x$$ 第一个登上月球，即阿姆斯特朗。因此，“那个使得 $$x$$ 是人且 $$x$$ 第一个登上月球的 $$x$$”指称阿姆斯特朗。类似的，存在唯一最小（非负）整数，即 $$0$$，因此，摹状词“那个是最小（非负）整数的对象”指的就是 $$0$$。但由于不存在最大整数，“那个是最大整数的对象”就不指称任何事物。同样，摹状词“那个人口超过一百万的澳大利亚城市”也不指称任何事物，这次不是因为没有这样的城市，而是因为有好几个这样的城市。

这和 CP 有什么关系呢？如果在某个情形下存在唯一对象满足 $$c\_x$$，那么 $$\iota xc\_x$$ 便指称它。因此，CP 关于 $$c\_x$$ 的实例就是真的：$$\iota xc\_x$$ 就是其中一个——事实上是唯一的一个——满足 $$c\_x$$ 的事物。特别的，那个最小（非负）整数，（的确）是最小的（非负）整数；那个是澳大利亚首都的城市，的确是澳大利亚的首都，等等。因此，CP 的某些实例是成立的。

但如果没有唯一对象满足 $$c\_x$$ 呢？如果 $$n$$ 是一个名称，$$P$$ 是一个谓词，那么语句 $$nP$$ 为真，当且仅当存在一个 $$n$$ 指称的对象，且它具有 $$P$$ 表达的性质。因此，如果 $$n$$ 不指任何对象，$$nP$$ 一定为假。这样，如果没有唯一对象具有性质 $$P$$，（比如，若 $$P$$ 是“是有翅膀的马”）$$(\iota x\ xP)P$$ 就为假。正如所料，在这些条件下，CP 会不成立。

那么，所有这些与那个本体论论证有何关系呢？回想一下，那里由 CP 导出的实例是 $$\gamma P\_1\land\ldots\land\gamma P\_n$$，其中 $$\gamma$$ 是摹状词 $$\iota x(xP\_1\land\ldots\land xP\_n)$$。要么存在某物满足 $$xP\_1\land\ldots\land xP\_n$$，要么不存在。如果存在，它一定是唯一的。（不可能有两个全能的对象：如果我是全能的，我就能阻止你做事，因此你就不能是全能的。）因此，$$\gamma$$ 指称此物，且 $$\gamma P\_1\land\ldots\land\gamma P\_n$$ 为真。如果不存在，则 $$\gamma$$ 不指称任何事物；因此，$$\gamma P\_1\land\ldots\land\gamma P\_n$$ 的每个合取项均为假；因而整个合取式也为假。换言之，如果上帝存在，那么该论证使用的 CP 实例就足以为真；但如果上帝不存在，它就为假。因此，如果一个人要论证上帝的存在，就不能仅仅调用这个 CP 的实例，那恰恰是在假定自己要证明的东西。哲学家称这样的论证为**乞题**（*begs the question*），即在论证时求助于恰好有待讨论的结论被承认。一个乞题的论证显然是不起作用的。

关于本体论论证就说到这里。让我们这样结束本章：我们会看到，在某些方面，我所讲解的关于摹状词的解释，本身是有问题的。根据这一解释，如果语句 $$\delta P$$ 中的摹状词 $$\delta$$ 不指称任何事物，那么该语句就为假。但这似乎并不总是对的。比如，以下这些似乎为真：古希腊诸神中最强大的神被称作“宙斯”，他住在奥林匹斯山，被古希腊人所崇拜，等等。但实际上，没有古希腊诸神。他们实际上并不存在。如果这是对的，那么摹状词“那个古希腊诸神中最强大的”就不指称任何事物。但假如那样的话，就有真的主/谓句，其中主语词项不指称任何事物，如“古希腊诸神中最强大的神被古希腊人所崇拜”。说得更强烈一点，毕竟有关于不存在对象的真陈述。

***

> 本章要点
>
> * $$\iota xc\_xP$$ 在某个情形下为真，当且仅当在该情形中，存在唯一对象 $$a$$ 满足 $$c\_x$$ 且 $$aP$$。

***