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.

Subscribe to remove adverts and access premium resources