excluded middle
LowFormal, Academic, Technical
Definition
Meaning
The logical principle that a statement is either true or false; there is no third, intermediate, or alternative possibility between two mutually exclusive options.
In broader contexts, it can describe any situation presented as a strict binary choice where a middle ground or compromise is deemed impossible or unacceptable.
Linguistics
Semantic Notes
Primarily a technical term in logic, philosophy, and law, but used metaphorically in everyday language to critique oversimplified binary thinking.
Dialectal Variation
British vs American Usage
Differences
No significant lexical or grammatical differences. The phrase is used identically in both varieties.
Connotations
Connotations are identical: high formality and association with rigorous argumentation.
Frequency
Equally low-frequency and specialized in both dialects, confined primarily to academic and technical discourse.
Vocabulary
Collocations
Grammar
Valency Patterns
the + excluded middlelaw/principle of + the excluded middleverb (e.g., apply, violate) + the excluded middleVocabulary
Synonyms
Strong
Neutral
Weak
Vocabulary
Antonyms
Phrases
Idioms & Phrases
- “There is no excluded middle here; you're either with us or against us.”
Usage
Context Usage
Business
Rare. Might appear in formal risk assessment or strategic decision-making to describe an unavoidable binary choice.
Academic
Common in philosophy, logic, mathematics, and computer science to denote a foundational principle of classical logic.
Everyday
Very rare. Used metaphorically to criticize arguments that present false dichotomies.
Technical
The primary context. Central to discussions in formal logic, non-classical logics (e.g., intuitionistic logic which rejects it), and legal reasoning.
Examples
By Part of Speech
adjective
British English
- The philosopher made an excluded-middle argument.
American English
- Her position was one of excluded-middle reasoning.
Examples
By CEFR Level
- The debate was simplified into an excluded middle: you either support the plan completely or you are against progress.
- In classical logic, the law of the excluded middle is fundamental, asserting that any proposition must be either true or false.
- Intuitionistic mathematicians reject the principle of the excluded middle, arguing that for some statements, we cannot definitively assert either truth or falsity.
Learning
Memory Aids
Mnemonic
Imagine a light switch: it's either ON (true) or OFF (false). The law of the excluded middle says there's no 'half-on' or 'third position'.
Conceptual Metaphor
THINKING IS A JOURNEY ALONG A PATH WITH ONLY TWO DESTINATIONS (TRUE or FALSE).
Watch out
Common Pitfalls
Translation Traps (for Russian speakers)
- Прямой перевод 'исключённая середина' is the correct established term in logic/philosophy. Avoid calquing it as 'исключённый средний' or confusing it with 'золотая середина' (the golden mean).
Common Mistakes
- Using 'excluded middle' as an adjective (e.g., 'an excluded middle situation'). It is primarily a noun phrase. Omitting the definite article 'the' when referring to the logical law (e.g., 'law of excluded middle' is less standard than 'law of the excluded middle').
Practice
Quiz
In which field is the term 'law of the excluded middle' a foundational technical principle?
FAQ
Frequently Asked Questions
Not exactly. The 'excluded middle' is a formal logical principle. A 'false dilemma' is an informal fallacy that incorrectly presents a situation as adhering to this principle when, in reality, more options exist.
Yes. In a legal context, a verdict of 'not proven' (used in Scots law) is a third option besides 'guilty' (true) and 'not guilty' (false), thus rejecting a strict binary.
No. It is axiomatically accepted in classical logic but is rejected or modified in other logical systems, such as intuitionistic, fuzzy, or many-valued logics, which allow for more than two truth values.
They are opposites. 'Excluded middle' insists no middle exists between two extremes. 'Middle ground' explicitly seeks a compromise or intermediate position between two extremes.