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