論回溯推理的模態形式

回溯推理是一種使用非常廣泛的邏輯方法.但是邏輯學界對回溯推理的認識并不一致.傳統觀點認為,回溯推理的邏輯形式是充分條件假言推理的肯定后件式.筆者認為,傳統的認識有許多缺陷,應當對其進行改造;回溯推理是一種模態推理,并且給出了回溯推理的模態形式:(□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