科学文化评论第5卷第6期2008.docVIP

《科学文化评论》第5卷 第6期（2008）： 弗雷格专题 弗雷格的算术哲学 叶峰 摘要 本文介绍弗雷格的算术哲学，包括它失败的原因即罗素悖论，并对它做一些简单的评价。 关键词 弗雷格 逻辑主义 算术哲学 一 引言 弗雷格的数学基础研究并没有对20世纪的数学研究产生过很大影响，在这一点上他不如康托尔、戴德金、皮亚诺等对普通数学学生来说耳熟能详的19世纪末数学家。但是，弗雷格为他自己的数学基础研究而发明的（或说发现的）逻辑系统，则是现代数理逻辑的开端，他因此成为现代数理逻辑的开创者，是自亚里士多德以来最伟大的逻辑学家。弗雷格对20世纪分析哲学的影响则是无与伦比的。他的语言哲学是20世纪分析哲学的源头。他的算术哲学思想的影响同样持续到今天。最近二十多年来出现了许多弗雷格的算术哲学研究的专著、论文集等等，显示了他所受到的重视。又比如，最近十多年来，数学哲学是国际分析哲学研究中相对而言比较沉寂的一个领域，但源于弗雷格思想的所谓新弗雷格主义，是最近十多年来数学哲学研究中相对活跃的课题。这也显示了弗雷格经久不衰的影响。 弗雷格的算术哲学思想包括他对“数”这个概念的分析，对“自然数”的定义，以及从他的逻辑系统到相当于皮亚诺公理的关于自然数的定理的推导。弗雷格的算术哲学思想一般被归为数学哲学中的逻辑主义。逻辑主义者试图用纯逻辑的概念来定义数学概念，并从逻辑公理推导出数学定理，因此将数学还原