論回溯推理的模態(tài)形式

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

作 者： 陳江   作者單位： 內(nèi)蒙古師范大學,政治經(jīng)濟系,內(nèi)蒙古,呼和浩特,010022  刊 名： 內(nèi)蒙古師范大學學報(哲學社會科學版)  英文刊名： JOURNAL OF INNER MONGOLIA NORMAL UNIVERSITY(PHILOSOPHY & SOCIAL SCIENCE)  年，卷(期)： 2002 31(4)  分類號： B812  關鍵詞： 回溯推理   模態(tài)形式   或然性   可能  

【論回溯推理的模態(tài)形式】相關文章：

論形式語義學04-26

論命題形式之間的對當關系04-27

論實踐基本類型和形式04-27

論思維形式的轉(zhuǎn)換與生態(tài)道德思維的形成04-27

模態(tài)復合命題與復合模態(tài)命題間真值關系考察04-27

論新形式下的幼兒園發(fā)展道路09-29

論機會平等的形式性要求與實質(zhì)性要求04-27

模態(tài)聯(lián)言、選言命題與聯(lián)言、選言模態(tài)命題04-27

論黑格爾對傳統(tǒng)形式邏輯的批評與超越04-27

回溯式時距估計的年齡差異04-26