数学初始公理严格性的实在论辩护

作     者：刘伟伟 刘晓红 LIU Weiwei;LIU Xiaohong

作者机构：山西大学哲学学院山西太原030006 

出 版 物：《自然辩证法通讯》 (Journal of Dialectics of Nature)

年 卷 期：2024年第46卷第8期

页      面：25-33页

核心收录：

学科分类：01[哲学] 010101[哲学-马克思主义哲学] 0101[哲学-哲学] 07[理学] 0701[理学-数学] 070101[理学-基础数学] 

基　　金：教育部青年基金项目“诠释学视域下数学证明的构造机理研究”(项目编号:22YJC720008) 

主　　题：数学初始公理 实在论 严格性 可能世界语义学 诠释学 

摘      要：基于实在论的立场,数学概念所指称数学对象的实在性构成了数学初始公理严格性的前提和基础;数学初始公理的语义空间中蕴含着作为认识主体的数学家们对于具有实在性的数学对象之可能世界的一种真理性的认识论选择;可能世界语义学能够在方法论层面上为数学初始公理的严格性论证提供一种实在论的语义分析支撑;数学初始公理的生成是一种数学家们对于具有实在性的数学对象进行“理解-解释(心理)-解释(文本)这一整体思维机制的“诠释学方法论建构过程;数学公理系统所具有的以实在性的数学初始公理为起点的“诠释学循环之方法论建构特征,不仅体现了数学公理系统在认识论层面上的稳固性,而且还使得数学初始公理的严格性得到了进一步的彰显与确证。