作者dharma (达)
看板W-Philosophy
标题[问题] 哲学系课程有一大堆数学符号逻辑?
时间Thu Aug 22 17:54:56 2019
策梅洛-弗兰克尔集合论
https://tinyurl.com/y32sn3xa
像上面的网页
有一大堆数学符号和逻辑
这种是台湾的哲学系在学的东西吗?
thanks
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 211.72.78.253 (台湾)
※ 文章网址: https://webptt.com/cn.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