首页|基于哲学逻辑的集合论研究

基于哲学逻辑的集合论研究

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
  • 维普
20世纪60年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮.在这一时期,诞生了模态集合论、弗协调集合论、直觉主义集合论等一些基于哲学逻辑的集合理论.模态逻辑是在经典逻辑的基础上增加模态算子形成的一种二阶逻辑,因此,它是一种比经典逻辑强的逻辑.模态集合论相对于公理化集合论是一种加强了基础逻辑的公理化集合论.与ZF公理化集合论用公理限制集合的方法不同,弗协调集合论也是一种改变了集合论的基础逻辑,选择了可以容纳或处理矛盾的弗协调逻辑,这样即使集合论中出现矛盾也不会使整个理论陷入不足道的困境.由于在直觉主义逻辑中排中律不成立,所以直觉主义逻辑是一种比经典逻辑弱的逻辑.直觉主义集合论相对于ZF公理化集合论是一种减弱了基础逻辑的公理化集合论.

李娜

展开 >

南开大学哲学院,天津300350

哲学逻辑 集合论 模态集合论 弗协调集合论 直觉主义集合论

国家社科基金重点项目

16AZD036

2017

10.3785/j.issn.1008-942X.CN33-6000/C.2016.04.261

浙江大学学报(人文社会科学版)
浙江大学

浙江大学学报(人文社会科学版)

CSTPCDCSSCICHSSCD北大核心
影响因子：1.431
ISSN：1008-942X
年,卷(期)：2017.47(1)
  • 1