论直觉主义逻辑对经典逻辑的挑战

发布时间：2017-08-26 06:28

  本文关键词：论直觉主义逻辑对经典逻辑的挑战

  更多相关文章： 直觉主义 直觉主义逻辑 经典逻辑 可构造性

【摘要】：直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,直觉主义逻辑理论自身面临诸多困境,尽管达米特为此作出了哲学辩护,但依然受到多方面的指责。
【作者单位】： 华东师范大学哲学系;
【关键词】： 直觉主义 直觉主义逻辑 经典逻辑 可构造性
【分类号】：B812
【正文快照】： 直觉主义逻辑的基本信条和推论直觉主义是20世纪数学基础研究中三大流派之一,创始人为著名数学家布劳维尔。直觉主义逻辑继承和发展了布劳维尔的思想,把数学中的直觉主义推广到逻辑学之中。归纳起来,直觉主义逻辑有两个基本信条:第一,存在即被构造。这是直觉主义数学的基本信

【共引文献】

中国期刊全文数据库 前6条

1 张庆熊;蒯因驳斥的只是狭义分析性的概念吗?——对蒯因批判分析与综合两分法的辨析[J];复旦学报(社会科学版);2005年06期

2 刘杰;郭贵春;;数学是逻辑吗?——论数学的逻辑主义基础[J];科学技术与辩证法;2006年01期

3 任辛喜;连续统假设及其主要贡献者[J];西北大学学报(自然科学版);2004年04期

4 周昌乐;;从斯科伦定理看禅宗的触事即真观及其意义[J];厦门大学学报(哲学社会科学版);2006年04期

5 黄华新,李恒威;语境、“生活世界”与悖论——从语用学和解释学的角度看悖论[J];自然辩证法研究;2004年02期

6 陈学云;无穷小量的命运及对数学发展动力的思考[J];自然辩证法研究;2005年01期

中国博士学位论文全文数据库 前3条

1 刘汉全;新古典经济学价值理论批判[D];华中农业大学;2007年

2 杜建国;语言、意向与存在[D];山西大学;2007年

3 陆书环;数学史上的“问题解决”及其HPM视域下教学策略研究[D];西北大学;2008年

中国硕士学位论文全文数据库 前2条

1 徐春山;试论词语的模糊性[D];安徽大学;2005年

2 白建国;高中数学建模教学研究[D];内蒙古师范大学;2007年

【相似文献】

中国期刊全文数据库 前10条

1 颜中军;;论直觉主义逻辑对经典逻辑的挑战[J];湘潭大学学报(哲学社会科学版);2011年03期

2 彭媚娟;胡泽洪;;关于弗协调逻辑的思考[J];湖南科技大学学报(社会科学版);2008年01期

3 张振华;试论次协调逻辑的辩证否定观[J];辽宁大学学报(哲学社会科学版);2002年02期

4 朱建平;;当代内涵逻辑的理论发展[J];苏州大学学报(哲学社会科学版);2010年03期

5 彭媚娟;;论经典逻辑的局部修正——以弗协调逻辑为例[J];广西社会科学;2010年12期

6 诸葛殷同;;对传统逻辑的有力挑战——评《经典逻辑与直觉主义逻辑》[J];哲学动态;1990年04期

7 桂起权，，刘东波;对应原理─—多种非经典逻辑的通用原理[J];自然辩证法通讯;1994年03期

8 胡泽洪;论逻辑学发展的多层面性[J];华南师范大学学报(社会科学版);1995年04期

9 季冠芳,弓肇祥;关于哲学逻辑的几个理论问题[J];哈尔滨学院学报;2001年01期

10 周训伟;;实质蕴涵与互逆真蕴涵[J];重庆工学院学报(社会科学版);2009年03期

中国重要报纸全文数据库 前5条

1 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

2 陈波;逻辑学与理性精神[N];光明日报;2003年

3 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

4 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

5 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

中国博士学位论文全文数据库 前2条

1 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

2 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

中国硕士学位论文全文数据库 前10条

1 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

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

3 聂成丽;奎因与模态逻辑的发展[D];苏州大学;2009年

4 周步晟;模态逻辑中事物模态引起的相关问题研究[D];苏州大学;2008年

5 文红峰;论逻辑后承与逻辑真[D];湘潭大学;2008年

6 郝旭东;次协调逻辑初探[D];河南大学;2004年

7 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年

8 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

9 张文琴;克里普克解悖方案研究[D];华东师范大学;2007年

10 宋航;克里普克逻辑悖论思想研究[D];燕山大学;2008年

本文编号：740219