[问题] 哲学系课程有一大堆数学符号逻辑?

楼主: 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