雙面真理論

雙面真理（dialetheia）是一個句子A， 使得A及其否定¬A都是為真。雙面真理論（Dialetheism）是認為雙面真理(dialetheia)存在的學説。 ^[1]  如果我們將矛盾定義為一對句子，其中一個是另一個的否定，或作為此類句子的連詞，那麼雙面真理論就聲稱存在着真正的矛盾。 因此，雙面真理論反對非矛盾律(Law of Non-Contradiction 縮寫為：LNC)。 LNC有時也稱為矛盾律(Law of Contradiction)。

雙面真理的例子如下：當約翰正走在門中間的時候，對於“約翰已經進來了”這個命題，可以既是肯定的同時也是否定的； 因為，這時“約翰已經進來了”既是模稜兩可的也是程度的問題。 但是， 同時“肯定”和“否定”同一命題是自相矛盾的悖論。

自從二十世紀下半葉次協調邏輯 ^[2]  出現以來，雙面真理論已經發展成為具有精確形式語言的哲學邏輯。 雙面真理論最著名的進展是作為對邏輯悖論的迴應， 並且與次協調邏輯相結合而最著名。 ^{[1]  [3]}