论回溯推理的模态形式

论回溯推理的模态形式

回溯推理是一种使用非常广泛的逻辑方法.但是逻辑学界对回溯推理的认识并不一致.传统观点认为,回溯推理的逻辑形式是充分条件假言推理的肯定后件式.笔者认为,传统的认识有许多缺陷,应当对其进行改造;回溯推理是一种模态推理,并且给出了回溯推理的模态形式:(□q→(p

作 者： 陈江   作者单位： 内蒙古师范大学,政治经济系,内蒙古,呼和浩特,010022  刊 名： 内蒙古师范大学学报(哲学社会科学版)  英文刊名： JOURNAL OF INNER MONGOLIA NORMAL UNIVERSITY(PHILOSOPHY & SOCIAL SCIENCE)  年，卷(期)： 2002 31(4)  分类号： B812  关键词： 回溯推理   模态形式   或然性   可能  

【论回溯推理的模态形式】相关文章：

论形式语义学04-26

论命题形式之间的对当关系04-27

论实践基本类型和形式04-27

论思维形式的转换与生态道德思维的形成04-27

模态复合命题与复合模态命题间真值关系考察04-27

论新形式下的幼儿园发展道路09-29

论机会平等的形式性要求与实质性要求04-27

模态联言、选言命题与联言、选言模态命题04-27

论黑格尔对传统形式逻辑的批评与超越04-27

回溯式时距估计的年龄差异04-26