哲学逻辑对判断的非反否定演算研究

形式逻辑是关于断定的逻辑(Logic),辩证逻辑是关于描述的逻辑(Logos)。通过对性质判断的非反否定演算,将形式逻辑的断定否定演算,辩证逻辑的描述否定演算,认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算,都归结为非和反的哲学否定演算。由此,所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。