《概念文字》是1879年出版的弗雷格寫的關于邏輯學的一本書。書名Begriffsschrift通常翻譯成Concept Writing或Concept Notation；書的完整標題把它標識為"模仿算術的純思維的形式語言"。
劇情簡介
這本小書無可爭議是亞里士多德之后在邏輯學領域最重要的出版物。弗雷格開發他的形式邏輯系統的動機是類似于戈特弗里德·萊布尼茨對演算推論器的渴望。弗雷格定義了邏輯演算來支持他在數學基礎上的研究。概念文字是書和其中定義的演算二者的名字。這是分析哲學的第一部作品，這一領域后來由英國和盎格魯哲學家如伯特蘭·阿瑟·威廉·羅素進一步發展。
概念文字包含了量化變量的首次出現，基本上是經典的二價二階邏輯與恒等性。它是二價的，因為句子或公式表示為真或假；二階是因為它包括關系變量，除了對象變量，還允許對兩者進行量化。修飾語“帶有恒等性”指明該語言包括恒等關系。弗雷格表示，他的書是他對普遍特征的一種版本，這是戈特弗里德·萊布尼茨的一個概念，將被應用于數學中。
在第一章中，弗雷格定義了基本概念和符號，如命題（“判斷”）、全稱量詞（“普遍性”）、條件、否定和“內容相等的符號”（他用來表示物質等價和恒等性）；在第二章中，他將九個形式化命題宣布為公理。弗雷格宣稱他的九個命題是公理，并通過非正式論證來證明它們，認為在其預期意義下，它們表達了不證自明的真理。
第三章的主要結果涉及現在稱為關系R的祖先。 “a是b的R-祖先”寫作“aR*b”。
作品影響
概念文字之后的所有形式邏輯工作都受其影響，因為它的二階邏輯是第一個能夠表示相當多數學和自然語言的形式邏輯。在《邏輯哲學論》中，路德維?！ぞS特根斯坦通過使用術語概念文字來向弗雷格致敬，將其作為邏輯形式主義的同義詞。
弗雷格于1892年的論文《關于意義和指稱》否定了概念文字關于恒等性（在數學中用“=”符號表示）的一些結論。特別是，他拒絕了“概念文字”觀點，即恒等謂詞表達了名稱之間的關系，而贊成恒等謂詞表達了由這些名稱指稱的對象之間的關系。
作品評價
對于概念文字在德國數學文獻中的評論的最近仔細研究，請參見Vilko（1998）。一些評論者，特別是恩斯特·施羅德，總體上持贊成態度。概念文字之后的所有形式邏輯工作都受其影響，因為它的二階邏輯是第一個能夠表示相當多數學和自然語言的形式邏輯。
歷史版本
拜納姆，特雷爾·沃德，翻譯和編輯，1972年。概念符號及相關文章，附有傳記和介紹。牛津大學出版社。
鮑爾-門格爾伯格，斯特凡，1967年，《概念文字》在讓·范·海耶諾特（Jean van Heijenoort）編輯的《從弗雷格到哥德爾：數理邏輯的文獻選編，1879-1931》中。哈佛大學出版社。
比尼，邁克爾，1997年，《概念文字：選集（前言和第一部分）》在《弗雷格讀本》中。牛津市：布萊克韋爾。
參考資料 >