论数学真理困境及其实在论出路.pdf

Shanxi University’s PhD Dissertationfor Degree，2009 Truth atical aofMathem OntheDilemm andIts Name LIUJie Guichun ProfessorGUO Supervisor and ofScience Major Philosophy Technology FieldofResearch ofScience Philosophy for of ResearchCenter Department Philosophy and Science Technology ResearchDuration September，2003一June，2009 June，2009 万方数据 摘要 随着数学真理性问题研究的不断深入，对数学真理困境的分析和求解自然而又 必然地成为数学哲学研究中不可回避的重要议题。本论文从实在论的视角出发，分 析了数学真理困境出现的根源，并对求解困境各种策略的优势与不足进行深入剖析， 在吸纳各种策略的合理内核的基础上，尝试性地提出求解困境的语境实在论进路。 本论文包括绪论、七章系统性论述和结束语。 绪论部分主要阐述本论文写作的具体背景，简要梳理了关于数学真理的研究历 史和数学真理困境提出的背景，考察了国内外相关内容的研究状况，在此基础上， 阐明了本论文写作的基本思路、逻辑脉络以及创新之处。 第一章是对数学真理困境的本质分析。首先，考察了贝纳塞拉夫为数学真理解 释提出的两个限制条件，分析了贝纳塞拉夫数学真理困境的表现形式；其次，深入 挖掘了数学真理困境出现的根源，指出正是由于贝纳塞拉夫把塔尔斯基语义学理论 和知识因果论作为真理解释条件的标准才导致了困境的产生；最后，基于对贝纳塞 拉夫为数学真理解释所开列的两个限制条件的不同理解，归纳求解困境的各种可能 选择。 第二章分析了数学真理困境的不可或缺性论证求解策略的具体论证及其不足。 首先，剖析不可或缺性论证策略的理论基础及其对数学真理困境的具体求解方案， 不可或缺性论证强调数学与科学的整体性，试图借助数学在科学中的不可或缺性证 实数学实体的存在性；其次，分析这种策略存在的问题，指出不可或缺性不等同于 经验确证，数学的不可或缺性不能推出数学的实在性，其逻辑关系应该是倒置的， 即不可或缺性应该是数学实在论的一个逻辑推论；最后，阐明不可或缺性论证为我 们