「東大圖書《弗雷格》筆記」修訂間的差異

行 6: 行 6:


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