【摘 要】
：
<正>经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑?逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代,但是似乎直到现在还未尘埃落定。在普遍接受反基础主义
【基金项目】
：
新加坡国立大学数学所(IMS)和约翰·邓普顿基金(John Templeton Foundation)提供的资助;中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目“经典逻辑与非经典逻辑的哲学基础”(编号12XNJ024)的资助
论文部分内容阅读
<正>经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑?逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代,但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下,数学基础的研究任务不再是为数学的各个分支寻找最大程度上免于理性怀疑的基础,而是在重构数学分支的过程中给出各个数学分支间的关系,描绘出数学的大图景。在这样的背景下,数学基础的研究不
其他文献
目的:提高发药系统的工作效能。方法:比较我院门诊药房调整前(2014年6月)由发药系统与人工窗口调剂药品的处方数和药品盒数,再结合订单、货品、数量(EIQ)-ABC法进行分析,调整
<正>普益财富监测数据显示,6月,84家银行在境内共发行2179款个人理财产品,较5月增加35款。其中,77家中资银行发行2088款,7家外资银行发行了91款。中资行中的6家国有银行发行6
<正>种公猪在养猪生产中承担着猪群的品种改良任务,因此要重视和加强种公猪的饲养管理,使其常年保持中上等膘情、健壮的体质、充沛的精力、旺盛的性欲和良好的精液品质。本文
在戏曲唱、念、做、打“四功”中,“唱”排在“四功”之首,足见“唱”在戏曲表演中的重要性。但如果没有科学的发声方法作前提,演员的“唱”会觉得力不从心,很难达到出神入化
提出随焊旋转挤压（Welding with trailing rotating extrusion,WTRE）控制薄板焊件残余应力和变形新方法,其工作原理为：通过一工作端为圆柱状的挤压头跟随电弧对焊缝区金属进行旋
<正>普益财富监测数据显示,3月,78家银行在境内共发行1829款个人理财产品,较2月增加106款。其中,73家中资银行发行1796款,5家外资银行发行了33款。中资银行中的6家国有银行发
针对小麦在收获季节连遇降雨造成籽粒穗发芽现状,研究分析发芽小麦对原料籽粒品质特征容重、硬度指数、生芽率、降落数值等的影响,以及对制成面粉后其特征品质如灰分、粗蛋白
目前,网络发展日益迅速,教育部也积极推出新的教育理念模式——个性化教育,它强调了学生的需求在教育中的重要地位,主要核心思想是根据学习者之间的差异,为不同的学习者提供
抗日战争胜利后,中国民主党派中的绝大多数都走上了中国共产党领导的新民主主义革命道路,其原因可归结为:当时的中国不存在走所谓第三条路线的社会历史条件;中国共产党领导的
步入20世纪70年代后,西方国家因为经济衰退,失业率上升与人口老龄化的加重,社会保障费用入不敷出,财政不堪重负,社会保障面临各种问题,于是西方各国开始着手改革社会保障制度