《概念语言》

---

德国数学家、逻辑学家弗雷格的第一部著作。

出版于1879年。副标题是“一种按算术语言构成的纯思维的符号语言”。

在这部著作中，弗雷格提出了谓词演算(一阶逻辑)，这标志著数理逻辑的真正创立。

这部著作包括三部分。第一部分解释了一种新的符号系统，即“概念语言”，并把它用于要求有精确命题公式和定理严格推导的研究。弗雷格认为这种语言和日常语言的关系就好像显微镜和眼睛一样，它有利于使逻辑从过分依赖日常语言的语法中解放出来，有利于消除日常语言的歧义和混乱；第二部分给出了一组逻辑规则和公理，构成了一个初步自足的逻辑演算，即一阶谓词演算，这足以证明命题函项狭演算的所有必然真理的意义上是完全的；第三部分通过举例说明一阶的理论的某些概念如何能在他的符号系统中构造出来。

在关于数学序列的理论里，他用“遗传性”定义了“y属于从x开始的R－序列”，也定义了“y是x的R－后裔”，为后来定义自然数序列及说明数学归纳法作了理论和技术上的准备。

由于弗雷格在这本书中使用的符号和传统上所使用的不同，影响了它的传播，直到罗素后来通过自己的研究介绍和宣传弗雷格的学说，这本书才引起人们的注意。

《概念语言》表明弗雷格企图从逻辑推导出算术，把数学看作和逻辑是相同的，这在数理逻辑发展史上开了逻辑主义的先河。