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