山西省高等学校哲学社会科学研究项目(2013301)
- 作品数：2 被引量：2H指数：1
- 相关作者：刘杰孔祥雯更多>>
- 相关机构：山西大学更多>>
- 发文基金：山西省高等学校哲学社会科学研究项目教育部人文社会科学重点研究基地度重大研究项目国家社会科学基金更多>>
- 相关领域：理学自然科学总论更多>>
- 赫尔曼的模态结构主义被引量：1
- 2015年
- 以消除本体论预设为宗旨,赫尔曼提出了模态结构主义思想,并发展为数学结构主义中极富影响力的理论框架。模态结构主义强调避免对结构或位置进行逐个量化,而是将结构主义建立在某个域以及该域上满足由公理系统给出隐含定义条件之关系的二阶逻辑可能性上。但以二阶逻辑与初始模态事实为基础,导致其理论实际建立在集合论之上,显然与结构主义初衷不符。此外,其对结构的模态中立主义态度,导致无法说明数学的可应用性,难以规避语义学难题。
- 刘杰孙曌莉
- 关键词：模态数学基础结构主义
- 作为数学基础的范畴论被引量：1
- 2014年
- 数学结构主义的兴起,为数学基础这一传统问题注入了新的活力。尤其是范畴论能否取代集合论在数学基础问题中的统治地位,已成为数学基础问题研究的主要争论之一。文章以范畴论为基本立场,首先分析集合论基础所面临的困境,系统阐述范畴结构主义的基本内容,最后通过模态结构主义与范畴结构主义之间的论争,为作为数学基础的范畴论做辩护。
- 刘杰孔祥雯
- 关键词：范畴论数学基础结构主义
