这本书以数学的算术化为起点,即用自然数定义数学中的其他概念,由自然数的性质导出数学中的所有命题。在肯定数学能归约到自然数的理论后,下一步应该是将自然数的理论再行归约,到最小一组概念和前提。弗芮格成功的达到了用纯逻辑的概念定义数。所谓数就是某一个类的数(项数或基数),而一个类的数就是所有和这个类有一一对应关系的类的类。然后用一个类的数定义0与后继,进而定义自然数。不仅皮亚诺的三个基本概念可以定义,皮亚诺的五个基本命题,包括数学归纳法,也可以有以上的定义推导得出。在自然数中,1是0的后继,2是1的后继,如此等等。自然数形成一个有一定次序的序列。在自然数序列的基础上,罗素逐步引出有理数,实数和复数。本书也有错误:即把数学等同于逻辑,把数学看成逻辑的延伸。把类看成是逻辑的虚构,所以数也是逻辑的虚构,也是错的。因为他把抽象的一般的东西,如类和集合看成是人们思维的虚构,或者是符号的虚构,是错的。(未完待续)
罗素的《数理哲学导论》
最新推荐文章于 2021-02-08 16:06:59 发布