概念文字

概念文字

概念文字是1879年出版的 戈特洛布·弗雷格 寫的關於邏輯學的一本書。書名 Begriffsschrift 通常翻譯成 Concept Writing 或 Concept Notation;書的完整標題把它標識為"模仿算術的純思維的形式語言"。

基本介紹


這本小書無可爭議是亞里士多德之後在邏輯學領域最重要的出版物。弗雷格開發他的形式邏輯系統的動機是類似於萊布尼茲對演算推論器的渴望。
弗雷格定義了邏輯演算來支持他在數學基礎上的研究。概念文字是書和其中定義的演算二者的名字。