弗雷格．戈特洛布
【生卒】：1848－1925 【介绍】： 德国逻辑学家、数学家和哲学家。 弗雷格的著作开创了数理逻辑的一个新阶段。弗雷格首先完成命题和谓词逻辑的公理构造，从而奠定了数学证明的理论基础。 他在《算术基本法则》一书(两卷集，1893－1903年)中建立了形式化算术体系，打算以此来论证关于数学的大部内容均可归结为逻辑的思想(参见逻辑主义)。 逻辑学后来的发展在许多方面同继承弗雷格的遗产(包括克服弗雷格体系中所暴露的矛盾)联系在一起。 弗雷格反对逻辑学中的主观“心理学”派。他的逻辑学观点特征具有唯物主义因素。同时，在解释一般问题时，弗雷格又带有柏拉图式的客观唯心主义特征。进入现代科学的一些观念和概念是弗雷格创立的，例如关于概念是逻辑函项的解释、真值概念、量词的引入和系统使用，变项概念的分析等。弗雷格是逻辑语义学中关于语言表达式的意义和涵义概念以及关于指称(或命名)关系的那一部分内容的创立者。 |