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