Apps

🧪 This platform is in early beta. Features may change and you might encounter bugs. We appreciate your patience!

False Dilemma

Also Known As: Black-and-White Thinking Either/Or Fallacy False Dichotomy Bifurcation Fallacy
Informal Fallacy ID: false_dilemma

Definition

The false dilemma fallacy forces a choice between two options as if they are the only possibilities, when in reality a spectrum of alternatives exists. It oversimplifies complex situations into binary either/or framing, often to pressure someone into choosing the option the arguer prefers. The fallacy is particularly powerful because binary thinking feels decisive and clear.

Examples

"You're either with us or against us. There's no middle ground in this fight."

A manager tells his team: 'Either you're fully committed to this project and work overtime every weekend, or you simply don't care about your career here.'

A political commentator declares: 'You either support cutting the defense budget entirely or you want endless war. Pick a side.'

Formal Logic Pattern
FOL Pattern
The First-Order Logic formula representing this reasoning pattern's logical structure.
FOL (First-Order Logic) uses quantifiers (∀ = for all, ∃ = there exists), connectives (∧ = and, ∨ = or, ⇒ = implies, ¬ = not), and predicates to capture the essential form of a reasoning pattern. For example, the Ad Hominem fallacy: Person(x) ∧ HasFlaw(x) ⇒ Invalid(Claim(x)). These patterns allow automated verification of logical validity.

A ∨ B (ignoring C, D, ...)
Formal Verification:
Formal Verification
Checks whether a reasoning pattern is logically valid or invalid using an automated theorem prover.
Formal verification uses an SMT (Satisfiability Modulo Theories) solver — specifically Z3 — to mathematically check whether an argument's logical structure is valid. Each reasoning pattern is translated into First-Order Logic and tested: Can the premises be true while the conclusion is false? If yes, it's formally invalid. If no, it's formally valid. Many real-world patterns (analogies, heuristics) cannot be fully captured in formal logic — these are marked as not formally decidable, which doesn't mean they're wrong.
Not formally decidable

Verification Steps
Verification Steps
Binary yes/no questions that an AI must answer to detect a reasoning pattern in a text.
Each of the 452 aspects has verification steps — simple yes/no questions designed to systematically detect whether a pattern appears in a text. For ad hominem: "Does the argument attack a person rather than their claim?" For false dichotomy: "Are only two options presented when more exist?" This ensures consistent, reproducible analysis.

Binary (yes/no) questions an LLM must answer to identify this aspect:

  1. 1

    Are only two options or sides presented?

    Type: binary
  2. 2

    Are there other viable alternatives not mentioned?

    Type: binary
  3. 3

    Is the dichotomy artificially constructed rather than genuine?

    Type: binary
Deep Dive
The expandable detail section on each aspect page with examples, psychology, and counter-strategies.
The Deep Dive section provides in-depth information about each aspect: a real-world example showing the pattern in action, an explanation of why it works psychologically, practical advice on how to counter it, alternative names, and links to related aspects.

Related Aspects

→ correlates with
Anchoring Bias

Relying too heavily on the first piece of information (the anchor).

← correlates with
Practical Reasoning

I have goal G; action A achieves G; therefore I ought to do A.

← correlates with
Show the Other Side Deficit

Stating a controversial claim as absolute fact without acknowledging opposing views.

← related to
Accident Fallacy

The accident fallacy (a dicto simpliciter ad dictum secundum quid) occurs when a general rule is applied to a specific case whose circumstances make the rule inapplicable. The fallacy treats the general rule as absolute and exceptionless, ignoring the particular features of the case at hand that constitute a legitimate exception. It is the opposite of the converse accident (hasty generalisation), which moves from specific cases to general rules.

← related to
Denying a Conjunct

Denying a conjunct is a formal fallacy that occurs when, from the premise that a conjunction is false (not both A and B), and the premise that one conjunct is false, it is concluded that the other conjunct must be true. This confuses the logical conjunction (AND) with the exclusive disjunction (XOR). If 'not both A and B' is true, denying A only tells us the conjunction fails — it does not tell us anything about B, which could be either true or false.

← related to
Panacea Fallacy

The panacea fallacy occurs when a single, simple solution is proposed as the complete answer to a complex, multi-dimensional problem. The fallacy lies not in the potential value of the proposed solution but in the claim that it alone is sufficient. Complex problems typically have multiple interacting causes, and addressing only one causal pathway while ignoring others gives the illusion of resolution without achieving it. This fallacy exploits the human preference for simple, actionable narratives over complicated, ambiguous ones.

Hierarchical Context