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

東大圖書《弗雷格》筆記 (檢視原始碼)

增加 442 位元組、 2024年5月8日 (星期三)

2,619

次編輯

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