Share this entry

law (or principle) of the excluded middle

Definition of law or principle of the excluded middle in English:

Logic The principle that one (and one only) of two contradictory propositions must be true.
Example sentences
  • This is likely because in logic a paradox is going to be translated as a strict contradiction - a clear violation of the law of the excluded middle.
  • In his Hamburg lecture in 1921, Hilbert first presented the idea of using choice functions to deal with the principle of the excluded middle in a formal system for arithmetic.
  • In 1913 Lesniewski published an article on the law of the excluded middle, then in the following year a publication on Russell's paradox.
See parent entry: exclude

Share this entry

 

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.