次协调逻辑是尝试处理矛盾的逻辑是不平凡的(non-trivial)逻辑,它允许矛盾更加特殊的,它允许断言一个陈述和它的否定,而不导致谬论在标准逻辑中从矛盾中可以推导出任何东西; 这叫做(ECQ), 也叫做爆炸原理。次协调逻辑就是 ECQ 不成立的逻辑系统可以用来建模有矛盾的信仰系统,但不是任何东西都能从它推导出来的在标准逻辑中必须小心的防止形成说谎者悖论的陈述由于不需要排除这种陈述而更加简单(尽管它仍然必须排除 Curry 悖论)此外,次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制,而是完备的简介次协调逻辑动机发明次协调逻辑有很多动机,它们都引起对经典逻辑的会导致反直觉结果的协调性(一致性)的不满足。语义悖论,特别是自引用,提供了质问经典逻辑的形式根据。考虑说谎者悖论(这里的 "<L>" 表示 "L 这个命题"):(L) <L> 不是真的。把 L 塞入自身,我们得到"<L> 不是真的" 不是真的看起来它说的事情同于(L' ) L 是真的(这种推理基于几个相当似是而非的但公认不是无懈可击的前提,关于双重否定除去的和在 <P> 和 P 之间联系-