赫尔曼的模态结构主义.pdfVIP

32 ， 5 Vol． 32 No． 5 第 卷 第 期 科学技术哲学研究 20 15 10 Studies in Philosophy of Science and Technology Oct． ，20 15 年 月 赫尔曼的模态结构主义 ， 刘 杰 孙曌莉 ( ， 030006) 山西大学科学技术哲学研究中心 太原 : ， ， 摘 要 以消除本体论预设为宗旨 赫尔曼提出了模态结构主义思想 并发展为数学结构主义中极富影响力的 。 ， 理论框架 模态结构主义强调避免对结构或位置进行逐个量化 而是将结构主义建立在某个域以及该域上满足由 。 ， 公理系统给出隐含定义条件之关系的二阶逻辑可能性上 但以二阶逻辑与初始模态事实为基础 导致其理论实际 ， 。 ， ， 建立在集合论之上 显然与结构主义初衷不符 此外 其对结构的模态中立主义态度 导致无法说明数学的可应用 ， 。 性 难以规避语义学难题 : ; ; 关键词 模态 数学基础 结构主义 中图分类号:N02 文献标识码:A 文章编号:1674 － 7062 (2015)05 － 0025 － 06 20 ， 、 ， ， 世纪以来 随着抽象代数 现代集合论以及 力 得到一批哲学家的拥护 尤其是赫尔曼 几何学的发展， (G． Hellman) 结构以及结构同一性问题在数学研 基于模态理论所提出的模态结构主 。 ， 究中愈发凸显出其不可取代的地位 在法国布尔巴 义已发展为系统的理论框架 成为当前结构主义中 ， “ 。 基学派的结构主义运动影响下 以 数学的本质是 极具影响力的解释之一 ” ， 结构 为基本主张的结构主义数学哲学逐渐兴起 一 模态结构主义的基本框架 。 并形成了详细的论证体系 但基于不同的本体论立 ， (eliminative) (Non elimina- (H． Put- 场 出现了消除 与非消除 模态结构主义的思想最初源于普特南 tive) 。 nam) “ ”(Mathematics 两大类结构主义解释框架 非消除结构主义 年的经典论文 没有基础的数学 (S． Shapiro )