一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统

逻辑矛盾是思维混乱的产物,辩证矛盾是对象的运动之观念中所必然包含着的矛盾.前者是同时既肯定又否定同一个n(n∈N且n≥1)级命题而形成的矛盾,后者是同时既肯定又否定同一个0级命题而形成的矛盾.经典命题演算没有区别辩证矛盾和逻辑矛盾,它拒斥逻辑矛盾,但不容纳辩证矛盾,因而不能合乎逻辑地表达对象的运动.命题演算系统PC6区别了辩证矛盾和逻辑矛盾,具有拒斥逻辑矛盾并容纳辩证矛盾的特征,且具有可靠性和完全性,可以合乎逻辑地表达对象的运动.