2,708
次編輯
「The Code of Mathematics筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 128： | 行 128： | ||
可能世界理論。 | 可能世界理論。 | ||
[p.26] | |||
康德用judgement(判斷)形容真實性有待探究的陳述 | |||
先驗judgement（獨立於經驗的必然與有效的判斷） vs 後驗 judgement（透過經驗知識的經驗判斷），二者回到亞里斯多德的二元論 -> proteron 之前的(condition)和hysteron之後的(conditioned) | |||
數學公理(math axiom)是先驗判斷最好的例子 | |||
Kant 區分分析判斷(analytical judgement)和合成判斷（synthetic judgement） | |||
分析判斷：一種解釋判斷，自定義推斷出來 | |||
合成判斷：延伸判斷：只能透過進一步的理由解釋 | |||
分析判斷例：晚上天暗（因為定義：除非有光源，否則是黑暗的） | |||
康德聲稱數學為合成判斷，不能做其他的事物衍生出來（先驗分析->理性判斷；後驗的合成判斷->事實判斷） | |||
先驗合成：數學 | |||
數學5+7=12是否為合成的->誕生出邏輯主義。 | |||
先驗：獨立於經驗 | |||
後驗：依賴於經驗 | |||
弗雷格的truth sense and meaning（語義學領域） | |||
A=A是先驗的分析statement（在康德的定義） | |||