[
-
内容大纲
本书使用文献研究法讨论了一个数理逻辑问题：弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统，并构造模型证明其非平凡性，结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性，在一定意义上拓展了其应用领域，实现了洛韦和塔拉法德的猜想，将广义代数值模型推广到弗协调集合论，书稿也对集合论模型的构造技术作了一次较为充分的梳理，为其它集合论模型的研究提供参考。 -
作者介绍
何建锋，男，1987年生，河南登封人，2018年毕业于南开大学逻辑学专业，获哲学博士学位，现任中南财经政法大学哲学院讲师，主讲现代逻辑相关课程。参与国家社会科学基金重点项目1项，主持湖北省社会科学基金项目1项，主持校级科研项目3项，发表CSSCI论文若干篇。 -
目录
前言
第一章 弗协调集合论概况
第一节 弗协调逻辑
第二节 弗协调集合论的典型系统
第三节 弗协调集合论的模型
本章小结
第三章 ZF的经典模型
第一节 预备知识
第二节 可构成模型
第三节 置换模型
第四节 力迫模型
本章小结
第三章 ZF的非经典模型
第一节 布尔值模型
第二节 广义代数值模型
第三节 拓扑斯
本章小结
第四章 弗协调集合论ZQST
第一节 弗协调命题逻辑系统Zn
第二节 弗协调一阶谓词逻辑系统ZQ
第三节 基于ZQ的弗协调集合论ZQST
第四节 ZQST中的序数和基数
本章小结
第五章 ZQST的模型
第一节 弗协调集合的构造方法
第二节 ZQST的拓扑模型的构造思路
第三节 ZQST的广义代数值模型
本章小结
结语
参考文献
同类热销排行榜
- 知行合一王阳明(1472-1529)14.4
- 八万四千问18
- 知行合一王阳明(3王阳明家训)14.4
- 梦的解析15.92
- 我心温柔自有力量15.2
- 自控力(斯坦福大学最受欢迎心理学课程纪念版)(精)19.92
- 幸福爱(从新手到高手的爱情修习课)15.92
- 传习录(明隆庆六年初刻版全译全注)14.4
- 菜根谭/中华经典藏书7.6
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔，龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年，恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...