HEA|  |03139nam0 2200277   450 
001|  |012016012742
005|  |20220624141756.2
010|  |□a978-7-208-17328-6□dCNY110.00
100|  |□a20220624d2021    em y0chiy0120    ea
101|0 |□achi
102|  |□aCN□b310000
105|  |□aak  az  000yy
106|  |□ar
200|1 |□a抽象主义集合论□9chou xiang zhu yi j-
   |  |i he lun□h上卷□i从布劳斯到斯塔德□b专著□f薄谋著
210|  |□a上海□c上海人民出版社□d2021
215|  |□a581页□d23cm
314|  |□a封面英文题名:Abstractionist set th-
   |  |eory i : form boolos to studd
314|  |□a薄谋,1983年生,山西人,复旦大学哲学博士(数学哲学)-
   |  |,南开大学数学博士后(数理逻辑)。任职于兰州大学哲学系,专业-
   |  |方向为数学基础、认知科学等。发表专业论文10篇,出版教材1部-
   |  |,承担国家社科基金青年项目1项,承担校级项目3项,参与教育部-
   |  |青年项目1项。为本科生开设数学基础、数理逻辑、模态逻辑和人工-
   |  |智能4门课程,为研究生开设数学哲学等课程。担任中国数学会数理-
   |  |逻辑专业委员会理事,中国逻辑学会理事。担任《逻辑学研究》审稿-
   |  |人,《科学经济社会》责任编辑。
320|  |□a有书目(第577-581页)
330|  |□a在哥德尔的工作之后,数学基础三大主义的热潮相继退去。逻辑-
   |  |主义、直觉主义与有限主义逐渐淡出人们的视线。随着人们对数学真-
   |  |理与数学认知的关注,在数学实在论与反实在论对抗的大背景下,数-
   |  |学基础三大主义相继复活。怀特的《弗雷格的对象数概念》标志着逻-
   |  |辑主义的复活,而德特勒夫森的《希尔伯特纲领》标志着有限主义的-
   |  |复活,达米特的《直觉主义逻辑》也使直觉主义焕发了新的生命。与-
   |  |此同时,新的数学哲学形态应运而生。这里主要有菲尔德的虚构主义-
   |  |、赫尔曼等人的结构主义和麦蒂等人的自然主义。在整个数学基础中-
   |  |,作者尤为关注集合论的发展。不管是它的前沿技术问题,还是它的-
   |  |基础哲学问题。集合论公理确定以后,我们需要为集合论公理提供辩-
   |  |护。这就需要对集合概念进行考察。目前两个主要的集合概念是迭代-
   |  |概念与大小限制概念。我们使用阶段理论表示迭代概念。阶段理论涉-
   |  |及很多哲学观念,这里有模态观念与时态观念。刚开始这些都是隐含-
   |  |在阶段理论里边的,事情在林内波与斯塔德这里发生转机。他们不仅-
   |  |从潜在论的角度理解集合的累计分层,而且形式化这些观念。林内波-
   |  |的贡献在于复数逻辑与模态逻辑的有机结合。斯塔德的贡献在于引入-
   |  |时态逻辑且提出双模态阶段理论。他们的工作不仅推进了对集合的理-
   |  |解,而且他们从动态抽象出发去理解各种抽象原则的可接受标准。本-
   |  |书从数学与哲学两个维度分析这些现象。
510|1 |□aAbstractionist set theory i -
   |  |: form boolos to studd□zeng
606|0 |□a数学哲学
690|  |□aO1-0□v5
701| 0|□a薄谋□9bao mou□f(1983-)□4著
801| 2|□aCN□b58marc.cn□c20211211
801| 2|□aCN□bQXLIB□c20220624