次協調邏輯

次協調邏輯 （ Paraconsistent logic ） 是嘗試處理矛盾的邏輯 。 是不瑣碎的 （ non-trivial ） 邏輯 ， 它允許矛盾 。 更加特殊的 ， 它允許斷言一個陳述和它的否定 ， 而不導致謬論 。 在標準邏輯中 ， 從矛盾中可以推導出任何東西 ； 這叫做ex contradictione quodlibet （ ECQ ） ， 也叫做爆炸原理 。 次協調邏輯就是ECQ不成立的邏輯系統 。 次協調邏輯可以用來建模有矛盾的系統 ， 但不是任何東西都能從它推導出來的 。 在標準邏輯中 ， 必須小心的防止形成說謊者悖論的陳述 ； 次協調邏輯由於不需要排除這種陳述而更加簡單, 儘管它仍然必須排除柯里悖論 ( Curry's Paradox ） 。 柯里悖論是邏輯學家哈斯凱爾 · 柯里 （ Haskell Brooks Curry ） 提出 。 此外 ， 次協調邏輯可以潛在的克服哥德爾不完備定理蘊涵的算術限制 ， 而是完備的 。