勵志

勵志人生知識庫

概念文字

概念文字》(Begriffsschrift)是德國數學家、哲學家、邏輯學家戈特洛布·弗雷格於1879年出版的著作,這是他在邏輯學領域寫的第一本書,也標誌著現代邏輯的開始。

弗雷格在這本書中定義了邏輯演算,以支持他在數學基礎上的研究。這本書和其中定義的演算都被命名為「概念文字」,旨在作為一種模仿算術語言構造的純思維的形式語言。弗雷格構造概念文字的目的是證明邏輯包括了算術和所有可劃歸為算術的數學分支,體現了邏輯主義的思想。

弗雷格認為,語言不受邏輯規律的支配,遵守語法不能保證思維活動形式的正確性。為了構造演繹體系,必須重新構造一種語言。他在構造概念文字的過程中,借鑑了傳統邏輯的自然語言和算術的形式語言,用表示邏輯關係的符號補充數學的形式語言,最終創造出了概念文字。

《概念文字》的發表奠定了現代數理邏輯和形式語言哲學的基礎,對後來的邏輯學家和分析哲學家產生了深遠的影響。