中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

抽象主义集合论.上卷.从布劳斯到斯塔德/薄谋著

出版发行项:

上海:上海人民出版社,2021

ISBN及定价:

978-7-208-17328-6/CNY110.00

载体形态项:

581页;23cm

并列正题名:

Abstractionist set theory.Ⅰ.From boolos to studd

个人责任者:

薄谋, 1983- 著

学科主题:

数学哲学

中图法分类号:

O1-0

相关题名附注:

封面题英文并列题名：Abstractionist set theoryⅠ: From boolos to studd

责任者附注:

薄谋(1983-)，复日大学哲学硕士、博士 (数学哲学)，南开大学数学博士后 (数理逻辑)。任职于兰州大学哲学系，专业方向为数学基础、认知科学等。

书目附注:

有书目 (第577-581页)

提要文摘附注:

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

豆瓣简介：