论回溯推理的模态形式
回溯推理是一种使用非常广泛的逻辑方法.但是逻辑学界对回溯推理的认识并不一致.传统观点认为,回溯推理的逻辑形式是充分条件假言推理的肯定后件式.笔者认为,传统的认识有许多缺陷,应当对其进行改造;回溯推理是一种模态推理,并且给出了回溯推理的模态形式:(□q→(p
作 者： 陈江 作者单位： 内蒙古师范大学,政治经济系,内蒙古,呼和浩特,010022 刊 名： 内蒙古师范大学学报(哲学社会科学版) 英文刊名： JOURNAL OF INNER MONGOLIA NORMAL UNIVERSITY(PHILOSOPHY & SOCIAL SCIENCE) 年，卷(期)： 2002 31(4) 分类号： B812 关键词： 回溯推理 模态形式 或然性 可能