论辩证逻辑的公理

形式逻辑和辩证逻辑是两种不同的逻辑系统,它们不仅有不同的逻辑规律和规则,而且还有不同的逻辑公理。形式逻辑的公理是同一律。用公式来表示,它就是:“A是A”。辩证逻辑的公理也是同一律,但是,这里所说的同一不是抽象的同一,而是具体的同一,在同一中包含有差异,用公式来表示,它就是:“A是‘A又非A’”。这两个公式表明,形式逻辑和辩证逻辑有本质的区别,但它们又是相容的。不过,这种相容的基础是辩证逻辑而不是形式逻辑,当我们把“A又非A”看做无差异的“A”时,辩证逻辑的公式又回到形式逻辑的公式去了,表明辩证逻辑包摄形式逻辑,它是比形式逻辑更为高级形态的逻辑科学。