Apps

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

Straw Man

Also Known As: Aunt Sally Hollow Man Argument
Informal Fallacy 📰 Media Bias ID: straw_man

Definition

The straw man fallacy involves misrepresenting someone's argument to make it easier to attack. Instead of engaging with the actual position, the arguer substitutes a distorted, exaggerated, or oversimplified version and then refutes that weaker version. The original argument remains unaddressed. It is one of the most common and effective rhetorical tactics in adversarial discourse.

Examples

Person A: "I think we should have stricter regulations on industrial pollution." Person B: "My opponent wants to shut down all factories and destroy the economy. We can't let that happen."

Politician A: 'We should consider reforming the pension system to ensure its long-term sustainability.' Politician B: 'My colleague wants to strip hardworking retirees of their benefits and leave elderly citizens with nothing.'

Parent: 'I think teenagers should have a midnight curfew on weekdays.' Teen: 'So you want to lock me in the house forever and treat me like a prisoner?'

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.

Attacks(x, Distort(Claim(y))) ∧ Distort(C) ≠ C
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

    Does the arguer present or paraphrase the opponent's position?

    Type: binary
  2. 2

    Is the presented version distorted, exaggerated, or a caricature of the original?

    Type: binary
  3. 3

    Is the refutation directed at the distorted version rather than the actual position?

    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.

Hierarchical Context