一种避免"蕴涵怪论"的可行方法

摘要：

"实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑.模态逻辑中仍然有"严格蕴涵怪论".相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性."蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论".本文将给出一个消除"蕴涵怪论"的可行方法--欧拉图解方法.

关键词："实质蕴涵怪论"、经典逻辑、非经典逻辑、形式化系统、推理

所属期刊栏目：23

分类号：N031(科学的方法论)

资助基金：河南大学人文社科重点项目05ZDRW005

在线出版日期：2007-09-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：31-34