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

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