弗雷格
【生卒】：1848—1925年 【介绍】： 德国数学家、逻辑学家。 1848年出生在德国的维思玛，1869年就读于耶拿大学，两年后入哥廷根大学，1874年起在耶拿大学任讲师，后任教授。他曾是耶拿大学当时唯一特约的数学副教授，举办过“概念符号”讲座。1918年退休，前后任教40年。 弗雷格适应数学发展的需要，深入研究数学的科学性质和数学思维的规律，开辟了数学逻辑化的新方向。他努力把逻辑本身变成一个由公理、规则和定理构成的演绎体系。他对逻辑问题的探讨是从数学开始的，他的目标是要从逻辑推导出全部数学，把数学真理性的证明看成是完全依赖于逻辑的推理和规律。 为此，他发明了一种表意的概念语言，创新了量词和变项的概念，并把它应用于逻辑，结果是构造了初步自足的命题演算和谓词演算系统，在数理逻辑发展史上作出了划时代的贡献。他把这种表意的概念语言应用于算术，结果是第一次给出了自然数的精确定义，在数学史上同样也作出了重大贡献。 弗雷格致力于用逻辑符号代换所有的数学符号，用逻辑的规则说明所有的数学规则，并发展了一种语言哲学观点，这对逻辑实证主义流派的形成和发展有著很大影响。 弗雷格的观点在当时除极少数人给予应有的赞赏外，没有引起人们的注意，他的著作在德国当时也几乎无人知晓，无论数学家还是哲学家都对他不了解，以致出版社不愿意出版他的书，这些使他很伤心。后来，由于罗素的发现，特别是《数学原理》一书的出版，人们才逐渐认识弗雷格，并对他表示敬意。1902年6月罗素在致弗雷格的信中就说过：“就我所知，你的著作是我们时代中最好的，请允许我表达我的深切敬意。”1950年《算术基础》英译本出版，在讲英语的哲学家中产生了很大的影响。 主要著作有：《概念语言》(1879年)、《算术基础》、《算术的基本规律》(1893－1903)。 |