檢視東大圖書《弗雷格》筆記的原始碼

{{Nav|程式語言、邏輯學}}

{{isbn|9571918199}}

這是講述弗雷格哲學的簡介，弗雷格是語言哲學之父，奠基現代邏輯學，也是分析哲學的鼻祖。作者王路是漢語圈研究弗雷格的哲學家，來自中國。

==第一章：概念文字==
古代已經有符號化表示命題的方式（亞里斯多德），萊布尼茲也提出一個邏輯化的語言來表示人類思維的方法。弗雷格使用的概念文字，是一種結合數學文字和自然語言，卻又揚棄自然語言表達邏輯的不完美。可以說是形式邏輯的奠基者。

書中並未介紹其理念的表現形式（排版過於困難，可以參考：[[Translations from the Philosopical Writing of Gottlob Frege 筆記-概念文字 第一章]]），雖然從形式可以看出，作者想要表達的是現在的一階邏輯（謂詞邏輯），但作者提出9條一階邏輯的公理。


[[category:邏輯學]]
[[category:數學]]