潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

弗协调集合论模型研究/何建锋著

出版发行项:

北京:中国社会科学出版社,2024

ISBN及定价:

978-7-5227-3786-7/CNY98.00

载体形态项:

247页;24cm

并列正题名:

Study of paraconsistent set theory model

丛编项:

中南财经政法大学青年学术文库

个人责任者:

何建锋, 1987- 著

学科主题:

数理逻辑-研究

中图法分类号:

O141

出版发行附注:

中南财经政法大学出版基金资助出版

责任者附注:

何建锋, 男, 1987年生, 河南登封人, 2018年毕业于南开大学逻辑学专业, 获哲学博士学位, 现任中南财经政法大学哲学院讲师, 主讲现代逻辑相关课程。参与国家社会科学基金重点项目1项, 主持湖北省社会科学基金项目1项, 主持校级科研项目3项, 发表CSSCI论文若干篇。

书目附注:

有书目 (第242-247页)

提要文摘附注:

本书使用文献研究法讨论了一个数理逻辑问题: 弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统, 并构造模型证明其非平凡性, 结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性, 在一定意义上拓展了其应用领域, 实现了洛韦和塔拉法德的猜想, 将广义代数值模型推广到弗协调集合论, 本书也对集合论模型的构造技术作了一次较为充分的梳理, 为其它集合论模型的研究提供参考。

豆瓣简介：