概念文字查看源代码讨论查看历史
概念文字 |
书 名: Begriffsschrift 别 名: Concept Writing 或 Concept Notation 作 者: 戈特洛布·弗雷格 类 别: 逻辑学 出版时间: 1879年 |
介绍
概念文字是1879年出版的 戈特洛布·弗雷格 写的关于逻辑学 的一本书。书名 Begriffsschrift 通常翻译成 Concept Script 或 Concept
Writing 或Concept Notation;书的完整标题把它标识为"模仿算术的纯思维
的形式语言"。[1]
意义
这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开 发他的形式逻辑系统的动机是类似于莱布尼兹对演算推论器的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。概念文字是书和其中 定义的演算二者的名字。