10.3969/j.issn.1674-8425(s).2013.03.003
数学存在的语言建构——结构主义的研究范式
伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉.结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义.集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向.
集合论结构主义、模态结构主义、范畴论结构主义
27
B81(逻辑学(论理学))
中国社会科学院青年科研启动基金项目"柏拉图后期数学哲学研究"
2013-08-12(万方平台首次上网日期,不代表论文的发表时间)
共6页
9-14