作者:何建锋著 著
页数:247
出版社:中国社会科学出版社
出版日期:2024
ISBN:9787522737867
电子书格式:pdf/epub/txt
网盘下载地址:下载弗协调集合论模型研究
内容简介
本书使用文献研究法讨论了一个数理逻辑问题: 弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统, 并构造模型证明其非平凡性, 结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性, 在一定意义上拓展了其应用领域, 实现了洛韦和塔拉法德的猜想, 将广义代数值模型推广到弗协调集合论, 书稿也对集合论模型的构造技术作了一次较为充分的梳理, 为其它集合论模型的研究提供参考。
作者简介
何建锋,男,1987年生,河南登封人,2018年毕业于南开大学逻辑学专业,获哲学博士学位,现任中南财经政法大学哲学院讲师,主讲现代逻辑相关课程,参与国家社会科学基金重点项目1项,主持湖北省社会科学基金项目1项,主持校级科研项目3项,发表CSSCI论文3篇。
目录
前言
第一章 弗协调集合论概况
第一节 弗协调逻辑
第二节 弗协调集合论的典型系统
第三节 弗协调集合论的模型
本章小结
第三章 ZF的经典模型
节 预备知识
第二节 可构成模型
第三节 置换模型
第四节 力迫模型
本章小结
第三章 ZF的非经典模型
节 布尔值模型
第二节 广义代数值模型
第三节 拓扑斯
本章小结
第四章 弗协调集合论ZQST
节 弗协调命题逻辑系统Zn
第二节 弗协调一阶谓词逻辑系统ZQ
第三节 基于ZQ的弗协调集合论ZQST
第四节 ZQST中的序数和基数
本章小结
第五章 ZQST的模型
节 弗协调集合的构造方法
第二节 ZQST的拓扑模型的构造思路
第三节 ZQST的广义代数值模型
本章小结
结语
参考文献
第一章 弗协调集合论概况
第一节 弗协调逻辑
第二节 弗协调集合论的典型系统
第三节 弗协调集合论的模型
本章小结
第三章 ZF的经典模型
节 预备知识
第二节 可构成模型
第三节 置换模型
第四节 力迫模型
本章小结
第三章 ZF的非经典模型
节 布尔值模型
第二节 广义代数值模型
第三节 拓扑斯
本章小结
第四章 弗协调集合论ZQST
节 弗协调命题逻辑系统Zn
第二节 弗协调一阶谓词逻辑系统ZQ
第三节 基于ZQ的弗协调集合论ZQST
第四节 ZQST中的序数和基数
本章小结
第五章 ZQST的模型
节 弗协调集合的构造方法
第二节 ZQST的拓扑模型的构造思路
第三节 ZQST的广义代数值模型
本章小结
结语
参考文献