《现代数学哲学教程从哥德尔到赫尔曼》简介.docxVIP

《现代数学哲学教程从哥德尔到赫尔曼》简介 如果您对数学哲学感兴趣，而且想具体知道什么是数学实在论，什么是数学唯名论，什么是数学虚构主义，什么是数学结构主义，甚至想更清楚地知道什么是数学的不可或缺性论证，什么是贝纳塞拉夫难题的话，那么本书就是您的有益助手。本书讲的是新的数学哲学形态逐渐形成的历史。哥德尔在完成不完全定理和连续统假设的相对协调性的证明以后，提出了自己的数学哲学思想。他持一种数学实在论的立场，认为人有知觉到数学实体的能力。对数学实在论的强力支撑是由奎因—普特南的不可或缺性论证完成的。帕森斯和麦蒂继续强化了哥德尔对数学直觉的论证。从历史上追溯的话，弗雷格既是数理逻辑的创始人，也是数学实在论的持有者。罗素尽管也是逻辑主义的代表人物，但哥德尔认为他的无类理论支持的是数学唯名论立场。也就是数学实在论与唯名论的争论从数理逻辑创立之初就开始了。在罗素之后，古德曼和奎因很早就提出了唯名论化技术。这个阶段数学实在论与唯名论尚未处于对抗阶段。真正的对抗是从贝纳塞拉夫难题开始的。他认为在数学真理和数学直觉间实在论和唯名论只能选择一个。贝纳塞拉夫持一种结构主义的观念，他是当代数学结构主义的先驱。数学结构主义的高峰发生在赫尔曼、雷斯尼克和夏皮罗身上。唯名论想要与实在论对抗，必须解决的问题是不可或缺性论证。这是由奎因和普特南提出的，也是由普特南反对的。普特南的论证使用的是集合的模型论技术。在普特南工作的基础上，菲尔德提出了他的数学虚构主义。赫尔曼在策梅洛和普特南工作的基础上，提出了他的数学结构主义。薄谋，1983年生，山西人，复旦大学哲学博士（数学哲学），南开大学数学博士后（数理逻辑），就职于兰州大学哲学系。目前发表专业论文6篇，出版教材1部，主持国家社科基金青年项目1项。专业方向是数学基础、认知科学。近期关注的话题是模态复数集合论、人工智能与数学真理、数学多元主义的认识论难题和集合论多宇宙观的认识论难题。