一个严格区分逻辑矛盾与辩证矛盾的辩证逻辑的命题演算系统  

作　　者：曹飞[1] 

机构地区：[1]中共陕西省委党校哲学部,陕西西安710061

出　　处：《河南师范大学学报（哲学社会科学版）》2007年第6期48-51,共4页Journal of Henan Normal University(Philosophy and Social Sciences)

摘　　要：本文在严格区分逻辑矛盾与辩证矛盾的基础上建构了一个辩证逻辑的命题演算系统PC2,证明了PC2的可靠性和完全性,简要地讨论了几个与PC2相关的系统——形式逻辑的命题演算系统PC1、形而上学逻辑的命题演算系统PC3、怀疑论逻辑的命题演算系统PC4,并以此为基础进一步探讨了逻辑矛盾与辩证矛盾以及形式逻辑、辩证逻辑、形而上学逻辑、怀疑论逻辑之间的关系。

关 键 词：逻辑矛盾 辩证矛盾 辩证逻辑 命题演算系统 

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