算术基础

弗雷格（Gottlob Friedrich Ludwig Frege，1848－1925）在《算术基础》中阐述了三条基本原理，这三条原理一方面说明他为什么要构造他的人工语言系统，另一方面说明算术何以能够建立在逻辑的基础之上，这是从哲学的高度出发论证他的逻辑和数学思想的基础。

弗雷格于1897年发表《概念文字：一种模仿算术语言构造的纯思维的形式语言》（Begriffsschrift，eine der arithmetischen nachgebildete Formelsprache des reinen Denkens）。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而，对于这本逻辑史上划时代的专著，在当时却少有人问津。弗雷格反思其原因，认为除人们对那陌生的符号系统望而生畏外，还不理解他为什么要构造这一系统的理由。他在1884年发表了专著《算术基础》（Grundlagen der Arithmetik）。在这本书中，他没有使用数理逻辑的符号，而是哲学理论上论证他所构造的人工语言系统的基本原理，指出严格区分心理的东西和逻辑的东西、主观的东西和客观的东西的必要性；强调决不要忘记概念和客体之间的区别；对当时所流行的逻辑学和数学中的心理主义展开批判。他认为逻辑是数学的基础，数的概念可以被定义为逻辑的类的概念，而类则被看成概念的外延。可以说，《算术基础》一书是弗雷格在哲学的方面为他的数学基础研究中的逻辑主义的方案奠定基础。

......(更多)