第十八章 对于批评的几个答复-1
类的类，类是符号上的方便。想把彐翻译成普通的语言一定要使我们陷入困难，因为所要传达的这个概念是制造普通语言的人所不晓得的。“有数目”这个命题须用一个精密的方法来解释。我们必须先从一个命题函数开始，假定是fx，然后把“有f’这种性质的事物的数目”加以界说，然后给“数”下一个定义为“不论什么，只要它是具有某种性质的事物的数目，就都是数”。这样我们就得到“ｎ是一个数”这个命题函数的定义。我们就看出，如果我们把给“１”所下的定义代替ｎ，我们就得到一个真正的命题。所谓至少有一个数，就是这个意思。但是在普通语言中很不容易说明我们不是主张数是有柏拉图哲学上的那种真实性。
逻辑之与本体论的关系事实上是很复杂的。在某种程度上，我们可以把这个问题的有关语言的几方面和与本体论有关的一些方面分开。至少在理论上有关语言的一些问题可以得到正确的解决。但是本体论上的一些问题是含混得多。可是纯乎语言上的问题有一个本体论上的背景，虽然这是一个不清楚的背景。句子是由字组合而成的。如果句子能够对于事实有所断定，至少其中有些字必须与另外某种东西之间有一种关系，那种关系就叫做“意义”。如果饭馆里的一个侍者对我说：“我们有很新鲜的龙须菜”他若是说明他这话纯粹是属于语言方面的，并不是指任何实际上的龙须菜，我要是因此生了气，这是不能怪我的。在所有的普通语言中都包含这一点本体论上的拘束。但是字与字以外的事物的关系是随字的种类而有不同，这就产生了词类学说的一种逻辑形式。如果一个句子要有意义，除非是一个纯粹逻辑上的句子，其中的一些字必须指什么东西，但是别的一些字则不一定如此。如果世界上没有“女王”这个辞和“英国”这个辞所指的东西，则包含“英国的女王”这个短语的一个句子就不能有意义，但是不一定有“的”这个字所指的东西。为使一些我们觉得明白的命题具有意义，这些命题不能不具备一些东西，数理逻辑之于本体论的意义就是在于减少这些应具备的东西的数目。这样进行削减，其唯一的理由是为避免轻率没有保证的臆说。如果我们平常经验上的命题要有意义，这些命题（假如不是语言上的）就必须指字以外的什么东西。这样就发生了一个纯粹专门性的问题：使我们能够断言我们以为是事实的那个最小语汇是什么？
假定这个问题解决了，我们还有这样一个本体论上的问题：如果我们的字要有意义，我们的句子要表示意思，一方面，我们的字与句子之间必有什么关系存在，另一方面，字与事实之间必有什么关系存在呢？我们可以先从我们的语汇里除掉所有那些在语言上有一个定义的字，因为我们总是可以拿定义来代替这些字。有时候（除掉微细的地方）一个字和一个物的关系是相当清楚的：我们知道“得威特?Ｄ?艾森豪威尔”这个名称所表示的那个东西是什么；我们知道那些颜色的名称是指什么；其余可以类推。但是还有一些字我们就觉得麻烦一些：如果我们说“亚力山大先于凯撒”，我们就觉得（也许是不正确的）亚力山大和凯撒是实有其人。但是“先于”这个字又怎么样呢？在不得已的时候，我们可以想象一个只由亚力山大、或只由凯撒或只由他们两个人所组成的宇宙。
但是我们不能想象一个只由“先于”所组成的宇宙。正是因为有这一类的事，大家才相信实体而怀疑普遍。于此又可以看清语言的需要，但是这些需要在形而上学上的函意是不清楚的，没有“先于”这一类的字，我们就没有办法，但是这一类的字不象专名那样能够指明宇宙所由造成的某一块砖。
“有普遍吗？”这个问题可以有不同的解释。首先，它可以用存在量词的意思来解释。我们说：“有一些句子包含两个名称和一个关系辞，没有这类的句子，有许多我们自己