excluded middle

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

excluded middle

n
(Logic) logic the principle that every proposition is either true or false, so that there is no third truth-value and no statements lack truth-value
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
Since in Constructive logic the 'Law of Excluded Middle' is not valid, in Bishop's constructive algebra the following relation is also interesting: a relation symmetric to ordered relation [less than or equal to].
In De Interpretatione 6-9, Aristotle considers three logical principles: the principle of bivalence, the law of excluded middle, and the rule of contradictory pairs (according to which of any contradictory pair of statements, exactly one is true and the other false).
This statement of the law of excluded middle sounds straightforward enough, but then, what is an assertible?