law of the excluded middle

(redirected from Law of excluded middle)
Also found in: Dictionary, Acronyms, Wikipedia.
Related to Law of excluded middle: Law of contradiction

law of the excluded middle

[¦lȯ əvthē ik‚sklüd·əd ′mid·əl]
(mathematics)
A principle of logic whereby a proposition is either true or false but cannot be both true and false. Also known as principle of dichotomy.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.
References in periodicals archive ?
While Hintikka's IF logic is an extension of standard logic, it lacks several of standard logic's critical features: it does not admit a complete axiomatization or a Tarski-type truth definition, and, perhaps most critically, the law of excluded middle does not hold.