Principle of bivalence

られないが、普通はそれらに議論を限定する。 古典論理の非古典的意味に関して、古典論理の意図している意味論は、2値の意味論（en:Principle of bivalence（二値原理））である。しかし、代数的論理（en:Algebraic logic）の出現により、他の意味論を与えることもできること

はつねに真（恒真）であるという主張であると考えてよい。「すべての命題は真または偽のいずれかの真理値を持つ」という二値原理（英: Principle of bivalence）とは直感的には同じものに感じられ古典論理学では同等のものと扱われるが、様相論理学においては異なるものである（二重否定の除去も参照）。