- 题名/责任者:
- 抽象主义集合论.下卷.从怀特到林内波/薄谋著
- 出版发行项:
- 上海:上海人民出版社,2024
- ISBN及定价:
- 978-7-208-18805-1/CNY96.00
- 载体形态项:
- 456页;23cm
- 并列正题名:
- Abstractionist set theory.Ⅱ.From Wright to Linnebo
- 其它题名:
- 从怀特到林内波
- 个人责任者:
- 薄谋 (1983-) 著
- 学科主题:
- 数学哲学
- 中图法分类号:
- O1-0
- 一般附注:
- 本书为国家社会科学基金一般项目“算术与集合的实在论解释”(22BZX128) 的阶段性成果
- 相关题名附注:
- 封面英文题名:Abstractionist set theory: Ⅱ: From Wright to Linnebo
- 责任者附注:
- 薄谋,1983年生,山西大同人,复旦大学哲学博士 (数学哲学),南开大学数学博士后 (数理逻辑)。目前任职于兰州大学哲学社会学院,担任兰州大学哲学系副教授,硕士生导师。研究方向为数学基础、认知科学等。
- 提要文摘附注:
- 本书所反映的内容是数理逻辑与数学哲学相结合的典范。前者是数学家们研究的对象,后者是哲学家们研究的对象。数理逻辑分为集合论、证明论、递归论和模型论。数学哲学在古典时期分为逻辑主义、直觉主义和形式主义,在当代分为虚构主义、结构主义、自然主义和多元主义。我们选取的是逻辑主义及其在当代的复活。如果说上卷讲的是集合论哲学,那么下卷讲的是模型论哲学。换句话说,上卷从集合论的视角去研究逻辑主义,下卷从模型论的视角去研究逻辑主义。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
O1-0/74:2 | S4021300 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 | |
O1-0/74:2 | S4021301 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 |
显示全部馆藏信息