当我们讨论主谓语这一话题时,有一种特定的可以充当句子主语的短语,我们还没有论及。逻辑学家称之为限定摹状词(definite descriptions),有时简称为摹状词(descriptions)——要注意,这是一个专业术语。摹状词就是像“第一个登上月球的人”和“从太空中唯一可见的地球人造物”这样的短语。一般而言,摹状词具有这样的形式:那个满足某某条件的东西(the thing satisfying such and such a condition)。按照英国哲学家和数学家,现代逻辑的奠基人之一,伯特兰·罗素的做法,我们可以将摹状词写成如下形式。将“第一个登上月球的人”重写为“那个对象
由于摹状词是主语,它们可以与谓语结合构成完整句。因此,如果我们把“出生于美国”记作
依据上一章的区分,摹状词是名称,不是量词。即,它们指称对象——如果我们幸运的话:这一点我们回头再谈。这样,“第一个登上月球的人出生于美国”,$$\mu U$$,为真,当且仅当,由短语
但摹状词是一类特殊的名称。不像专名(proper names)(如“Annika”和“大爆炸”),摹状词携带着关于所指对象的信息。比如,“第一个登上月球的人”携带的信息是,所指对象具有是人和第一个登上月球这些性质。这一点似乎平凡无趣,显而易见。然而,事情不像它看上去那么简单。由于摹状词以这种方式携带信息,它们经常在数学和哲学的重要论证中发挥核心作用。一种理解其中某些复杂性的方法,就是来看一个这种论证的例子。这是另一个证明上帝存在的论证,常被称作本体论论证(Ontological Argument)。该论证有多种版本,这是其中一个简单版本:
上帝是拥有所有至善之物。
而存在性也是一种至善。
因此,上帝具有存在性。
即,上帝存在。如果你以前没有见过这个论证的话,它会显得相当费解。首先,什么是至善?宽泛地说,至善就是全知(知道一切可知的之事)、全能(能做一切可做之事)和道德完美(总是以尽可能最好的方式行事)之类的东西。更一般的,至善就是一个美好事物所具有的全部性质。现在,第二个前提说,存在性是一种至善。究竟为何如此呢?理由相当复杂,其哲学思想渊源可追溯到古希腊两个最有影响力的哲学家之一,柏拉图。幸运的是,我们可以解决这个问题。我们可以列一个清单,清单上包含像全知、全能等这样的性质,将存在性也包括在清单上,然后让“至善”就指清单上的任何一个性质。此外,我们可以令“上帝”与某个特定的摹状词同义,即“那个拥有所有至善(即,清单上的所有性质)之物”。现在,根据定义,本体论论证的两个前提都为真,因而可以不用考虑。这个论证可以简化为一句俏皮话:
那个全知、全能、道德完美……且存在的对象,存在。
——我们还可以加上,是全知、全能、道德完美的,如此等等。这句话看上去当然为真。为了让事情更加明晰,假设我们把上帝具有的清单上的性质记为
这是一个更一般结论的特例:那个满足某某条件的东西满足恰好那个条件。这常被称作刻画原则(Characterization Principle)(事物具有刻画它的那些性质)。我们将该原则缩写为 CP。我们已经见过 CP 的一个例子:“第一个登上月球的人是人且他第一个登上月球”,$$\mu M\land\mu F$$。更一般的,如果我们取某个摹状词