自从我放弃了一元的逻辑以来，有关普遍与特殊以及和专名有密切关系的诸问题，颇费了我不少的思索。这些都是一些旧有的问题，事实上至少是自亚里士多德以来就有的。这些问题在中世纪经院学者的思辨中颇占重要位置。经院学者关于这一方面的成绩现在仍然值得重视。在十七、十八世纪的时候，普遍在心理学上和在形而上学上有什么不同是大陆哲学家与英国经验论者的矛盾的要点之一。我曾用寓言的形式把一些传统的意见写出来，发表于《论战》杂志（1946，第二期，第24—25页）：

    从前有一伙派别不同的哲学家在大陆上的一个荒僻的地方旅行。他们找到一个简陋的客栈，然后要菜吃饭。店主东答应给他们大片牛肉。但是把肉端上来的时候，他们觉得滋味不好。其中一位哲学家是休谟的信徒。他是行远路的老手。他把店主东叫来，说：“这不是牛肉，是马肉”。他不知道店主东曾经过过好日子，但是因为倾心于哲学，疏忽了他的事务，景况不及从前；所以哲学家听了店主东的答话吃了一惊，店主东答应道：“先生，我听见你说的话颇为惊讶。你知道你说的话是没有意义的。按你的意思，‘牛肉’和‘马肉’只不过是一些字而已，在非语言界并无所指。所以这只是文字上的争论。如果你喜欢‘马肉’；那也好，但是我以为说‘牛肉’是更合算”。

    店主东这样一答复，这些哲学家们立刻就谈论起来。其中有一位哲学家是罗塞林的门徒。他说：“店主东说得对，‘牛肉’和‘马肉’不过是人的气息说出来的声音而已，都不能表示这块可憎的咬不动的肉”。一位柏拉图主义者答道：“荒谬，这块肉是一个动物身上来的，那个动物活着的时候是天上那个万世不变的马的一个摹本，不是不变的牛的摹本”。一位奥古斯丁主义者说道：“‘牛肉’和‘马肉’是上帝心里的观念，我认为神的牛肉这个观念一定是和这块肉不同。”只有一点这些哲学家是同意的，就是，无论哪个人，如果拿这种难吃的东西当牛肉卖，是应该告官，说他欺骗的。店主东晓得地方官是不懂哲学的，他听见哲学家们这样一说，就害了怕。他拿来了另外一块肉，大家吃了都很满意。

    这个寓言的要点是，“普遍”问题不只是文字的问题。这个问题之发生是由于想要把事实说出来。

    讲到我，我走到了两个方面：一是由于对于莱布尼茨的研究；另外是由于数学的许多基本概念是需要非对称的关系，这种非对称的关系不能化为有关系的各项的宾辞，也不能化为各项所组成的全体的宾辞。在确信关系的“实在性”以后，我既不能相信主辞——宾辞的逻辑，也不相信经验论的意见，以为只有特殊。

    在放弃一元论以后，在我的哲学的发展过程中，我始终保留了一些基本的信条（虽也有一些改变），这些信条我虽然不晓得如何论证，我却无法使我自己加以怀疑。其中的第一个信条是非常明显的，若不是因为还有人主张与之相反的意见，我真不好意思把它说出来。这第一个信条就是，“真理”是有赖于对“事实”的某种关系。第二个信条是，世界是由许多相关的事物所构成。第三个信条是，造句法，也就是说，句子的构造，必是和事物的构造有些关系，造句法的那些不可避免的方面，（而非这一种或那一种语言所特有的），必定是如此。最后，有一条原理我不是那么确信无疑，但是我愿意坚持，除非有极其强有力的理由使我不得不背弃这个原理。这条原理就是，说明一个复合体所包含的部分以及各部分间彼此的关系，而不提到那个复合体，也就等于说明了那个复合体。

    在《数学原理》一书中符号的使用是暗含以上所说那些假定的。这本书里使用的符号是假定有“物”，这些“物”有其属性，而也与别的“物”有关系。最初在句子构造上我所使用的符号有两种是基本的，第一种表示，一“物”是一类中的一项，第二种表示，一个“物”和另一个“物”有某种关系。我用小写的拉丁文字母来表示“物”，用小写的希腊文字母表示类，用大写拉丁文字母表示关系。但是类渐渐为属性所代替，最后，除非是为符号上的方便，就完全不见了。

    我的符号逻辑所包含的形而上学上的信仰，我是在《数学的原理》一书的第四章中第一次企图把它说明的，那一章的标题是“专名，形容词与动词”。大致说来，我那时的思想是和变项所指定的值有关的。我用小写拉丁字母代替变项，这些变项所可能有的值是些有属性或关系的实体。一个希腊字母是指一个属性，或具有那个属性的一类事物。大写拉丁字母是指关系。那时我认为，给一个小写拉丁字母定一个值就是用一个专名来代替这个变项。举例来说，我们若是知道，不管X是什么，如果X是一个人，X是不免于死的，我们可以用“苏格拉底”来代替“X”。同样，我们可以用一个属性来代替一个希腊字母；用一种关系来代替一个大写拉丁字母。这种用一个常项来代替一个变项就是应用逻辑的过程。这个过程是在逻辑的范围以外的，因为就逻辑学家本身而论，他是不知道苏格拉底或任何其他东西的存在的。

    那个时候我的意见具有清晨般的那股率真的精神。这种朝气经过白天的辛苦和炎热却消失了。那时我以为，如果一个字对于一句话的意义起作用，那个字必定是有所指。关于这一点，我愿意引《数学的原理》第四十七节中的话：

    有些区别在哲学中是司空见惯的，这些区别差不多都是一样的；我是指主语与谓语、实体与形容词、这个与什么之间的区别。关于这些性质相同的区别我现在要把我所见到的真理指出来。这是一个重要问题，因为一元论与单子论，观念论与经验论，之间的争论，以及主张与反对真理是与存在有关的那些人之间的争论，都完全或部分以我们对于这个问题所采取的学说为转移。但是我们在这里讨论这个问题，只是因为这个问题对于数的学说或变项的性质的学说是紧要的。这个问题之与一般哲学的关系虽然不是不重要，我却完全不加讨论。凡可以做思想的对象的，凡出现在一个真或伪命题的，凡可以算做一个的东西，我统名之曰一个项。这是在哲学辞汇里最广泛的一个字。我还用一些字与项这个字同义，就是，单位、个体、实体。这三个之中的前两个是强调每项是单个，第三个是由于每项有其存在，那就是说，在某种主义上说是实存的。一个人，一瞬间，一个数目，一个类，一种关系，一个怪物，以及凡可以谈到的东西，当然都是一项。不承认某某事物是一项，必定永远是错误的。

    也许有人认为用得这样极其广泛的字不会有什么多大用处。但是这种意见，其发生是由一些流传很广的哲学学说来的，是不正确的。事实上，凡名词所具有的属性，项是都具备的。首先，每一项是一个逻辑上的主辞，举例来说，每一项是一个命题的主辞，那个命题本身也是一项。不但如此，每项都是不变的，不能毁灭的。一个项是什么就是什么，设想其中有什么变化必是损坏其同一性，使之成为另一项。项的另一个特征是与自身数目上的同一，与别的项数目上的不同。数目的相同与歧异是一与多的来源。所以承认有许多项就破斥了一元论。这似乎是不容否认的：每一命题的每一成分都可以算做一个成分，每个命题最少包含两个成分。所以项是一个有用的字，因为它表明对各种哲学都持异议。还有一个原因，就是，在许多陈述之中，我们要谈到任一项或某项。

    在这一段里，有许多我后来认为是错误的。我改变了我的意见是由于叙述学说和类型学说。叙述学说使我相信，一个字可以在一句话的意义上有所贡献，在孤立的时候却可以没有任何意义。例如，我从前以为“这”这个字是指一种希奇的东西，这种东西是善良的逻辑学家可以希望在柏拉图的天国里遇到的。叙述学说使我放弃了这种希望。类型学说也使我放弃了《数学的原理》里那种天真单纯的想法。从前我觉得有些字若被别的字所代替，必完全失掉了意义。我注意到动名词和动词的意义相同，但是可以用做一句话的主语，例如，在“杀死非谋杀”这句话里，“杀死”就是如此。后来我以为，这一类的句子，若不是没有意义，是一些缩短的句子，这些句子里的动词是真正的动词，而不是一个名词。例如，“杀死非谋杀”这句话可以扩充为“如果甲杀死了乙，不一定是甲谋杀了乙”。如果这样翻译是不可能的，那句话就是毫无意义的。“苏格拉底和杀死是两个”这句话，按类型学说来说，就是一个不合法的句子；“苏格拉底和杀死是一个”也是如此。

    还有一类困难是和反对实体论有力的学说有关。我用小写拉丁字母所代表的特殊事项好象在造句的意义上是实体，虽然不一定有一惯认为实体所具的不灭那种属性。如果“x有某某属性”这句话总是具有意义的、不能分析的，好象我们因此就可以说，x是一件与它所有的属性之总合不同的东西，而且也一定是不同于另一个特殊事项y，二者之不同完全是从数目方面来讲的。所以x和y这两个特殊事项的一切属性是为二者所共有，这在逻辑上讲应该是可能的。当然我们无法知道它们是两个，因为那需要知道x是不同于y（y并不是这样），事实上x就要变成一个不可知的基体，也可以说是变成一个悬挂属性的看不见的木钉子，好象火腿挂在农家的屋梁上一样。有此诸点，“殊相”这个概念就有了困难，我们就不得不寻求一个避免困难的方法。

    关于特殊问题，我对付以上所说的困难第一次所做的努力是一九一一年在亚里士多德协会里宣读的一篇文章，题目是“论普遍与特殊的关系”。当时有柏格森出席，使这个会增光不少。他觉得很诧异，说我好象是认为所需要证明的是特殊的存在，不是普遍的存在。在这篇文章里我分析了一个假设，并且以为那个假设不能成立（自那时以后直到现在，我却以为是可以采用的）。这个假设是说，用不着特殊来做属性所依附的主位。按这一个假设来说，一团一团的属性能够代替了特殊。那时我之所以摈斥了这个假设是由于数的杂多问题，以及它与时、空的关系。那个时候我相信精神现象不外是主体和客体之间的关系，主体是极细微的特殊，这是主体的特征。我先是根据时、空位置的相对性，主张在感觉界不能不有特殊，紧接一步，关于两个人之间的差异，我有与以上所说的很相似的主张。我说：

    从知觉的空间我们推寻出数的杂多来。数的杂多这种论证由于一个与之类似的论证而得到加强，那就是关于各国人的心理内容的论证。至少在理论上这是可能的：如果两个人都相信二加二等于四，则二、加二、等于、四这几个字的意义在这两个人的心中是一样的，所以，就他们二人相信的对象而论，实在无法把二者加以分别。虽然如此，却显而易见是有两个实在，一是这一个人之所信，一是另一个人之所信。一个特殊的信仰是一个复合体，这个复合体中有一个要素，我们不妨称这个要素为主体。就我们所举的例来说，是不相同的主体产生出不同的信仰来。但是这些主体绝不仅仅是一束一束的一般属性。假定这两个人之中有一个人具有仁爱、愚笨和好说双关语的特点，若说“仁爱，愚笨，和好说双关语相信二加二等于四”是不正确的。即使再增加很多的一般属性，这样说也不会是正确的。不但如此，无论我们增加多少属性，仍然有可能别的主体也有这些属性；因此，主体之所以不同，不是由于属性。两个不同的主体必须差异之点是在于它们对特殊的关系。例如，一个主体与另一个主体的关系是它与它自己之间所没有的。但是有一点在逻辑上讲并不是不可能的，就是，和一个主体有关的一切事物，（这些事物在别的方面只和普遍有关），也许可以应用于另一个主体。所以，即使有以上所说的差异出现，两个主体之所以不同，并不是由于这些差异。因此，必须把主体看成是特殊，主体是和主体所可能有的一般属性之集合绝不相同的。

    到后来我认为这些论证是不能成立的。关于感觉世界，一加思索，显然经验空间里的位置，正和物理学的空间里的位置一样，并不是相对的。在我的片刻间的视域里，位置是由一些性质所规定。在视域中心有一种性质，这种性质我们可以称为“中心性”，在这片刻之间我所看见的一切别的东西有不同程度的两种性质：上下与左右。但是这不是最重要之点，使我放弃那篇论文里的意见。最重要之点是和时空关系的逻辑属性有关。我认为这种关系是可以产生连续的。为简明起见，我们只讲时间，甚至只讲一个人的经验里的时间。我们认为，如果是A在B之前，A和B必然是不同的。我们认为，如果A是在B之前，B是在C之前，则A是在C之前。如果对于时间关系的这些特点有所怀疑，就不容易明瞭时间连续如何能够构成。在一九一一年，我觉得时间连续和几何学的空间若不用具有时空位置的材料是无法构成的，我觉得如果不承认殊相，这种材料是找不到的。

    点——瞬的构成问题在一九一一年就已经很在我的心中盘桓了。不久怀特海开始研究这个问题。我在《我们关于外界的知识》一书中对于这个问题有所发挥。我那时好象已经见到，用以构成时一空的特殊（如果有特殊存在）其本身的性质不应该是属于点的，而应该是有一定的广袤好象物理学所需要的那种点的性质只是属于一束一束的特殊，其中每一个单独的特殊是有一个有限定的广袤。但是在那个时候，我确实觉得如果在两个地方有两块红，就是有两个特殊的红。我们之不得不把它们认做是两个是和位置的相对性有关系的。那时我认为这两块红只是位置上的不同，而且因为位置不是一种性质（也可以说我认为不是），位置必须先有杂多以为条件，不能构成杂多。承认感觉空间的位置是绝对的，情形就不同了。在我右方的两个红块可以是红和右两个性质的复合体；在我左方的两个红块可以是红和左两个性质的复合体。左与右以及上与下都有几何学所需要的各种程度的逻辑特性，同时看见的两个红块之为复数是由左右和某一性质（如红）结合而成。我把与此类似的理由应用于时间的次序上。假定一个人的经验里有一种性质发生两次，例如钟报时刻。使你认得敲两下是两下，而不是一件事的重复，究竟原因何在呢？我所得的结论是：有些认识是有赖于一种性质，我们不妨称之为“主观的过去”。我的心理的内容，就其与经验的事件有关而论，可以排成一个系列，这个系列自感觉开始，继之以平衡感觉，然后是极近的记忆，其次是和现在的感觉稍有距离的记忆。这样就产生了一个主观的时间系列，其中的各项，从客观的观点来看，都是现在。当你听见报时刻的钟重复极相似的声音的时候，你已经听见的声音有不同程度的“渐次衰微”。是声音加上“渐衰”所成的复合体是多数，不是声音实际上的性质是多数。我在《人类的知识》一书里创立了这个学说。这个学说我现在仍然觉得是令人满意的，我之所以比较起来喜欢这个学说，是因为相信这个学说就不必假定一些不能认识的和不可知的实体，而不承认这个学说其结果就势必至于以为特殊就是那些不能认识，不可知的实体。

    但是还有一个困难，这个困难我在一九一一年认为是无法克服的。心的两个状态完全相同，这在逻辑上讲，不能认为是不可能的。也许有人说，这在一个人的经验里是不会发生的，这是由于在两个时期所伴随的记忆是有差别。但是根据逻辑的证明，这种完全的相同是可以出现于甲与乙两个人的经验之间的。果真如此，上面所提到的我那个学说就使我不得不说，甲的心理状态和乙的心理状态，在数上说是相同的。乍一看来，这好象是不合理的。我们觉得，一定有可能见到或构成一些事物，其性质是，如果一件事物是在另一件之先，则这两件事物在数上是不同的。但是我以为这种看法是由于经验侵入了逻辑的领域。就经验而论，我们永远见不到这种完全的再现。就我们在经验上所能发见的而论，一个人一个时候的心理的整个内容永远不会完全同于那个人另外一个时候的心理内容，也不会同于任何时候任何别人的心理内容。

    有些人不喜欢逻辑范围以外的先验的直观，对于这些人说来，我的这个学说有个长处。这个长处是在于处理了一些先验的综合知识的实例。“如果甲在乙之先，乙在丙之先，则甲是在丙之先”，这句话无疑地是综合的，而且使人觉得好象是先验的。按我的学说来说，这句话一方面仍然是综