概念文字
概念文字
条目
历史版本
《概念文字》是1879年出版的戈特洛布·弗雷格写的关于逻辑学的一本书。书名Begriffsschrift通常翻译成Concept Writing或Concept Notation；书的完整标题把它标识为"模仿算术的纯思维的形式语言"。
剧情简介
这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对演算推论器的渴望。弗雷格定义了逻辑演算来支持他在数学基础上的研究。概念文字是书和其中定义的演算二者的名字。这是分析哲学的第一部作品，这一领域后来由英国和盎格鲁哲学家如伯特兰·罗素进一步发展。
概念文字包含了量化变量的首次出现，基本上是经典的二价二阶逻辑与恒等性。它是二价的，因为句子或公式表示为真或假；二阶是因为它包括关系变量，除了对象变量，还允许对两者进行量化。修饰语“带有恒等性”指明该语言包括恒等关系。弗雷格表示，他的书是他对普遍特征的一种版本，这是莱布尼茨的一个概念，将被应用于数学中。
在第一章中，弗雷格定义了基本概念和符号，如命题（“判断”）、全称量词（“普遍性”）、条件、否定和“内容相等的符号”（他用来表示物质等价和恒等性）；在第二章中，他将九个形式化命题宣布为公理。弗雷格宣称他的九个命题是公理，并通过非正式论证来证明它们，认为在其预期意义下，它们表达了不证自明的真理。