Law of Excluded Middle
Version 1.0.0 · Updated 2026-07-30
CORE DEFINITION
For any proposition, it is either true or false, with no third state in between (in classical logic).
SCAFFOLDING EFFECT
Reduce cognitive load
A binary cutting knife. It is very useful when debugging code or in legal debates. It forces the elimination of ambiguity, but when dealing with complex systems such as human emotions or quantum physics, one must be wary of its limitations (i.e., beware of the 'false dilemma').
Anchor fast decisions
One of the three fundamental laws of classical logic (law of identity, law of non-contradiction, law of excluded middle): for any proposition P, P∨¬P is necessarily true, with no intermediate state. It forces the resolution of ambiguity, making arguments dichotomously decidable, facilitating reductio ad absurdum and decision-making. However, its applicability is limited in many-valued logic, fuzzy sets, or contexts involving continuous human situations.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Law_of_excluded_middleverified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS