一个命题逻辑的反驳演算系统被引量：1

导出

摘要论证过程包括相互联系的两个方面：证明和反驳。证明是论证主体对所赞成的观点进行辩护的过程，反驳是论证主体对所反对的观点进行归谬的过程；证明是求得真知的过程，反驳是揭露谬误的过程；证明所依据的是逻辑有效式，反驳所依据的是逻辑矛盾式。自现代逻辑产生以来，人们发现、

作者杜国平

机构地区中国社会科学院哲学所

出处《哲学研究》 CSSCI 北大核心 2014年第2期118-125,共8页 Philosophical Research

关键词命题逻辑系统演算论证过程逻辑矛盾现代逻辑证明有效式

参考文献6

1杜国平,赵曼.一阶谓词逻辑反驳演算自然推理系统[J].重庆理工大学学报（社会科学）,2013,27(9):1-6. 被引量：2
2刘新文.命题逻辑的证伪系统[J].湖南科技大学学报（社会科学版）,2011,14(3):23-25. 被引量：1
3卢卡西维茨.《亚里士多德的三段论》,李真等译,商务印书馆,1981年,第10页.
4张清宇.1996年,《古典命题逻辑的证伪系统》,载《(自然辩证法研究)增刊·逻辑学专辑》.
5Mendelson, E. , 2010, Introduction to Mathematical Logic, Boca Raton: CRC Press.
6Monk, J.D., 1976, Mathematical Logic, Berlin: Springer.

1张清宇.古典命题逻辑的证伪系统[J].自然辩证法研究,1996,:4-6.
2A.Chagrov and M.Zakharyashev.Modal Logic[M].Oxford:Clarendon Press,1997.
3卢卡西维茨.亚里士多德的三段论[M].李真等译.北京:商务印书馆,1981.
4Mendelson E. Introduction to Mathematical Logic [ M ]. Boca Raton: CRC Press, 2010 : 1 - 149.

1El|iott Mendelson, Introduction to Mathematical Logic, pp. 32 -33.
2Elliott Mendelson, Introduction to Mathematical Logic, Florida : CRC Press, 2010.
3卢卡西维茨.《亚里士多德的三段论》,李真,李先琨,译,北京:商务印书馆,1981年,第118.150页.
4杜国平,赵曼.一阶谓词逻辑反驳演算自然推理系统[J].重庆理工大学学报（社会科学）,2013,27(9):1-6. 被引量：2

哲学研究

2014年第2期

内容加载中请稍等...