
_START_ARTICLE_
概念文字
_START_PARAGRAPH_
《概念文字》（德语：Begriffsschrift）是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。_NEWLINE_弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。
_START_SECTION_
对其他著作的影响
_START_PARAGRAPH_
它的记号的某些痕迹幸存了：被逻辑学家非正式的叫做“十字转门”（turnstile）的符号演化自弗雷格的“Inhaltsstrich”─和“Urteilsstrich”│。弗雷格在《概念文字》中以合一的形式├─使用这些符号来声明一个命题是（重言式）真的，而不是简单的宣布它。他使用“Definitionsdoppelstrich”│├─作为表示一个命题是一个定义的符号。_NEWLINE_在逻辑哲学论中，维特根斯坦通过使用术语“概念文字”作为逻辑形式主义的同义词来表达对弗雷格的敬意。_NEWLINE_在弗雷格后来的著作《意义和引用》中，它放弃了在本书中关于同一性达成的某些结论（用数学上的= 号来标记）。