1.知识类和知识者底知识底分别。有没有我们所不知道的事实呢?从一方面着想,我们似乎要说有我们所不知道的事实,我们一想就想到欧洲亚洲有好些战事是我们所不知道的,而这些都是事实。从另一方面着想,我们既不知道这些战事,我们何以又知道它们是事实呢?对于这个问题,我们可以分两方面讨论,一方面从知识类讨论,另一方面从知识类中的某某知识者讨论。事实既如本章各节所讨论,则从一知识类着想,当然没有一知识类所不知道而又同时承认其为事实的事实。所谓一知识类不知道是该类中没有一知识者知道,所谓一知识类知道是说该类中至少有一知识者知道。一知识类可以有它所不知道而又承认为自然的自然。自然只有理论上可知而没有事实上已知的问题。对于事实,我们不能这样的说。
2.所谓一知识类之所不知道的。一知识类之所不知道的,当然也是该类中任何知识者所不知道的,这也就是说,这不知道的情形不在这类知识者底知识经验中。照以上的说法,不在一类知识者底知识经验中的,不是该知识类底或相对于该知识类的事实。从相对性着想,事实和自然相似,它也是相对于知识类的。不同点是事实要求已经或正在成分。说事实是可以为一类知识者所不知道而同时又是该知识者所承认为事实的事实,这实在是无法说得过去的。这等于说事实可以为一类知识者所不知道而又为该类知识者所知道。
3.没有相对于知识类而为该类所不知道的事实。从类方面说,显而易见,没有不知道的事实。这当然是说,没有相对于该知识类而为该类所不知道的事实。不相对于该类的事实底有无,根本不在讨论范围之内。假如我们以Kn表示某一知识类,以Km表示某另一知识类,则有相对于Kn的自然,也有相对于Km的自然,当然也有相对于Kn的事实,也有相对于Km的事实。假如我们以 Sn表示相对于Kn的事实,以Sm表示相对于Km的事实,我们说显而易见没有Kn所不知道的Sn。对于Kn,Sm底有无根本不在我们底讨论范围之内。这里是说知道或不知道,不是说可以知道或不可以知道。可以知道而不知道的仍不是事实。
4.可以成为事实的材料当然不会都已经在知识类底经验中。说没有不知道的事实总给人以不良印象,以为我们已经登峰造极,我们无可再进步了。既然没有不知道的事实,当然所有的事实都已经在我们底知识经验中。这话也对。只是我们要注意,事实不是一可以有总结的集团,一件一件的事实底总数不是一固定的数目。同时知识也不是一在任何时间可以打住的活动。更要紧的是,求知不仅是被动地知道事实,而且是主动地发现事实,事实是可以增加的,并且无时不在增加。不但将来(t2,t3,t4……tn)成为现在,事实老在增加,而且历史上的事实也老在增加。说没有不知道的事实不是说我们已经登峰造极,这只是说事实增加我们底知识也增加,说事实增加,只是说可以成为事实的材料,由自然川流中的项目而入于事实界而已。说没有不知道的事实,也不是说,没有可以成为而尚未成为事实的材料。这些材料当然不会完全已经在我们底知识经验中。
5.事实界底澎涨。照上条底说法,事实界无时不在澎涨。如果我们以我们底事实界为世界,则世界的确是澎涨的。这和宇宙澎涨论不相干。宇宙澎涨论是物理学底学说,它靠得住与否完全是物理学范围之内的问题。我们这里所谈的只是事实界底澎涨,不但相对于一知识类的事实界澎涨,即一知识者底事实界,只要他底知识增加,他底事实界也澎涨。人类底事实确是增加的,并且增加底速度也在增加。这当然不是说自然或本然界澎涨,本然与自然界完全是另外一回事。