论文部分内容阅读
从古希腊时代起,人们就希望能找到一种可以作为数学基础的理论,以满足人类理性的诉求。然而两千年多来,人们在这个问题上的看法总是莫衷一是。直到19世纪末,数学的算术化运动使得人们对数学真理性的研究进入了一个全新时期,逻辑主义思想就诞生在这个时期。弗雷格和罗素希望将数学化归为逻辑,从而为数学奠定一个永久可靠的基础。他们的成就令人瞩目,但悖论的出现使弗雷格最终放弃了逻辑主义的理想,然而罗素却没有如此消沉,他提出了类型论来解决悖论问题,可以说类型论与逻辑主义是分不开的。本文试图通过对逻辑主义思想和类型论的探讨,来重新认识弗雷格和罗素在解决数学基础问题上所做的努力。