机读格式显示(MARC)

• 000 01562nam 2200289 450

• 001 0000801348

• 005 20250701173400.0

• 010 __ |a 978-7-208-18805-1 |d CNY96.00

• 100 __ |a 20240428d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 抽象主义集合论 |A chou xiang zhu yi ji he lun |h 下卷 |i 从怀特到林内波 |f 薄谋著

• 210 __ |a 上海 |c 上海人民出版社 |d 2024

• 215 __ |a 456页 |d 23cm

• 300 __ |a 本书为国家社会科学基金一般项目“算术与集合的实在论解释”(22BZX128) 的阶段性成果

• 312 __ |a 封面英文题名：Abstractionist set theory: Ⅱ: From Wright to Linnebo

• 314 __ |a 薄谋，1983年生，山西大同人，复旦大学哲学博士 (数学哲学)，南开大学数学博士后 (数理逻辑)。目前任职于兰州大学哲学社会学院，担任兰州大学哲学系副教授，硕士生导师。研究方向为数学基础、认知科学等。

• 330 __ |a 本书所反映的内容是数理逻辑与数学哲学相结合的典范。前者是数学家们研究的对象，后者是哲学家们研究的对象。数理逻辑分为集合论、证明论、递归论和模型论。数学哲学在古典时期分为逻辑主义、直觉主义和形式主义，在当代分为虚构主义、结构主义、自然主义和多元主义。我们选取的是逻辑主义及其在当代的复活。如果说上卷讲的是集合论哲学，那么下卷讲的是模型论哲学。换句话说，上卷从集合论的视角去研究逻辑主义，下卷从模型论的视角去研究逻辑主义。

• 510 1_ |a Abstractionist set theory |h Ⅱ |i From Wright to Linnebo |z eng

• 517 1_ |a 从怀特到林内波 |A cong huai te dao lin nei bo

• 606 0_ |a 数学哲学 |A Shu Xue Zhe Xue

• 690 __ |a O1-0 |v 5

• 701 _0 |a 薄谋 |A bao mou |f (1983-) |4 著

• 801 _0 |a CN |b LIB |c 20250701

• 905 __ |a LIB |d O1-0/74:2