抽象主义集合论：从怀特到林内波（下卷）

作　者：	薄谋
出版社：	上海人民出版社
丛编项：
版权说明：	本书为出版图书，暂不支持在线阅读，请支持正版图书
标　签：	暂缺

ISBN	出版时间	包装	开本	页数	字数
未知	暂无	暂无	未知	0	暂无

作者简介

　　1983年生，山西大同人，复旦大学哲学博士（数学哲学），南开大学数学博士后（数理逻辑）。目前任职于兰州大学哲学社会学院，担任兰州大学哲学系副教授，硕士生导师。研究方向为数学基础、认知科学等。发表专业论文 10 余篇，出版《现代数学哲学教程》（第一册）和《抽象主义集合论》（上卷）专业书籍 2 部，主持国家社科基金项目 2 个，主持校级项目 3 个。开设数理逻辑、模态逻辑、人工智能和数学哲学等课程。目前担任中国逻辑学会理事、中国数学会数理逻辑专业委员会委员和中国自然辩证法研究会数学哲学专业委员会理事等。

内容简介

本书是一部数学哲学领域的学术专著。《抽象主义集合论》分为上下两卷，所要呈现的是数理逻辑与数学哲学相结合的样态。前者是数学家们研究的对象，后者是哲学家们研究的对象。《抽象主义集合论（上卷）：从布劳斯到斯塔德》研究的是集合论哲学，《抽象主义集合论（下卷）：从怀特到林内波》研究的是模型论哲学。上卷从集合论的视角去研究逻辑主义，下卷从模型论的视角去研究逻辑主义。本书接续了上卷对于抽象主义集合论的研究，阐释并讨论了新逻辑主义发展历程中的关键人物所作出的贡献。全书共分五章，围绕着“休谟原则”“凯撒问题”“良莠不齐问题”“静态抽象”“动态抽象”等新逻辑主义领域内的重要问题展开分析。本书介绍了新逻辑主义者如何解决这些重要的难题，使新逻辑主义成为一种好的数学哲学形态。

图书目录

序1

引言1

第一章休谟原则6

第一节赫克的有限休谟原则6

第二节麦克布莱德对赫克有限休谟原则的反驳35

第三节曼科苏关于休谟原则的好伙伴异议46

第四节在非标准分析下判定休谟原则的分析性93

第二章恺撒问题112

第一节限制性恺撒问题及其解决方案112

第二节外延恺撒与值域恺撒133

第三节恺撒问题家族152

第四节对黑尔—怀特的恺撒问题解决方案的重构166

第三章良莠不齐182

第一节良莠不齐问题182

第二节广义良莠不齐问题191

第三节高阶休谟原则与连续统假设210

第四节良基过程个体化作为良莠不齐问题的解决方案235

第四章静态抽象260

第一节可接受抽象标准间的逻辑关系260

第二节作为抽象原则标准的严格逻辑对称类保守性269

第三节赫克与可接受抽象原则标准分类293

第四节不变性抽象原则309

第五章动态抽象336

第一节集合的潜在论累积层级336

第二节集合概念不定可扩充性的语言模型367

第三节动态抽象原则描述391

第四节基于不定可扩充性的替代论证425

附录A：限定性原则的证明448