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

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