2,619
次編輯
「東大圖書《弗雷格》筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 5： | 行 5： | ||
這是講述弗雷格哲學的簡介，弗雷格是語言哲學之父，奠基現代邏輯學，也是分析哲學的鼻祖。作者王路是漢語圈研究弗雷格的哲學家，來自中國。 | 這是講述弗雷格哲學的簡介，弗雷格是語言哲學之父，奠基現代邏輯學，也是分析哲學的鼻祖。作者王路是漢語圈研究弗雷格的哲學家，來自中國。 | ||
== | ==第一章：生平簡介== | ||
==第二章：概念文字== | |||
古代已經有符號化表示命題的方式（亞里斯多德），萊布尼茲也提出一個邏輯化的語言來表示人類思維的方法。弗雷格使用的概念文字，是一種結合數學文字和自然語言，卻又揚棄自然語言表達邏輯的不完美。可以說是形式邏輯的奠基者。 | 古代已經有符號化表示命題的方式（亞里斯多德），萊布尼茲也提出一個邏輯化的語言來表示人類思維的方法。弗雷格使用的概念文字，是一種結合數學文字和自然語言，卻又揚棄自然語言表達邏輯的不完美。可以說是形式邏輯的奠基者。 | ||
| 行 64： | 行 65： | ||
因為使用形式語言和數學方法，所以促使邏輯從哲學獨立，現今邏輯學應用於哲學、工程學、語言學等等。 | 因為使用形式語言和數學方法，所以促使邏輯從哲學獨立，現今邏輯學應用於哲學、工程學、語言學等等。 | ||
==第三章：算數基礎== | |||
弗雷格的心願是從邏輯推衍到數學（雖然因為羅素悖論打敗了），就是所謂的邏輯主義（關於這種數學推演的派別，可以見「同構：編程中的數學」的最後一章「悖論」）。系列著作： | |||
# 概念文字 | |||
# 算數基礎 | |||
# 算數的基本規律 vol.1,2 | |||
算數基礎：探討什麼是數，試圖用邏輯定義0,1和後繼（如(S n)的 S）。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||