弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)于1897年发表《概念文字:一种模仿算术语言构造的纯思维的形式语言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而,对于这本逻辑史上划时代的专著,在当时却少有人问津。弗雷格反思其原因,认为除人们对那陌生的符号系统望而生畏外,还不理解他为什么要构造这一系统的理由。他在1884年发表了专著《算术基础》(Grundlagen der Arithmetik)。在这本书中,他没有使用数理逻辑的符号,而是哲学理论上论证他所构造的人工语言系统的基本原理,指出严格区分心理的东西和逻辑的东西、主观的东西和客观的东西的必要性;强调决不要忘记概念和客体之间的区别;对当时所流行的逻辑学和数学中的心理主义展开批判。他认为逻辑是数学的基础,数的概念可以被定义为逻辑的类的概念,而类则被看成概念的外延。可以说,《算术基础》一书是弗雷格在哲学的方面为他的数学基础研究中的逻辑主义的方案奠定基础。 ( http://www. )
注释: [1] G. Frege,Die Grundlage der Arithmetik. Eine Logisch-mathematische Untersuchung über den Begriff der Zahl(《算术基础:对数的概念的逻辑数学的研究》),Breslau 1884,第23页。 ( http://www. ) [2] 同上,第27页。 [3] G. Frede,Der Gedanke,Philosophie des deutschen Idealismus;I. Band(1918/ 19),第 58-59页;引自G. Frege,Kleine Schriften,Damstadt 1967,第342页。 ( http://www. ) [4] 同上,第56页。 [5] 同上,第23页。 [6] Frege,Die Grundlage der Arithmetik,第23页。