弗雷格
出处:按学科分类—自然科学总论 天津人民出版社《自然辩证法辞典》第230页(722字)
【生卒】:1948—1925
【介绍】:
德国着名的数学家、逻辑学家、现代数理逻辑的奠基人之一,分析哲学的直接思想先驱。
1869——1871年间,在耶拿大学学习数学、物理和哲学,其后转到格丁根大学学习,1873年获博士学位。1874年起一直在耶拿大学任教,长达40余年之久。1879年起任数学教授,1918年退休。
弗雷格长期从事数学基础和逻辑学方面的研究,在数理逻辑、数理哲学和语义学等方面做出了重大贡献,被誉为继亚里士多德之后最伟大的逻辑学家之一。
他在逻辑史上构设出命题演算的第一个公理系统,并首先使用量词,创建了谓词逻辑。他给出自然数的精确定义,试图证明逻辑与数学是同一的,逻辑可以推导出全部数学,并以此建立数学证明论的基础。这使他成为数学基础问题上的逻辑主义派的创始人。在语义学上,他提出了涵义和指称理论。弗雷格作为分析哲学的先驱,对分析哲学的影响主要表现在:(1)在所创立的数理逻辑推理系统,成为后来分析哲学家,尤其是逻辑经验主义者进行哲学分析的主要工具;(2)他在语言哲学、语义学等方面提出的许多观点,尤其是涵义和指称区别的观点,对以后分析哲学的发展产生了较大的影响;(3)他对分析哲学的另外两位创始人逻素和维特根斯坦,对逻辑经验主义的主要代表人物卡尔纳普等人都有直接的影响,并通过他们影响了分析哲学的发展。主要着作有:《概念演算:一种按算术语言构成的纯思维的形式语言》(1879)、《算术基础:对数概念的逻辑数学研究》(1844)、《论概念和对象》(1892)、《论涵义和指称》(1892)、《算术的基本规律》(1895~1903)等。