弗雷格《概念文字》的构造及其意义

The Construction and Meaning of Frege's Begriffsschrift

弗雷格在研究逻辑和算术的关系时深切地认识到了语言的缺陷,因此他借鉴了数学思想,引入了断定、函数和自变元等符号,在传统逻辑自然语言和算术形式语言的基础上构造出了纯思维的形式语言,在历史上第一次建立了一阶谓词演算系统,开创了现代逻辑的新纪元。

Through a thoroughly study on the relation between logic and arithmetic, Frege realized that the language has many limitations, therefore he adopted the mathematical thoughts, introduced the symbols of assertion, function, variables and etc. Finally, he established a pure thought of formal language based on the traditional natural logic language and formal language of arithmetic. For the first time in human history, he created the first - order predicate calculus system which started a new era of modem logic.