数学实在论相关论文
本文主要分为三个部分：第一部分将简单介绍不完全性定理的历史来源以及证明不完全性定理的大致思路,这部分基础性的知识主要是为后......
不可或缺性论证是由蒯因（Willard Van Orman Quine）提出的重要论证，它为数学实在论提供了理论支持。1953年，蒯因在《从逻辑的观点看》......
伽利略的数学理性主义导致他对于自然现象解释的根本变革。他从古希腊原子论中异化出了数学实在论,将关于自然现象的解释由亚里士......
本文简要阐述了西方数学哲学主要流派柏拉图主义的演变过程，讨论了数学本体论的若干特征，对柏拉图主义及其现代形式实在论进行了分析......
对于一个数学实在论者来说,一个特别急迫的任务是回答数学证明是如何建立起关于数学对象的真理性问题.本文批判性考察由Resnik所提......
【摘要】数学的教导与学习一直是教育改革中重要的课题.一个同时考虑数学本质和学习过程内涵所设计的数学教学才能有效、准确地将......
本文试图区分不可或缺性论证的两种形式,即不依赖于整体论的实用不可或缺性论证和以整体论为前提的整体论不可或缺性论证,说明并比......
奎因、普特南等人以数学在自然科学的不可或缺性应用为基础，为数学实在论提出了一种新的辩护。他们的辩护引发了数学实在论与唯名论......
不可或缺性论证是运用“数学对于科学的不可或缺性”对数学实在性的一种新的数学实在论辩护，其依据的前提是科学自然主义、确证整体......
＂不可或缺论证＂是当代数学哲学讨论的重要问题,也是关涉数学实在论成立与否的核心论证环节。在＂不可或缺论证＂的争论中,奎因的影响是至......
利用认知封闭性这一心灵哲学概念，考察数学哲学中实在论与反实在论之争的问题。同时为现代柏拉图主义的数学实在论提供一种新的论证......
数学对象的实在性问题一直是数学哲学中争论的焦点。作为二十世纪数学基础三大流派之一的形式主义常常被认为是反实在论的;而新近......
数学本质的先物结构主义解释主张"数学是研究结构的科学,像数、集合、点这些作为个体的数学对象是数学结构中的位置,结构先于对象......
本体论视域下,数学实在论经历了复杂的历史演化。柏拉图主义和新康德主义曾经获得不少数学家和数学哲学家的青睐。20世纪中叶之后,......
哥德尔堪称“20世纪最有意义的数学真理的发现者”,他的思想似乎是两千多年欧洲逻辑路途中为数不多的一座城堡。某种程度上,我们甚......
数学是不可完全的———哥德尔的哲学手稿刘晓力摘要数学的不可完全性是哥德尔不完全性定理揭示的深刻的数学本质。由此引发的哲学......
本文主要从“什么是数学实在论”、“存在数学对象吗”和“数学的基础是什么”这样三个问题入手 ,对当代西方数学哲学中的实在论与......
不可或缺性论证是数学实在论者用来支持数学实体存在的一个重要论证,数学非实在论者通常也把不可或缺性论证作为反驳数学实在论者......
