数学证明:数学真理的来源?

来源 :现代哲学 | 被引量 : 0次 | 上传用户:lflhzq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于一个数学实在论者来说,一个特别急迫的任务是回答数学证明是如何建立起关于数学对象的真理性问题.本文批判性考察由Resnik所提出的认知解答,指出了其中不成立的前提.并且在此基础上提出我们自己的解答,它是基于由Oliver.G所提倡的方面(aspects)概念而来的社会-论辩方案.
其他文献
在全面实施乡村振兴战略之际,以社会的系统论视角,把握乡村治理体系。透过社会问题,建构乡村治理体系要处理好社会与个体、社会与政治、经济、文化、传承与发展的关系。在此
目的探讨四氢生物喋呤(BH4)负荷试验在高苯丙氨酸血症(HPA)鉴别诊断中的应用价值。方法自2005年5月到2007年4月,51例HPA患儿采用口服BH4(20mg/kg)负荷试验。对其中血苯丙氨酸(Phe)浓度
这是一个“互联网+”浪潮奔涌的时代,这也是一个无限斑斓的海量信息时代;这更是一个“线上线下”都大有可为的新时代。随着互联网技术的发展,网络人士作为崭新的社会群体大量
理想信念教育是内地西藏班学生德育教育的重要组成部分。在三全育人背景下开展内地西藏班学生理想信念教育,应充分考虑内地西藏班学生的自身情况和特点,建立以三全育人为理念
根据祁尔松(Etienne Gilson)的说法,中世纪哲学,尤其是十三世纪的思想,是基督宗教哲学.本文按其在台湾发展时所袭用的名词,称之为士林哲学.士林哲学之传入中国,虽然早在利玛
中国特色社会主义进入新时代,既标明了全面建成小康社会的历史方位,也标明了统一战线发展的历史方位。统一战线的使命任务历来与党的战略安排紧密联系在一起。习近平总书记强
目的:以Sprague-Dawley(SD)大鼠作对照,测定自发性高血压大鼠(SHR)心肌和主动脉中PER2(period2)蛋白的表达。方法:取SHR及正常SD大鼠,在每12h光暗交替的环境中饲养2周后,每隔4h取心脏和
目的:研究重组人碱性成纤维细胞生长因子(rh-bFGF)对大鼠十二指肠溃疡(DU)的治疗作用并评价其安全性。方法:用半胱胺制备大鼠DU模型;用小鼠及比格犬给药观察rh-bFGF的急性毒性;用大
在中国特色社会主义新时代,高校党外代表人士作用的发挥面临着新的形势与要求,而高校党外代表人士身份意识不强、队伍建设机制不健全、发挥作用评价体系缺乏等各种因素制约着
高校大学生作为重点培养对象,思政教师的责任和使命不言而喻。在思政课的教学中,需要以情感人,以理服人。思政教师的情怀直接关系到高校大学生的素养以及三观的养成。从情怀