東大圖書《弗雷格》筆記
於 2024年4月30日 (二) 00:48 由 Tankianting(討論 | 貢獻) 所做的修訂 (建立內容為「{{Nav|程式語言、邏輯學}} 這是講述弗雷格哲學的簡介,弗雷格是語言哲學之父,奠基現代邏輯學,也是分析哲學的鼻祖。…」的新頁面)
這是講述弗雷格哲學的簡介,弗雷格是語言哲學之父,奠基現代邏輯學,也是分析哲學的鼻祖。作者王路是漢語圈研究弗雷格的哲學家,來自中國。
=第一章:概念文字
古代已經有符號化表示命題的方式(亞里斯多德),萊布尼茲也提出一個邏輯化的語言來表示人類思維的方法。弗雷格使用的概念文字,是一種結合數學文字和自然語言,卻又揚棄自然語言表達邏輯的不完美。可以說是形式邏輯的奠基者。
書中並未介紹其理念的表現形式(排版過於困難,可以參考:Translations from the Philosopical Writing of Gottlob Frege 筆記-概念文字 第一章),雖然從形式可以看出,作者想要表達的是現在的一階邏輯(謂詞邏輯),但作者提出9條一階邏輯的公理。