在上一章结束的时候，我们已经明了“关系”之类的实体似乎是存在的，只是它们存在的方式和物理的客体是不同的，也和心灵和感觉材料不同。在本章里，我们必须考虑这种存在的性质是什么，也要考虑哪种客体具有这类存在。我们先从后一个问题开始。

    我们现在所谈的是一个很古老的问题，因为那还是柏拉图把它带到哲学里来的。柏拉图的“理念说”就是解答这个问题的一个尝试，就我的意见看来，他所作的至今还是一个最成功的尝试。以下所要提出的，大部分是柏拉图的理论。只是由于时代的进步而作了一些必要的修正罢了。

    对于柏拉图来说，这个问题发生的方式大概是这样的。让我们来考虑一下像“公道”这个概念。倘使我们思考什么是公道，很自然地我们便会从这种、那种或者别种公道的行为来进行考虑，目的是要发现它们究竟有什么共同之处。它们必然会在某种意义上都有在一切公道的事物里存在着而别种事物中所没有的一种共同的性质，这种共同的性质（公道的行为就是由于它而成其为公道的）便是公道的本身、是纯粹的本质，它和日常生活中的一些事实混合起来就产生无数的公道行为。任何别的词，譬如说“白”，也同样可以适用在共同的事实上。这个词所以能够适用于许多特殊的事物，是因为这些事物都具有一种共同的性质或者本质，这种纯粹的本质就是柏拉图所称的“理念”或者“形式”。（切不可认为柏拉图所谓的“理念”是存在于心灵之内的，虽然它们可以被心灵所理解。）公道这个“理念”并不等于任何公道的事物：它是一种不属于特殊事物的东西，但却为特殊的事物所共有。因为它不是特殊的，所以它本身便不能存在于感觉世界之中。并且它也不像感觉的事物那样变化无常；它本身是永恒不变的、不朽的。

    于是，柏拉图就达到了比普通的感觉世界格外真实的一个超感觉的世界，也就是不变的理念世界，唯有它才提供给感觉世界一切属于它的实在之一副淡淡的映像。对于柏拉图来说，真正实在的世界就是理念的世界。因为不论我们想要谈论感觉世界中的什么事物，我们只能说它们分享有这样那样的理念才行，那理念才构成为它们的特点。因此，这就很容易流于神秘主义。我们可以期望在一种神秘的启示中能够像看见感觉的客体那样也看见理念；我们也可以想象理念存在于天上。以上这些神秘的发挥原是很自然的，但是这种学说的基础却是合于逻辑的。正因它在基础上是合于逻辑的，我们才必须对它加以考虑。

    年深日久，“理念”这个名词已经获得了许许多多不相干的联系，所以把它用于柏拉图的“理念”上的时候，很容易造成误解。因此，我们便不用“理念”而用“共相”这个词来阐述柏拉图的意见。柏拉图所说的这种东西，其本质就在于它是和那些在感觉中所给定的特殊的东西对立的。凡是在感觉中所给定的东西，或和感觉中所给定的东西同性质的东西，我们就说它是一个特殊的东西；与此相反，一个共相则是那种能为许多特殊的东西所分享的、并且是具有这样一些特性的东西，这些特性，我们上面看到，就把公道和种种公道的行为、白和种种白的东西区别开来。

    我们研究普通的词就会发现：大体上特殊名称代表殊相，而其他名词、形容词、前置词、动词则代表共相。代名词代表殊相，但是意义并不明确：唯有从上下文或者从语言环境中我们才能知道它们所代表的是哪个殊相。“现在”这个词代表一个殊相，亦即代表目前这一时刻；但是它也像代名词一样是一个模棱两可的殊相，因为“目前”是永远在变化的。

    因此可以看出，一个句子至少也要有一个表示共相的词才能组成。像“我喜欢这个”这样的陈述，最近似于上述的说法。但是就在这里，“喜欢”一词也表示一个共相，因为我还可以喜欢别的东西，别的人也可以喜欢一些东西。因此，所有的真理都涉及到共相，而所有有关真理的知识也都涉及到对于共相的认识。

    因为字典中的词几乎都是代表共相的，所以这就很奇怪了：为什么除了学哲学的人之外，竟没有人理解像共相这种实体的存在呢？我们自然不大琢磨句子里那些不代表殊相的词；倘使我们不得不琢磨一个代表共相的词，我们就很自然地把它想成为代表某个以共相出现的殊相。譬如说，当我们听说“查理一世的头被砍下来了”的时候，我们会极自然地只想到查理一世、查理一世的头和砍他的头的动作，这些都是殊相；我们自然不会琢磨“头”这个词或“砍”这个词是什么意思，这两个词都是共相。我们觉得这类词都是不完全的、不具体的。仿佛它们需要有个范围才好办。因此，我们就未免完全忽略了这类共相的词，直到研究哲学时，我们才不得不注意它们。

    大体上我们可以说，即使在哲学家们中间，往往也只是那些称为形容词或名词的共相才被人认识到，而那些称为动词和前置词的共相往往都为人忽略了。这种疏忽对于哲学起过很大的影响；从斯宾诺莎以来，大部分形而上学都被这种疏忽所决定，这样说是并不过分的。情形大致是这样：一般地说，形容词和名词所表达的是单个事物的品质或性质，而前置词和动词却倾向于表达两件或两件以上事物的关系。因此，对于前置词和动词的疏忽就造成了这种信念：前置词可以看作是归因于一件单个事物的性质，而不是表达两件或两件以上事物的关系。因此，过去曾以为：归根结底，不可能有事物之间的关系这种实体的存在。所以，宇宙中只有一个东西也好，有许多东西也好，它们总归不可能以任何方式相互发生作用，因为任何种相互作用都会是一种关系，而关系是不可能存在的。

    上述第一种见解是斯宾诺莎所首倡的，而今天也还是布莱德雷先生和许多别位哲学家们所坚持的，叫做一元论。第二种见解是莱布尼兹所首倡的（如今已经不很流行），叫做单子论，因为每一件隔绝的东西都叫做一个单子。这两种相对立的哲学尽管是有趣的，但是照我的意见看来，它们都过分注意了某一类共相，也就是说，过分注意形容词和名词所表现的共相，而不曾适当注意动词和前置词所表现的共相。

    就事实而论，倘使有人很想完全否认有共相这种东西存在的话，我们就会发觉，我们并不能严格证明有诸如性质之类的实体存在，也就是说，不能证明有形容词和名词所表现的共相存在；但是我们却能够证明关系必然存在，也就是说，能够证明一般由动词和前置词所表现的共相存在。让我们举共相白为例来说明。倘使我们相信有“白”这样一个共相，我们就说东西所以是白的，是因为它们具有白的性质。然而这种见解曾被贝克莱和休谟所竭力否认，后来的经验主义者在这方面都步他们后尘。他们否认这种见解时所采取的形式是不承认有“抽象观念”存在。他们说，当我们要思考“白”的时候，我们就在心灵中形成了一个殊相，一个白东西的形象，并且对于这个殊相加以推敲，同时注意不要演绎出任何在它身上是真确的而在其他白东西上却又非同样真确的东西。如果把这作为说明我们实际的思考过程，毫无问题，这大致是正确的