第七章 《数学原理》： 哲学方面
事物的类是多于事物。因此类就不是“事物”。但是，因为没人十分懂得这句话里“事物”这个字是什么意思，把我们所已经证明出来的东西很确切地说出来是不很容易的。
我所不能不得出来的结论是：类不过是说话时的一种方便而已。在我写作《数学的原理》的时候，关于类这个问题我已经有些觉得没有办法。可是，我那时候表达意思所用的语言，我现在想来，是不应该那么有实在论的色彩的（实在论是取经院哲学上的意义）。
我在那本书的序文中曾这样说：“讨论难以界说的东西（占哲学逻辑的主要部分）是想法子把这些实体看得清楚，也是使别人看明白这些实体，这样，我们的心理也许对于这些实体有一种认识，和认识红的颜色或菠萝的味道一样。凡我们获得难以界说的东西主要是在分析过程中必然留有残余的时候（现在所说的例子就是如此），知道一定有这样的实体往往比实际上觉察到这些实体要容易一些；有一种过程，这种过程和发现海王星的过程相类似，只是有一个不同之点，就是，用精神的望远镜来寻求那个已经推论出来的实体，这个最后的阶段往往是从事这件事情最困难的部分。关于类这个例子，我不得不坦白地说，我没有看出有任何概念可以满足类这个概念的必要条件。在第十章中所讨论的矛盾，证明有些东西不大对，但是，这究竟是什么我一直看不出来。”
我现在对于这件事的说法应该有些不同了。我应该说，假定有任何命题函数，比如说fx，那么x的值就有一个相当的范围，就这个值的范围来说，这个函数是“有意义的”，也就是说，不是真就是伪。如果ａ是在这个范围之中，fa就是一个命题，这个命题不是真就是伪。除了用一个常数代替x这个变数以外，关于一个命题函数，还有两件事可做：一件是说它永远是真；另一件是说它有时是真。“如果x是人，x就不免于死”这一个命题函数永远是真；“x是人”这一个命题函数有时是真。所以关于一个命题函数有三件事情可做：第一是用一个常数来代替变数；第二是对于这个函数的一切值加以断定；第三是对于一些值，或者至少一个值，加以断定。
命题函数本身只是一个式子而已。它并不对于什么加以断定或否定。同样，一个类不过是一个式子而已。它只是谈使这个函数为真的变数的那些值的一种方便方法而已。
关于上面所说解决这个问题所需要的三个必要条件之中的第三个条件，我曾提出来一个学说，这个学说好象是不合别的那些逻辑学家的意的。可是在我看来，这个学说仍然是正确的。这个学说可以述之如下：当我对于一个fx函数的一切值加以断定的时候，我断定的若要明确，x所能采取的值就必须是明确的。那就是说，x所可能有的值必须有一个总体。
如果我现在进而创立以那个总体来说明的新的值，这个总体好象就因此扩大了，而且与它有关的新的值也就因此和那个扩大了的总体有了关系。但是，因为新的值不能不包括在这个总体之中，这个总体就永远追不上这些新的值，这个过程就好象你想要跳到你的头的影子上。我们用那个关于说谎的人的悖论最能简单地对于这一点加以说明。那个说谎的人说：“不论我说什么都是假的”。事实上，这就是他所说的一句话，但是这句话是指他所说的话的总体。只是把这句话包括在那个总体之中的时候才产生一个悖论。我们不能不把涉及命题总体的命题和不涉及命题总体的命题加以区分。那些涉及命题总体的命题决不能是那个总体之中的份子。第一级命题我们可以说就是不涉及命题总体的那些命题；第二级命题就是涉及第一级命题的总体的那些命题；其余仿此，以至无穷。所以我们那位说谎的人现在就不能不说：“现在就是肯定一个第一级的伪命题，这是伪的。”但这本身是一个第二级的命题。