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

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

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

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

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

論形式語義學(xué)04-26

論命題形式之間的對當(dāng)關(guān)系04-27

論實(shí)踐基本類型和形式04-27

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

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

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

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

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

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

回溯式時(shí)距估計(jì)的年齡差異04-26