[問題] 哲學系課程有一大堆數學符號邏輯?

作者: dharma (達)   2019-08-22 17:54:56
策梅洛-弗蘭克爾集合論
https://tinyurl.com/y32sn3xa
像上面的網頁
有一大堆數學符號和邏輯
這種是台灣的哲學系在學的東西嗎?
thanks
作者: masteryi5566 (漢默丁格5566)   2019-08-22 20:28:00
分析哲學使用得比較多
作者: t0444564 (艾利歐)   2019-08-24 17:33:00
分析哲學或邏輯哲學
作者: masteryi5566 (漢默丁格5566)   2019-08-24 21:23:00
你連結那個就是數理邏輯四大論其中之一集合論啊,另外三個是模型論、證明論和遞迴論。不過是說ZFC也只是集合論其中一種而已,也有純ZF跟另外一種axiom of determinacy的集合論。
作者: vankhub (尊爵不凡)   2019-08-27 01:52:00
選修或研究比較可能看到
作者: freeperson12 (小窩)   2019-09-08 17:50:00
敝校楊老師有開過基本集合論

Links booklink

Contact Us: admin [ a t ] ucptt.com