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

摘要

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