是基本的，第一种表示，一“物”是一类中的一项，第二种表示，一个“物”和另一个“物”有某种关系。我用小写的拉丁文字母来表示“物”，用小写的希腊文字母表示类，用大写拉丁文字母表示关系。但是类渐渐为属性所代替，最后，除非是为符号上的方便，就完全不见了。

    我的符号逻辑所包含的形而上学上的信仰，我是在《数学的原理》一书的第四章中第一次企图把它说明的，那一章的标题是“专名，形容词与动词”。大致说来，我那时的思想是和变项所指定的值有关的。我用小写拉丁字母代替变项，这些变项所可能有的值是些有属性或关系的实体。一个希腊字母是指一个属性，或具有那个属性的一类事物。

    大写拉丁字母是指关系。那时我认为，给一个小写拉丁字母定一个值就是用一个专名来代替这个变项。举例来说，我们若是知道，不管Ｘ是什么，如果Ｘ是一个人，Ｘ是不免于死的，我们可以用“苏格拉底”来代替“Ｘ”。同样，我们可以用一个属性来代替一个希腊字母；用一种关系来代替一个大写拉丁字母。这种用一个常项来代替一个变项就是应用逻辑的过程。这个过程是在逻辑的范围以外的，因为就逻辑学家本身而论，他是不知道苏格拉底或任何其他东西的存在的。

    那个时候我的意见具有清晨般的那股率真的精神。这种朝气经过白天的辛苦和炎热却消失了。那时我以为，如果一个字对于一句话的意义起作用，那个字必定是有所指。

    关于这一点，我愿意引《数学的原理》第四十七节中的话：有些区别在哲学中是司空见惯的，这些区别差不多都是一样的；我是指主语与谓语、实体与形容词、这个与什么之间的区别。

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

    也许有人认为用得这样极其广泛的字不会有什么多大用处。

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

    在这一段里，有许多我后来认为是错误的。我改变了我的意见是由于叙述学说和类型学说。叙述学说使我相信，一个字可以在一句话的意义上有所贡献，在孤立的时候却可