一个命题逻辑的排斥演算系统

发布时间：2017-10-11 18:27

  本文关键词：一个命题逻辑的排斥演算系统

  更多相关文章： 非有效式 排斥演算 等谬

【摘要】：在日常推理中,一般的非有效式比逻辑矛盾具有更大的隐蔽性,通过对卢卡西维茨的工作进行改造,可以建立一个排斥所有非有效式的演算系统,并对其可靠性和完全性给出严格的证明。在此基础上,证明了排斥系统和证明系统的不同性质,这有利于人们进一步认识谬误的本质。
【作者单位】： 中国社会科学院哲学研究所;
【关键词】： 非有效式 排斥演算 等谬
【基金】：国家社科基金重大招标项目(14ZDBO14)
【分类号】：B812.5
【正文快照】： 逻辑矛盾是我们在一个正确推理或者论证中首先必须加以拒斥的1,另外,对于一些并非是逻辑矛盾但也不是有效推理形式的推理或者论证我们也必须加以排斥。而且,这些不是逻辑矛盾的非有效推理形式其谬误往往具有更大的隐蔽性,在日常的论证中也常常被不知不觉地广泛使用,这尤其需要

【相似文献】

中国期刊全文数据库 前10条

1 陈志美,胡泽洪;斯多葛学派的命题逻辑系统及其不完全性[J];华南师范大学学报(社会科学版);2001年01期

2 滕定明;;命题逻辑在语用研究中的应用[J];河北理工大学学报(社会科学版);2008年03期

3 金樊;;推理有效性的判定方法及其特点比较——以命题逻辑为例[J];长春工程学院学报(社会科学版);2010年02期

4 张胜礼;;中介命题逻辑一种改进的无穷值语义模型[J];兴义民族师范学院学报;2011年01期

5 郝玲;;命题逻辑的推理方法[J];山西财经大学学报;2012年S1期

6 薛彩霞;;非形式化的命题逻辑和谓词逻辑有效性判定方法之比较分析[J];才智;2012年22期

7 张建成;苏连塔;;命题逻辑系统理论(广义)根性质及应用[J];山东大学学报(工学版);2013年04期

8 陶景侃;;法律命题逻辑的元逻辑[J];兰州大学学报;1988年03期

9 陶景侃;用法律的观点评价现代规范逻辑[J];兰州学刊;1997年03期

10 李宝健;命题逻辑中推理理论的数字形式[J];北方工业大学学报;2002年03期

中国重要会议论文全文数据库 前9条

1 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

2 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

3 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年

4 吴坚;;关于假言命题的真假问题的思考[A];1998年逻辑研究专辑[C];1998年

5 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

6 戴细华;;逻辑系统中的语义博弈[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

7 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年

8 张清宇;;极小的弗协调U、S时态命题逻辑[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 莫绍揆;;传统逻辑与数理逻辑[A];逻辑学文集[C];1978年

中国重要报纸全文数据库 前1条

1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年

中国博士学位论文全文数据库 前1条

1 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

中国硕士学位论文全文数据库 前10条

1 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

2 刘小山;基本命题逻辑的模态扩张[D];西南大学;2014年

3 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年

4 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

5 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

6 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

7 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

8 杨状;命题逻辑假说扩充生成算法及其应用研究[D];大连海事大学;2014年

9 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

10 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

，

本文编号：1014005