Principle of bivalence
In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false. [1][2] A logic satisfying this principle is called a two-valued logic[3] or bivalent logic.[2][4]
"Bivalence" redirects here. For other uses, see Bivalent (disambiguation).
In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess. It is not the same as the law of excluded middle, however, and a semantics may satisfy that law without being bivalent.[2]
The principle of bivalence is studied in philosophical logic to address the question of which natural-language statements have a well-defined truth value. Sentences that predict events in the future, and sentences that seem open to interpretation, are particularly difficult for philosophers who hold that the principle of bivalence applies to all declarative natural-language statements.[2] Many-valued logics formalize ideas that a realistic characterization of the notion of consequence requires the admissibility of premises that, owing to vagueness, temporal or quantum indeterminacy, or reference-failure, cannot be considered classically bivalent. Reference failures can also be addressed by free logics.[5]
Relationship to the law of the excluded middle[edit]
The principle of bivalence is related to the law of excluded middle though the latter is a syntactic expression of the language of a logic of the form "P ∨ ¬P". The difference between the principle of bivalence and the law of excluded middle is important because there are logics that validate the law but not the principle.[2] For example, the three-valued Logic of Paradox (LP) validates the law of excluded middle, but not the law of non-contradiction, ¬(P ∧ ¬P), and its intended semantics is not bivalent.[6] In Intuitionistic logic the law of excluded middle does not hold. In classical two-valued logic both the law of excluded middle and the law of non-contradiction hold.[1]
Classical logic[edit]
The intended semantics of classical logic is bivalent, but this is not true of every semantics for classical logic. In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra, "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element. Intermediate elements of the algebra correspond to truth values other than "true" and "false". The principle of bivalence holds only when the Boolean algebra is taken to be the two-element algebra, which has no intermediate elements.
Assigning Boolean semantics to classical predicate calculus requires that the model be a complete Boolean algebra because the universal quantifier maps to the infimum operation, and the existential quantifier maps to the supremum;[7] this is called a Boolean-valued model. All finite Boolean algebras are complete.