回溯推理的逻辑形式及其有效性判定

发布时间：2019-08-12 14:06

【摘要】：回溯推理的逻辑形式及其有效性判定张学立回溯推理（ＲｅｄｕｃｔｉｖｅＩｎｆｅｒｅｎｃｅ）是从已知事实出发结合推论者的背景知识，，借助充分条件假言推理的肯定后件式，由后件过渡到前件的一种或然性推理。它在科学发现和刑事侦察过程中有着重要作用。回溯推理是一种独...
[Abstract]:The logical form and effectiveness of backtracking reasoning Zhang Xueli backtracking reasoning (ReductiveInference) is a kind of probabilistic reasoning which combines the background knowledge of deductionists with the help of sufficient conditional hypothetical reasoning to transition from the latter to the preceding. It plays an important role in scientific discovery and criminal investigation. Backtracking reasoning is a kind of independence.
【分类号】：B812.23

【相似文献】

相关会议论文 前10条

1 陈江;;论回溯推理的几种具体类型[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

2 汪海燕;;从侦查实践中再认回溯推理[A];逻辑教学·知识创新·素质教育研讨会论文集[C];2001年

3 罗翊重;;四大推理类型之内涵与外延间的转换[A];中国思维科学研究论文选2011年专辑[C];2012年

4 张学立;;回溯推理的独立性辩护[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 赵泽宗;;比喻推理建构[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

6 郑伟宏;;陈那新因明喻体的逻辑形式[A];1995年逻辑研究专辑[C];1995年

7 吴坚;;走出逻辑的雾区[A];2000年逻辑研究专辑[C];2000年

8 柴学友;;试论我国《宪法》的逻辑结构[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

9 袁正校;张忠义;;从现代逻辑的观点看“侔”式推论[A];1993年逻辑研究专辑[C];1993年

10 郑伟宏;;陈那法称因明逻辑体系之比较[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

相关博士学位论文 前1条

1 高芸;从SDRT的视角探析汉语话语结构的修辞格式[D];西南大学;2011年

相关硕士学位论文 前10条

1 罗劲松;《因明正理门论》与《正理滴论》的比较研究[D];复旦大学;2008年

2 文红峰;论逻辑后承与逻辑真[D];湘潭大学;2008年

3 徐莹;罗素意义指称理论述评及与《指物论》之比较[D];西南大学;2009年

4 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

5 李峰;论陈那因明的逻辑体系[D];复旦大学;2010年

6 廖德明;从事实、事件到终极理论之梦[D];西南师范大学;2004年

7 曹照洁;因果关系研究述评[D];西南师范大学;2004年

8 卢海;前谓词经验与一般性判断的构造[D];西北师范大学;2011年

9 黄勤;摹状词理论的历史、现状与未来[D];西南大学;2010年

10 鲁家铭;罗素摹状词理论研究[D];吉林大学;2010年

本文编号：2525763