浙江大学学报(人文社会科学版)
 
   2025年5月22日 星期四   首页 |  期刊介绍 |  编委会 |  投稿指南 |  信息服务 |  期刊订阅 |  联系我们 |  预印本过刊 |  浙江省高校学报研究会栏目 |  留言板 |  English Version
浙江大学学报(人文社会科学版)
栏目 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于哲学逻辑的集合论研究
李娜
Li Na

全文: PDF (1475 KB)   RICH HTML
输出: BibTeX | EndNote (RIS)      
摘要 

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

服务
把本文推荐给朋友
加入我的书架
加入引用管理器
E-mail Alert
RSS
作者相关文章
李娜
关键词 哲学逻辑集合论模态集合论弗协调集合论直觉主义集合论    
    
引用本文:   
李娜. 基于哲学逻辑的集合论研究[J]. 浙江大学学报(人文社会科学版), 2017, 3(1): 214-. Li Na. . JOURNAL OF ZHEJIANG UNIVERSITY, 2017, 3(1): 214-.
链接本文:  
https://www.zjujournals.com/soc/CN/     或     https://www.zjujournals.com/soc/CN/Y2017/V3/I1/214
发表一流的成果,传播一流的发现,提供一流的新知

浙ICP备14002560号-5
版权所有 © 2009 浙江大学学报(人文社会科学版)    浙ICP备05074421号
地址:杭州市天目山路148号 邮编:310028 电话:0571-88273210 88925616 E-mail:zdxb_w@zju.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn