经典数学的逻辑基础

发布时间：2018-05-09 14:26

  本文选题：一阶逻辑 + 二阶逻辑　； 参考：《哲学研究》2012年03期

【摘要】：正经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑?逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代,但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下,数学基础的研究任务不再是为数学的各个分支寻找最大程度上免于理性怀疑的基础,而是在重构数学分支的过程中给出各个数学分支间的关系,描绘出数学的大图景。在这样的背景下,数学基础的研究不
[Abstract]:Is the logic of positive classical mathematics completely first-order logic or needs second-order logic? Logicians have been controversial about this. The controversy began in the 1920s, but seems to have settled. On the premise of general acceptance of anti-foundationalism, the task of studying mathematical foundations is no longer the basis for finding the greatest degree of freedom from rational doubt for all branches of mathematics. In the process of reconstructing the branch of mathematics, the relationship between the branches of mathematics is given, and the big picture of mathematics is depicted. In this context, the study of mathematical fundamentals is not
【作者单位】： 中国人民大学哲学学院;
【基金】：新加坡国立大学数学所(IMS)和约翰·邓普顿基金(John Templeton Foundation)提供的资助 中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目“经典逻辑与非经典逻辑的哲学基础”(编号12XNJ024)的资助
【分类号】：B81

【共引文献】

相关博士学位论文 前1条

1 张立娜;个体词的逻辑语义[D];清华大学;2007年

相关硕士学位论文 前2条

1 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

2 刘云婷;言语行为理论视域中的指令行为分析[D];浙江大学;2008年

【相似文献】

相关期刊论文 前10条

1 诸葛殷同;;“多数”和“少数”[J];思维与智慧;1993年01期

2 栾静闻;关于一阶逻辑形式系统中概括规则的注记[J];江汉大学学报;1996年06期

3 熊立文;;冯·赖特与排除归纳法[J];北京师范大学学报(社会科学版);2006年02期

4 夏素敏;;无变元的一阶片段:Fluted逻辑[J];哲学动态;2009年04期

5 刘新文;;函数完备性问题[J];重庆理工大学学报(社会科学);2011年08期

6 J.亨迪卡,G.桑朵,陈波;逻辑学中的一场革命?[J];哲学译丛;1999年04期

7 孤鹤;;哥德尔的一阶逻辑完全性证明的原始版本(英文)[J];逻辑学研究;2011年01期

8 张维真;“多数”的逻辑解析[J];思维与智慧;1994年01期

9 张清宇;不用联结词和量词的一阶逻辑系统[J];哲学研究;1996年05期

10 邱文;;一阶逻辑推理有效性的探析[J];海南大学学报(自然科学版);2006年02期

相关会议论文 前1条

1 王路;;论“逻辑课程的现代化”——纪念王宪钧先生诞辰一百周年[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

相关博士学位论文 前2条

1 张立娜;个体词的逻辑语义[D];清华大学;2007年

2 戴细华;多值逻辑语义博弈[D];中山大学;2006年

相关硕士学位论文 前7条

1 谢颖;归纳逻辑程序设计初探[D];北京师范大学;2008年

2 史经霞;动态语境下的确证悖论研究[D];河南大学;2008年

3 张保垒;表列演算探究[D];华东师范大学;2011年

4 唐芳芳;哥德尔定理的意义[D];清华大学;2005年

5 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年

6 熊斌;弗雷格意义理论研究[D];西南大学;2011年

7 徐彬;奎因逻辑真理思想探析[D];山西大学;2011年

，

本文编号：1866365