-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
抽象主义集合论(下卷):从怀特到林内波 版权信息
- ISBN:9787208188051
- 条形码:9787208188051 ; 978-7-208-18805-1
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 所属分类:>>
抽象主义集合论(下卷):从怀特到林内波 内容简介
本书(上下卷)所反映的内容是数理逻辑与数学哲学相结合的典范。前者是数学家们研究的对象,后者是哲学家们研究的对象。数理逻辑分为集合论、证明论、递归论和模型论。数学哲学在古典时期分为逻辑主义、直觉主义和形式主义,在当代分为虚构主义、结构主义、自然主义和多元主义。我们选取的是逻辑主义及其在当代的复活。如果说上卷讲的是集合论哲学,那么下卷讲的是模型论哲学。换句话说,上卷从集合论的视角去研究逻辑主义,下卷从模型论的视角去研究逻辑主义。我们依次描述的是休谟原则、恺撒问题、良莠不齐和抽象原则。抽象原则又分为静态抽象和动态抽象。这些都是新逻辑主义者所面临的重大问题。只有成功地解决了这些难题,新逻辑主义才是一种好的数学哲学形态。
抽象主义集合论(下卷):从怀特到林内波 目录
**节赫克的有限休谟原则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
附录B:任性克里普克模型、外延限定性与完备性450
抽象主义集合论(下卷):从怀特到林内波 作者简介
1983年生,山西大同人,复旦大学哲学博士(数学哲学),南开大学数学博士后(数理逻辑)。目前任职于兰州大学哲学社会学院,担任兰州大学哲学系副教授,硕士生导师。研究方向为数学基础、认知科学等。发表专业论文 10 余篇,出版《现代数学哲学教程》(第一册)和《抽象主义集合论》(上卷)专业书籍 2 部,主持国家社科基金项目 2 个,主持校级项目 3 个。开设数理逻辑、模态逻辑、人工智能和数学哲学等课程。目前担任中国逻辑学会理事、中国数学会数理逻辑专业委员会委员和中国自然辩证法研究会数学哲学专业委员会理事等。
- >
我从未如此眷恋人间
我从未如此眷恋人间
¥24.9¥49.8 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0 - >
有舍有得是人生
有舍有得是人生
¥14.4¥45.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥25.4¥49.8 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥17.4¥58.0