期刊文章详细信息
一种避免“蕴涵怪论”的可行方法
An Feasible Method to Eliminate the Paradoxes of Material Implication
文献类型：期刊文章
机构地区：[1]河南大学哲学系,河南开封475001
基 金：河南大学人文社科重点项目(05ZDRW005)
年 份：2007
卷 号：23
期 号：7
起止页码：31-34
语 种：中文
收录情况：BDHX、BDHX2004、CSSCI、CSSCI2006_2007、RCCSE、RWSKHX、ZGKJHX、核心刊
摘 要："实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。
关 键 词：“实质蕴涵怪论” 经典逻辑 非经典逻辑 形式化系统 推理
分 类 号：N031]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
