弗雷格是极具创造力的逻辑学家和数学家,他终生致力于把数学建立在逻辑基础之上这项艰巨的工作。作为这项工作的准备,他建立了一套新的人工语言和逻辑系统,为现代数理逻辑奠定了基础。他对数学最基本的“数是什么”的问题作了深刻的探讨,提出了许多丰富而深刻的见解,以致于在二十世纪的分析哲学和语言哲学中他也被视为奠基人之一。他为了实现自己将数学化归为逻辑的最终目标,给出了一个只包含逻辑概念的数的定义,以之为基础建立了一个算术系统,但因罗素悖论的出现,他的系统被人们认为是不一致的因而是失败的。受此影响,对弗雷格的研究工作主要停留在逻辑和哲学方面,而不是他的核心工作。弗雷格的核心工作究竟是怎样进行的,究竟具有什么价值,是本论文研究和写作的目标。笔者认为,对弗雷格的核心工作更合理的表述是:论证算术真的性质是分析的。本文分三章,第一章分析了弗雷格对算术真问题的哲学论证,指出给出合适的数的定义是关键。第二章分析了弗雷格有关数的哲学讨论以及在技术方面他如何给出一个合适的数的定义。第三章比较了弗雷格和康德的思想,指出两人的工作都牵涉到知识的客观有效性和人类对自身认知能力的信心。尽管弗雷格声称他与康德一致的地方多于不一致的地方,但笔者通过比较后发现,康德将知识普遍性的来源归结为认识主体,弗雷格则归结到认识对象上,在康德的理论体系中,时间处于基础性的地位,在弗雷格的理论中,时间则完全被排斥,因此弗雷格的思想显然不同于康德的思想。弗雷格以符号而不是表象作为认知中介,以关系而不是个体为其逻辑体系的核心,都比康德的处理具有更多的优越性。弗雷格并不孤立地进行哲学思考和技术处理,而是将两者有效地结合起来。弗雷格所使用的从对象的相等关系构造出对象的方法在日常生活和当代数学研究中都有广泛的应用。因而在今天,弗雷格所作的工作,无论在思想上还是在方法上,仍具有相当重要的价值与意义。