2,619
次編輯
「東大圖書《弗雷格》筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 30： | 行 30： | ||
弗雷格的系統引進謂詞「……是事實」，就是「⊢」（可以視為判斷符號）。「A」是句子 sentence，「--A」是內容，「|---A」是判斷。 | 弗雷格的系統引進謂詞「……是事實」，就是「⊢」（可以視為判斷符號）。「A」是句子 sentence，「--A」是內容，「|---A」是判斷。 | ||
亞里斯多德：概念->判斷->邏輯。弗雷格先引入判斷，直接進入對推理的研究。 | |||
「命題邏輯」->「一階邏輯」->現代邏輯系統 | |||
將判斷核心化，實際上把句子核心地位化。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||