2,619
次編輯
「東大圖書《弗雷格》筆記」修訂間的差異
→第一章：概念文字
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 35： | 行 35： | ||
「命題邏輯」->「一階邏輯」->現代邏輯系統 | 「命題邏輯」->「一階邏輯」->現代邏輯系統 | ||
將判斷核心化，實際上把句子核心地位化，對哲學產生深刻影響。 | |||
引入函數和變數（自變元）的概念，從數學而來。 | |||
亞里斯多德：單稱命題（如：蘇格拉底是人）、普遍命題（分成全稱命題和特稱命題） | |||
其中單稱命題在邏輯上的推論缺陷，在概念文字得到解決。 | |||
二元關係（可以視為二元謂詞，離散數學應該會提到），「|----R(x, y)」放在現在數學，可以表示為：「x R y」。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||