東大圖書《弗雷格》筆記

於 2024年4月30日 (二) 00:48 由 Tankianting討論 | 貢獻 所做的修訂 (建立內容為「{{Nav|程式語言、邏輯學}} 這是講述弗雷格哲學的簡介,弗雷格是語言哲學之父,奠基現代邏輯學,也是分析哲學的鼻祖。…」的新頁面)
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)

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

=第一章:概念文字

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

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