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

[dharma (達)]

策梅洛-弗蘭克爾集合論
https://tinyurl.com/y32sn3xa



像上面的網頁

有一大堆數學符號和邏輯


這種是台灣的哲學系在學的東西嗎？

thanks

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 211.72.78.253 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/W-Philosophy/M.1566467699.A.C04.html
推 masteryi5566: 分析哲學使用得比較多
那麼我網址提到的東西

是屬於哪種分類？XX哲學
※ 編輯: dharma (211.72.78.253 臺灣), 08/24/2019 00:23:07
推 t0444564: 分析哲學或邏輯哲學
推 masteryi5566: 你連結那個就是數理邏輯四大論其中之一集合論啊，另
→ masteryi5566: 外三個是模型論、證明論和遞迴論。
→ masteryi5566: 不過是說ZFC也只是集合論其中一種而已，也有純ZF跟
→ masteryi5566: 另外一種axiom of determinacy的集合論。
推 vankhub: 選修或研究比較可能看到
推 freeperson12: 敝校楊老師有開過基本集合論