，而是说试图关于世界做精确的陈述的时候“更可取”。
现在我单讲“存在”这个问题。我认为我的这个主张对于避免混乱是很重要的，我的主张是，通常用法的“存在”
这个辞产生了造句法上的混乱，而且是好多形而上学上的混乱的来源。请以下面的一个推理为例：“我现在的感觉存在；这是我现在的感觉；所以这一个存在”。
我认为这两个前提也许可以成立，可是结论是荒谬的。这意思用普通的语言无法说得清楚。这是一个对于普通语言不利的论证。我认为其中所包含的唯一正当的概念是彐这个概念。这个概念可以表明如下：假定有一个包含一个变项ｘ的ｆｘ式，并且，如果给这个变项指定一个值，这个式就变成一个命题，我们说（彐ｘ）。
ｆｘ这个式的意思就是至少有一个ｘ的值，就这个值来说，ｆｘ是正确的。我个人认为还是拿这个来做“有”的定义好，可是，如果我拿这个来做“有”的定义，我不能把我的意思说得使人了解。
当我们说“有”的时候，不可从这个命题的正确就来推断我们说有的那个什么就是（用一个含混的辞句说）世界内
…… 242
对于批评的几个答复１４２
容的一部分。数理逻辑承认“有数目”这个命题，逻辑哲学承认“数是逻辑上的虚构或符号上的方便”这个命题。数是类的类，类是符号上的方便。想把彐翻译成普通的语言一定要使我们陷入困难，因为所要传达的这个概念是制造普通语言的人所不晓得的。
“有数目”
这个命题须用一个精密的方法来解释。我们必须先从一个命题函数开始，假定是ｆｘ，然后把“有ｆ‘这种性质的事物的数目”加以界说，然后给“数”
下一个定义为“不论什么，只要它是具有某种性质的事物的数目，就都是数”。这样我们就得到“ｎ是一个数”这个命题函数的定义。我们就看出，如果我们把给“１”所下的定义代替ｎ，我们就得到一个真正的命题。
所谓至少有一个数，就是这个意思。但是在普通语言中很不容易说明我们不是主张数是有柏拉图哲学上的那种真实性。
逻辑之与本体论的关系事实上是很复杂的。在某种程度上，我们可以把这个问题的有关语言的几方面和与本体论有关的一些方面分开。至少在理论上有关语言的一些问题可以得到正确的解决。但是本体论上的一些问题是含混得多。可是纯乎语言上的问题有一个本体论上的背景，虽然这是一个不清楚的背景。句子是由字组合而成的。如果句子能够对于事实有所断定，至少其中有些字必须与另外某种东西之间有一种关系，那种关系就叫做“意义”。如果饭馆里的一个侍者对我说：“我们有很新鲜的龙须菜”
他若是说明他这话纯粹是属于语言方面的，并不是指任何实际上的龙须菜，我要是因此生了气，这是不能怪我的。在所有的普通语言中都包含这一点本体论上的拘束。但是字与字以外的事物的关系是随字
…… 243
２４２第 十 八 章
的种类而有不同，这就产生了词类学说的一种逻辑形式。如果一个句子要有意义，除非是一个纯粹逻辑上的句子，其中的一些字必须指什么东西，但是别的一些字则不一定如此。
如果世界上没有“女王”这个辞和“英国”这个辞所指的东西，则包含“英国的女王”
这个短语的一个句子就不能有意义，但是不一定有“的”这个字所指的东西。为使一些我们觉得明白的命题具有意义，这些命题不能不具备一些东西，数理逻辑之于本体论的意义就是在于减少这些应具备的东西的数目。这样进行削减，其唯一的理由是为避免轻率没有保证的臆说。如果我们平常经验上的命题要有意义，这些命题（假如不是语言上的）就必须指字以外的什么东西。这样就发生了一个纯粹专门性的问题：使我们能够断言我们以为是事实的那个最小语汇是什么？
假定这个问题解决了，我们还有这样一个本体论上的问题：如果我们的字要有意义，我们的句子要表示意思，一方面，我们的字与句子之间必有什么关系存在，另一方面，字与事实之间必有什么关系存在呢？我们可以先从我们的语汇里除掉所有那些在语言上有一个定义的字，因为我们总是可以拿定义来代替这些字。有时候（除掉微细的地方）
一个字和一个物的关系是相当清楚的：我们知道“得威特。
Ｄ。艾森豪威尔“
这个名称所表示的那个东西是什么；我们知道那些颜色的名称是指什么；其余可以类推。
但是还有一些字我们就觉得麻烦一些：如果我们说“亚力山大先于凯撒”
，我们就觉得（也许是不正确的）
亚力山大和凯撒是实有其人。但是“先于”
这个字又怎么样呢？在不得已的时候，我们可以想象一个只由亚力山大、或只由凯撒或
…… 244
对于批评的几个答复３４２
只由他们两个人所组成的宇宙。但是我们不能想象一个只由“先于”
所组成的宇宙。
正是因为有这一类的事，大家才相信实体而怀疑普遍。
于此又可以看清语言的需要，但是这些需要在形而上学上的函意是不清楚的，没有“先于”
这一类的字，我们就没有办法，但是这一类的字不象专名那样能够指明宇宙所由造成的某一块砖。
“有普遍吗？”这个问题可以有不同的解释。首先，它可以用存在量词的意思来解释。
我们说：“有一些句子包含两个名称和一个关系辞，没有这类的句子，有许多我们自己相信知道的关于事实的断语就是不可能的”。
我们还可以说，正如这些句子里的名称是指出事物，关系辞就不能不指示语言以外的某种东西。亚力山大先于凯撒是一件事实，这件事实不只是由亚力山大和凯撒而成。显而易见，关系辞的作用是使我们能够对一些事实有所断定，否则这些事实是说不出的。
到这一点为止，我以为我们是站在稳固的基础之上的。但是我想，绝不是因此就有一个叫做“先于”的那么一个“东西”
，只有有关系的时候才能把关系辞用得正确。
这也同样可以用于宾辞。当宾辞或关系辞从表面上看来是变项的时候，奎尹觉得特别有困难，请以这样一个命题为例：“拿破仑具有一个大将的一切特长”。这必须作以下的解释：“不管ｆ是什么，如果‘ｘ是一个大将’蕴含ｆｘ，不管ｘ是什么，那么结果就是ｆ（拿破仑）。”这好象是说，给ｆ补充了一个我们竭力想避免的内容。
我以为这个困难确实是有的，我也不知道怎么解答。毫无疑问，没有代表宾辞或关系辞的变项是不行的，但是我觉得一种专门方法应该是有的，用这
…… 245
４２第 十 八 章
种方法就能保持名称与宾辞、关系辞之间的本体论上的地位的差别。
数理逻辑的作用不是要在本体论上疑不能明的地方把它建立起来。而是要把指示一个事物意义明瞭的那些字的数目减少。
从前有一种通常的见解，以为所有的整数都是实体。
那些不这样极端的人至少也相信１这个数目是一个实体。我们无法证明不是如此，但是我们能够证明在数学上是找不到证据的。
最后，“有普遍吗？”这个问题的意义是暧昧不明的。按某些解释，对这个问题的回答当然是肯定的；按另外一些解释，现在好象没有明确的回答。我对于普遍在本体论上的地位的意见见于《对意义与真理的探讨》的末一章。
Ⅲ 斯特劳逊先生论指称
Ｐ。
Ｆ。
斯特劳逊先生在一九五○年的《心》杂志里发表了一篇文章《论指称》。这篇文章又在《概念的分析论文》一书里重印出来，这本书是安托尼。夫路教授选编的。下面的引证是根据这篇重印的文章。这篇文章的主要目的是驳斥我的叙述学说。因为我发现我所敬重的几位哲学家认为这篇文章已圆满地达到了它的目的，我认定应该有一个答辩，首先我可以说，在斯特劳逊先生的任何论证里，我完全看不出一点确实性来。究竟这是因为我上了年纪，还是有什么别的原因，我不得不请读者来判断。
斯特劳逊先生的论证的要点是在于把我一直认为是性质不同的两个问题弄成了一个，即，叙述问题和自我中心问题。
…… 246
对于批评的几个答复５４２
我已经用了相当多的篇幅讨论了这两个问题。但是因为我认为这是两个不同的问题，我在讨论其中的一个问题的时候，我就没有讨论另一个。因此斯特劳逊先生就有了借口，以为我忽略了自我中心这个问题。
他小心地选择了材料来助成他的借口。在我最初说明叙述学说的那篇文章里，我特别讨论了两个例子：“现在的法国国王是秃头”和“斯考特是《威弗雷》的作者。”后边这个例子不合斯特劳逊先生之用，因此，除了马马虎虎地提了一点以外，他对于这个例子完全置之不理。关于“现在的法国国王”
，他抓住有自我中心性质的“现在”这个字，他好象不能理解，如果我用“在一九○五年”这些字代替了“现在”这一个字，他的全部论证就要瓦解了。
也许不是全部，其理由在斯特劳逊先生动笔以前我就说过了。但是不难举出一些别的例子来，这些例子用的是完全没有自我中心的叙述短语。我倒喜欢他把他的学说用于以下的句子：“负一的平方根是负四的平方根的一半”
，或“三的立方是直接在第二个完全数之前的整数。”
在这两句里都没有自我中心的字，但是解释叙述短语的问题正和有自我中心的字是一样的。
在斯特劳逊先生的文章里，没有一个字暗示到我曾考虑过自我中心的字，更没有暗示到关于自我中心的字他所主张的学说正是我用了很多篇幅颇为详尽地说明了的那个学
①参看《对意义与真理的探讨》，第七章，和《人类的知识》，第二编第四章。
…… 247
６４２第 十 八 章
说①。
他的关于这类字的主张的要点是，这些字指什么完全要看什么时候用这些字，在什么地方用这些字。他这样说是完全正确的。关于这一点，我只需从《人类的知识》（第１０７页）中引一段就够了：
“这”
是指用这个的字的时候占据注意力中心的任何东西。
非自我中心的字中那个不变的性质是和被指的事物有关的某种东西，但“这”每次用的时候是指不同的事物。其不变的性质不是被指的那件事物，而是这个字个别使用的关系。
不拘什么时候用这个字，用这个字的人是注意某个东西，这个字就是指这个东西。
如果一个字没有自我中心的性质，就没有必要分清用这个字的不同的场合。至于自我中心的字，我们必须有这种区分，因为这类字所指的是和使用这个字有某种关系的一种东西。
我也不能不提一提我