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

Modern Analysis of Law of Indirect Proof and Reductio

作　　者：杜国平[1] 

机构地区：[1]南京航空航天大学计算机系

出　　处：《自然辩证法研究》2005年第3期48-51,共4页Studies in Dialectics of Nature

基　　金：国家社科基金项目(02CZX008);南京大学引进人才基金项目;南京大学川青年教育基金项目。

摘　　要：本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。By way of modern propositional logic, this paper proves three issues: Firstly, In positive propositional logical system, the indirect proof is more efficient than reductio, and the difference between them is that the former has the law of double negation. Secondly, reductio is equivalent to the law of non-contradiction with negative consequent of sufficient conditional additionally. At last, the law of indirect proof is equivalent to the combination of law of non-contradiction; excluded middle; negative consequent of sufficient conditional and negative affirmation form of disjunctive reasoning.

关 键 词：反证法 归谬法 正命题逻辑系统 排中律 不矛盾律 

分 类 号：B81[哲学宗教—逻辑学]