概念文字
《概念文字》是1879年出版的弗雷格写的关于逻辑学的一本书。书名Begriffsschrift通常翻译成Concept Writing或Concept Notation；书的完整标题把它标识为"模仿算术的纯思维的形式语言"。
剧情简介
这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于戈特弗里德·莱布尼茨对演算推论器的渴望。弗雷格定义了逻辑演算来支持他在数学基础上的研究。概念文字是书和其中定义的演算二者的名字。这是分析哲学的第一部作品，这一领域后来由英国和盎格鲁哲学家如伯特兰·阿瑟·威廉·罗素进一步发展。
概念文字包含了量化变量的首次出现，基本上是经典的二价二阶逻辑与恒等性。它是二价的，因为句子或公式表示为真或假；二阶是因为它包括关系变量，除了对象变量，还允许对两者进行量化。修饰语“带有恒等性”指明该语言包括恒等关系。弗雷格表示，他的书是他对普遍特征的一种版本，这是戈特弗里德·莱布尼茨的一个概念，将被应用于数学中。
在第一章中，弗雷格定义了基本概念和符号，如命题（“判断”）、全称量词（“普遍性”）、条件、否定和“内容相等的符号”（他用来表示物质等价和恒等性）；在第二章中，他将九个形式化命题宣布为公理。弗雷格宣称他的九个命题是公理，并通过非正式论证来证明它们，认为在其预期意义下，它们表达了不证自明的真理。
第三章的主要结果涉及现在称为关系R的祖先。 “a是b的R-祖先”写作“aR*b”。
作品影响
概念文字之后的所有形式逻辑工作都受其影响，因为它的二阶逻辑是第一个能够表示相当多数学和自然语言的形式逻辑。在《逻辑哲学论》中，路德维希·维特根斯坦通过使用术语概念文字来向弗雷格致敬，将其作为逻辑形式主义的同义词。
弗雷格于1892年的论文《关于意义和指称》否定了概念文字关于恒等性（在数学中用“=”符号表示）的一些结论。特别是，他拒绝了“概念文字”观点，即恒等谓词表达了名称之间的关系，而赞成恒等谓词表达了由这些名称指称的对象之间的关系。
作品评价
对于概念文字在德国数学文献中的评论的最近仔细研究，请参见Vilko（1998）。一些评论者，特别是恩斯特·施罗德，总体上持赞成态度。概念文字之后的所有形式逻辑工作都受其影响，因为它的二阶逻辑是第一个能够表示相当多数学和自然语言的形式逻辑。
历史版本
拜纳姆，特雷尔·沃德，翻译和编辑，1972年。概念符号及相关文章，附有传记和介绍。牛津大学出版社。
鲍尔-门格尔伯格，斯特凡，1967年，《概念文字》在让·范·海耶诺特（Jean van Heijenoort）编辑的《从弗雷格到哥德尔：数理逻辑的文献选编，1879-1931》中。哈佛大学出版社。
比尼，迈克尔，1997年，《概念文字：选集（前言和第一部分）》在《弗雷格读本》中。牛津市：布莱克韦尔。