Law of excluded middle Guide, Meaning , Facts, Information and Description
The law of excluded middle (tertium non datur in Latin) states that for any proposition P, it is true that (P or not-P).For example, if P is
- Joe is bald
- Joe is bald, or Joe is not bald
This is not quite the same as the principle of bivalence, which states that P must be either true or false. It also differs from law of non-contradiction, which states (P and not-P) is false. The law of excluded middle only says that the total (P or not-P) is true, but does not comment on what truth values P itself may take.
This leaves open the possibility that certain systems of logic may reject bivalence (for instance, by allowing more than two truth values) but accept the law of excluded middle, by accepting that (P or not-P) is always true, even when P itself is neither true nor false.
The distinction is far less important in classical logic, however, where bivalence is accepted. Some non-classical logics, most notably intuitionistic logic, are not bivalent, and in such logics the law of excluded middle does not hold. (See Kripke semantics.)
The article bivalence and related laws discusses this issue in greater detail.
The law of excluded middle can be misapplied, leading to the logical fallacy of the excluded middle, also known as a false dilemma.
This is an Article on Law of excluded middle. Page Contains Information, Facts Details or Explanation Guide About Law of excluded middle