次协调逻辑 次协调逻辑英語Paraconsistent logic是尝试处理矛盾的逻辑是不瑣碎的nontrivial逻辑它允许矛盾更加特殊的它允许断言一个陈述和它的否定而不导致谬论在经典逻辑中从矛盾中可以推导出任何东西这叫做ex contradictione quodlibetECQ也叫做爆炸原理次协调逻辑就是ECQ不成立的逻辑系统 次协调逻辑可以用来建模有矛盾的系统但不是任何东西都能从它推导出来的在标准逻辑中必须小心的防止形成说谎者悖论的陈述次协调逻辑由于不需要排除这种陈述而更加简单 尽管它仍然必须排除柯里悖论Currys Paradox 柯里悖论是逻辑学家哈斯凯尔柯里Haskell Brooks Curry提出 此外次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制而是完备的