Apps

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

Slippery Slope

Also Known As: Thin End of the Wedge Camel's Nose Domino Fallacy
Informal Fallacy ID: slippery_slope

Definition

The slippery slope fallacy claims that a relatively small first step will inevitably lead to a chain of related events culminating in a significant, usually negative, outcome. The argument fails because it assumes each step in the chain is inevitable without demonstrating the causal links. While some slippery slopes are legitimate causal arguments, the fallacy occurs when the intermediate steps are unsupported.

Examples

"If we allow students to redo one test, soon they'll demand to redo every assignment, then they'll expect to pass without doing any work at all, and eventually diplomas will become meaningless."

If the government mandates warning labels on sugary drinks, next they'll ban soda entirely, then they'll control everything we eat, and before long we'll be living in a totalitarian state where the government dictates every meal.

If we let employees work from home on Fridays, they'll want to work remotely full-time, then they'll stop collaborating altogether, and eventually the entire company culture will collapse.

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 ⇒ C ⇒ ... ⇒ Z (unjustified chain)
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 argument claim a chain of consequences from an initial action?

    Type: binary
  2. 2

    Is the chain of consequences presented without sufficient justification for each link?

    Type: binary
  3. 3

    Is the final predicted outcome extreme or catastrophic?

    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