奎因—普特南不可或缺性论证研究

来源 :山西大学 | 被引量 : 0次 | 上传用户:xm10282008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在当代数学哲学研究中,对抽象数学对象是否存在这一问题存在着诸多讨论,奎因-普特南的不可或缺性论证就是其中之一。本文从实在论的视角出发,对奎因-普特南不可或缺性论证的基本内容进行了系统论述,揭示出“不可或缺性”的本质内涵,指出数学对于科学之不可或缺性的存在基础。并通过对数学不可或缺性论证的反对观点的剖析,指出不可或缺性论证在发展中面临的困难。最后以柯里万不可或缺性论证为基础,阐述了不可或缺性论证的当代发展。  本论文共分为导言、四章节的系统论述和结语三个部分。  本文第一章:导言部分阐述本文写作的背景、写作基础思路、创新之处以及国内外相关内容的研究概况。  本文第二章:主要论述了不可或缺性论证的理论基础:即“奎因-普特南不可或缺性论”。首先,阐明了奎因提出不可或缺性论证核心理论的来源;其次分析了普特南在奎因思想的基础上对不可或缺性论证的进一步发展,阐述了不可或缺性论证的产生与理论背景。  本文第三章:着重探讨了奎因-普特南不可或缺性论证的论证前提:“不可或缺性”、“自然主义”、“确证的整体论”以及“本体论承诺”。并分别对不可或缺性论证的四个前提进行了具体分析。  本文第四章:主要讨论了不可或缺性论证存在的问题。分析了当前学界对不可或缺性论证前提条件的质疑和批判,并且在分析这些质疑和批判的基础上,阐明不可或缺性论证在发展中面临的问题。  本文第五章:主要介绍了不可或缺性论证当代的发展。系统介绍了科里万不可或缺性论证的基本内容及主要思想,从实在论的角度阐述了不可或缺性论证在当代的发展。并且通过对比数学实在论与科学实在论在当代发展中的联系,揭示出数学实在论的发展在某种程度上依赖于科学实在论这一规律。  本文第六章:结语部分对全文进行了总结。
其他文献
本文的目的是对量子化学计算方法进行语境分析,为量子化学计算的哲学研究提供一种思路。文章由引言、量子化学计算方法的分类及其理论基础、量子化学计算方法的广义语境分析和狭义语境分析和结束语组成。引言介绍了对量子化学计算方法进行语境分析的意义、国内外研究现状和本文采用的研究方法,即语境分析方法。本论文第一部分详细介绍了量子化学计算方法的分类及其理论基础。量子化学计算的理论基础是薛定谔方程,通过求解该方程,
在网格环境下,如何快速进行资源查找定位是影响网格性能和QoS的重要因素。本文分析了目前已有的两种用于网格资源发现的资源查找算法(集中式查找算法、分布式查找算法)的优劣
本文通过对荣华二采区10
期刊
论文提出了江泽民科学技术思想体系,并对该体系进行总体的、全面的、条理性的分析和把握,同时对某些论点做了进一步深入的理解和探讨,为这一辩证唯物主义科学技术思想的理论体系做个全方位的剖析。论文第一部分阐述了江泽民科学技术思想的来源,它是江泽民科学技术思想体系的理论基石。论文第二、三、四、五部分分别论述江泽民科学技术本质论、江泽民科学技术发展论、江泽民科学技术功能论和江泽民科学技术战略论,这四个部分构成
早在1861年Chauvean和Marey就首次成功地记录了心尖搏动图(Apexcardiogram,ACG)。但此后这种方法多年未被重视。直到本世纪60年代初期,Dimond和Benchimol令人信服地证实了胸
血红蛋白H(简称HbH)病,是一种慢性溶血性贫血,是由于控制血红蛋白α链合成的基因缺陷而形成的一种遗传性疾病。1955年首先由Rigas等于同一家族的2个华侨中发现,1964年国内林
H/α-Wishart分类方法是目前常用且较为有效的极化SAR影像分类方法,但其分类精度还有待改善。研究一种基于遗传算法的极化SAR影像的分类方法,该方法根据极化SAR影像Cloude特
8月21日,为规范基础电信企业的校园市场经营行为,维护市场秩序,切实保障用户权益,工业和信息化部召开电视电话会议,宣贯近日印发的《工业和信息化部关于规范当前校园市场电信业务
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
铁粒幼细胞性贫血(Sideroblasitic anemia),是由多种原因而致的血红素合成障碍和铁利用不良所引起的一种贫血。国外早有文献报导,国内自1974年福建省首次报导以来,至今共有2