The Case Against Boolean Logic

Summary

This partial ingest covers a short Abuse of Notation essay arguing against overgeneralized “Boolean thinking.” The essay claims that yes/no framing can hide context, incompleteness, or meaning failures, and it points to intuitionistic or constructive logic as a proof-oriented alternative. It is useful as a philosophical prompt for Intuitionistic Logic, but it should not be treated as a rigorous technical reference for proof theory.

Key Claims

• The essay distinguishes Boolean logic as a useful formal framework from “Boolean thinking” as a habit of forcing all questions into true/false categories.
• It argues that statements may depend on context, may be underdetermined by incomplete premises, or may be meaningless without a suitable interpretive frame.
• The author criticizes the idea of a universal all-encompassing context from which every statement can be evaluated.
• The proposed alternative is non-Boolean thinking, with intuitionistic logic presented as a proof-centered formalism that foregrounds context and construction.
• The final section extends the argument to politics and propaganda; those claims are interpretive and should be kept separate from the technical logic claims.

Methods / Formalism

• The essay’s central technical hook is the classical law of excluded middle:

$$P\vee \neg P.$$

• In intuitionistic logic, P lor not P is not accepted as a general theorem schema unless one can construct a proof of P or a proof of not P.
• A proof-theoretic way to state the context dependence is a judgment

$$\Gamma ⊢P,$$

where Gamma is the current context of assumptions and P is the proposition being proved.

• The essay loosely blends bivalence, excluded middle, context sensitivity, and meaning failure. Intuitionistic Logic keeps these technical distinctions explicit.
• See Intuitionistic Proof Rules for the reusable proof-theoretic rules that should be treated as the formal anchor.

Evidence / Experiments

• The source is an essay, not an empirical study or formal proof.
• It gives informal examples about context and dichotomous thinking rather than a systematic comparison of classical and non-classical logics.
• The intuitionistic-logic material should be cross-checked against proof-theory or type-theory sources before being used as formal evidence.

Connections

• Seeds Intuitionistic Logic as a compact concept page for constructive proof and non-classical logic.
• Links to Intuitionistic Proof Rules for the proof judgment and connective rules behind the constructive reading.
• Connects to Formal Methods through proof assistants, constructive proofs, and programs-as-proofs interpretations.
• Connects indirectly to Algorithms and Data Structures because constructive proofs often correspond to algorithms under Curry-Howard-style readings.

Open Questions

• Which proof-assistant or type-theory source should become the canonical technical reference for intuitionistic logic in this wiki?
• Should the wiki eventually split “context-sensitive truth,” “meaning failure,” and “constructive provability” into separate concept pages?
• Where should paraconsistent, many-valued, modal, and constructive logics sit relative to the existing temporal-logic cluster?

Citation

Abuse of Notation. (2026). The Case Against Boolean Logic. Abuse of Notation.