次协调逻辑
维基百科,自由的 encyclopedia
次协调逻辑(英语:Paraconsistent logic)是尝试处理矛盾的逻辑[1]。是不琐碎的(non-trivial)逻辑,它允许矛盾。更加特殊的,它允许断言一个陈述和它的否定,而不导致谬论。在标准逻辑中,从矛盾中可以推导出任何东西;这叫做ex contradictione quodlibet(ECQ),也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。
此条目可参照外语维基百科相应条目来扩充。 |
次协调逻辑可以用来建模有矛盾的系统,但不是任何东西都能从它推导出来的。在标准逻辑中,必须小心的防止形成说谎者悖论的陈述;次协调逻辑由于不需要排除这种陈述而更加简单, 尽管它仍然必须排除柯里悖论(Curry's Paradox)。 柯里悖论是逻辑学家哈斯凯尔·柯里(Haskell Brooks Curry)提出。 此外,次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制,而是完备的。