作者dharma (達)
看板W-Philosophy
標題[問題] 哲學系課程有一大堆數學符號邏輯?
時間Thu Aug 22 17:54:56 2019
策梅洛-弗蘭克爾集合論
https://tinyurl.com/y32sn3xa
像上面的網頁
有一大堆數學符號和邏輯
這種是台灣的哲學系在學的東西嗎?
thanks
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 211.72.78.253 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/W-Philosophy/M.1566467699.A.C04.html
1F:推 masteryi5566: 分析哲學使用得比較多 08/22 20:28
那麼我網址提到的東西
是屬於哪種分類?XX哲學
※ 編輯: dharma (211.72.78.253 臺灣), 08/24/2019 00:23:07
2F:推 t0444564: 分析哲學或邏輯哲學 08/24 17:33
3F:推 masteryi5566: 你連結那個就是數理邏輯四大論其中之一集合論啊,另 08/24 21:23
4F:→ masteryi5566: 外三個是模型論、證明論和遞迴論。 08/24 21:23
5F:→ masteryi5566: 不過是說ZFC也只是集合論其中一種而已,也有純ZF跟 08/24 21:25
6F:→ masteryi5566: 另外一種axiom of determinacy的集合論。 08/24 21:25
7F:推 vankhub: 選修或研究比較可能看到 08/27 01:52
8F:推 freeperson12: 敝校楊老師有開過基本集合論 09/08 17:50