经典数学的逻辑基础
外文标题：The Logical Basis of Classical Mathematics
文献类型：期刊
作者：许涤非[1]
机构：[1]中国人民大学哲学学院
年：2012
期刊名称：哲学研究
期：3
页码范围：98-104
增刊：正刊
收录情况：中文核心期刊要目总览
语言：中文
基金：本论文受到新加坡国立大学数学所(IMS)和约翰·邓普顿基金(John Templeton Foundation)提供的资助；亦受到中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目“经典逻辑与非经典逻辑的哲学基础”(编号12XNJ024)的资助。
关键词：经典数学;二阶逻辑;公理系统;一阶语言;数学基础;反基础主义;逻辑学家;逻辑基础;后承关系;高阶逻辑;
摘要：<正>经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑?逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代,但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下,数学基础的研究任务不再是为数学的各个分支寻找最大程度上免于理性怀疑的基础,而是在重构数学分支的过程中给出各个数学分支间的关系,描绘出数学的大图景。在这样的背景下,数学基础的研究不
作者其他论文
理论的相对一致性.许涤非.中国人民大学学报.2010,24(3),56-60.
否定的邻域语义分析.王轶;许涤非.湖南科技大学学报（社会科学版）.2007,10(4),41-45.
论模态逻辑系统的有限模型性质.许涤非.中国人民大学学报.2006,20(3),103-107.
应用广泛的一种认知模型.许涤非.哲学动态.2006,51-56.
自信性认知逻辑.许涤非.湖南科技大学学报(社会科学版).2004,7(5),28-34.
