会议专题

相干逻辑的产生及评价

在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.

相干逻辑 蕴涵怪论 框架结构

刘步青

华东师范大学哲学系,上海 200241

国内会议

2013年全国应用逻辑学术年会

北京

中文

84-87

2013-06-22(万方平台首次上网日期,不代表论文的发表时间)