Principle of bivalence

Every declarative proposition is either true or false — there is no third truth value. This is the meta-principle on top of which classical propositional logic is built. Distinct from the Law of Excluded Middle (which is an object-language…