反证法与归谬法的现代分析

发布时间：2018-05-04 23:05

  本文选题：反证法 + 归谬法　； 参考：《自然辩证法研究》2005年03期

【摘要】：本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。
[Abstract]:Using modern propositional logic as an analytical tool, this paper proves that on the basis of positive propositional logic system, the proof ability of the counter-proof method is stronger than that of the reversion method, and the difference between them is a double negative law; The law of reverberation and the law of non-contradiction plus sufficient conditions negate the law of hindrances, the law of inverse proof and the law of non-contradiction, the law of exclusion of middle, the law of negation of sufficient conditions and the law of negation of choice of words and the law of negation of positivity.
【作者单位】： 南京航空航天大学计算机系
【基金】：国家社科基金项目(02CZX008) 南京大学引进人才基金项目 南京大学川青年教育基金项目。
【分类号】：B812

【共引文献】

相关期刊论文 前1条

1 王建;;联结词的可表性与完全集[J];绍兴文理学院学报(自科版);2006年01期

相关博士学位论文 前2条

1 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

2 孙海滨;定性空间推理及其应用技术研究[D];吉林大学;2006年

相关硕士学位论文 前5条

1 边培泉;基于逻辑的电子商务协议属性的分析与研究[D];兰州理工大学;2004年

2 朱建林;形式化方法在基于构件软件重用中的应用研究[D];河北大学;2006年

3 刘军;基于领域组件的教务管理信息系统研究与设计[D];南华大学;2006年

4 阳小奇;一种基于契约的安全分析方法的研究与实现[D];西安电子科技大学;2006年

5 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

【相似文献】

相关期刊论文 前10条

1 孙大爽;;浅谈辩论中的逻辑方法[J];现代交际;2011年08期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前8条

1 孙中原;;矛盾律、归谬法和归谬类比——论墨家逻辑及其影响[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 王成功;;鲁迅杂文中逻辑推理的运用[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 孙中原;;中西逻辑比较研究[A];和谐社会：公共性与公共治理——2004学术前沿论坛论文集[C];2004年

4 文兰;;理发师悖论不足以称为悖论[A];1996年逻辑研究专辑[C];1996年

5 蒋星耀;;语用悖论的数学分析[A];2003年逻辑研究专辑[C];2003年

6 王心铭;;《墨经》论类比[A];2000年逻辑研究专辑[C];2000年

7 李永铭;;自然推论:方法和意义[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

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

相关重要报纸文章 前1条

1 王希勇;《哲学研究》仍然是待解之谜[N];中华读书报;2002年

相关硕士学位论文 前4条

1 卢芸蓉;类比推理及其在论证中的应用研究[D];湘潭大学;2007年

2 徐哲;谈判中的逻辑问题研究[D];内蒙古师范大学;2008年

3 王金红;试论藏传因明的应成论式[D];燕山大学;2008年

4 夏鹏鹏;先秦名家论辩思想探析[D];南京大学;2011年

，

本文编号：1845066