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

law (or principle) of the excluded middle

phrase

Logic
  • The principle that one (and one only) of two contradictory propositions must be true.

    • ‘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.’
    • ‘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.’
    • ‘It seems a pretty harmless conclusion to draw, and formally it depends upon the Aristotelian law of the excluded middle: there is no middle term between at home and not at home.’
    • ‘As well, the primary thesis in that thread was that any & all dichotomies have an identical structure that is based on the principle of the excluded middle: A or not A.’
    • ‘One way in particular that this influence was exerted was over the law of the excluded middle.’
    • ‘In 1913 Lesniewski published an article on the law of the excluded middle, then in the following year a publication on Russell's paradox.’