中图网

>

哲学

>

哲学理论

抽象主义集合论(上卷):从布劳斯到斯塔德

作者：薄谋著

出版社：上海人民出版社出版时间：2021-10-01

开本： 16开 页数： 581

本类榜单：哲学/宗教销量榜

中图价:¥68.2(6.2折) 定价 ~~¥110.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
传习录

传习录

¥12.6¥55
>
无障碍阅读典藏版:庄子全书

无障碍阅读典藏版:庄子全书

¥32.7¥99
>
素书

素书

¥16.7¥38.8
>
孔子的世界——儒家文化的世界价值

孔子的世界——儒家文化的世界价值

¥57.8¥98
>
王阳明全集(全四册)

王阳明全集(全四册)

¥95.8¥228
>
生活与忆念

生活与忆念

¥28.4¥48
>
名家小全集(4册)

名家小全集(4册)

¥100.6¥272

商品详情
商品评论(0条)

中图价:¥68.2 加入购物车

版权信息
内容简介
目录
作者简介

抽象主义集合论(上卷):从布劳斯到斯塔德版权信息

ISBN：9787208173286
条形码：9787208173286 ; 978-7-208-17328-6
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
哲学/宗教
>
哲学
>
哲学理论

抽象主义集合论(上卷):从布劳斯到斯塔德内容简介

本书论述了数学基础三大主义的热潮退去后的数学哲学领域的变化和进展。哥德尔在完成不接近定理和连续统假设的相对协调性的证明以后，提出了自己的数学哲学思想。他持一种数学实在论的思潮，认为人有知觉到数学实体的能力。对数学实在论的强力支撑是有奎因-普特南的不可或缺性论证完成的。当然，帕森斯和麦蒂继续强化了哥德尔对数学直觉的论证。从历目前追溯的话，弗雷格既是数理逻辑的创始人，也是数学实在论的持有者。罗素尽管也是逻辑主义的代表人物，但哥德尔认为他的无类理论支持的是数学唯名论立场。也就是数学实在论与唯名论的争论从数理逻辑创立之初就开始了。在罗素之后，古德曼和奎因很早就提出了唯名论化技术。这个阶段数学实在论与唯名论尚未处于对抗阶段。真正的对抗是从贝纳塞拉夫难题开始的。他认为在数学真和数学直觉间实在论和唯名论只能选择一个。贝纳塞拉夫持一种结构主义的观念，他是当代数学结构主义的先驱。

抽象主义集合论(上卷):从布劳斯到斯塔德目录

引言

**章高阶集合论

**节高阶集合论的模型、可能模型与标准模型

第二节层次理论下的集合论

第三节克雷泽尔原则、反射原则与强无穷公理

第四节对集合论真性的结构主义描述

第五节二阶策梅洛集合论变体模型

第六节范畴性、迭代与大小限制

第二章集合迭代

**节用阶段理论描述集合迭代概念

第二节两个典型的集合概念

第三节编码集合迭代概念的更新第五基本定律

第四节基于双模态的集合迭代概念公理化

第三章新逻辑主义实分析

**节新弗雷格主义实数抽象原则

第二节基于黑尔的对膨胀抽象原则的分析

第三节从结构主义出发对实分析的新逻辑主义处理

第四节作为抽象主义实分析基础的弗雷格约束

第四章新逻辑主义集合论

**节启蒙版本第五基本定律模型

第二节关于新第五基本定律的哲学争论与数学推进

第三节新逻辑主义者无法构建数学的认识无罪性

第四节探寻作为新弗雷格主义集合论基础的抽象原则

第五节坏性作为不定可扩充性的抽象主义集合论

第六节抽象原则、认识无罪与富有窘境异议

第七节良基和非良基弗雷格主义扩充

第八节弗雷格会面策梅洛：对不可言喻性和反射的看法

参考文献

展开全部

抽象主义集合论(上卷):从布劳斯到斯塔德作者简介

薄谋，1983年生，山西人，复旦大学哲学博士（数学哲学），南开大学数学博士后（数理逻辑）。任职于兰州大学哲学系，专业方向为数学基础、认知科学等。发表专业论文10篇，出版教材1部，承担国家社科基金青年项目1项，承担校级项目3项，参与教育部青年项目1项。为本科生开设数学基础、数理逻辑、模态逻辑和人工智能4门课程，为研究生开设数学哲学等课程。担任中国数学会数理逻辑专业委员会理事，中国逻辑学会理事。担任《逻辑学研究》审稿人，《科学经济社会》责任编辑。

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐