Apps
Explore
Aspect DirectoryKnowledge GraphAnalysis Lenses
Learn
Get StartedWhy TellDearGuideArticlesEssentialsGlossaryFAQDocumentationProviders
DE — DeutschLogin

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

Appeal to Consequences (Argumentum ad Consequentiam)

Also Known As: Argumentum ad Consequentiam Appeal to Consequences of a Belief
Informal Fallacy ID: appeal_to_consequences

Definition

The appeal to consequences argues that a belief must be true (or false) because accepting it would lead to desirable (or undesirable) outcomes. It confuses the pleasantness or utility of a belief with its truth value. While consequences may be relevant to decision-making, they have no bearing on whether a factual claim is actually true.

Examples

"Evolution can't be true because if it were, life would have no inherent meaning, and that would be terrible for society."

A manager tells his team: 'The audit report cannot show that we missed our targets this quarter. If it does, investor confidence will collapse and people will lose jobs — so let's make sure the numbers tell a better story.'

A student argues: 'I can't accept that I have a learning disability, because if I did, people would treat me differently and I'd lose confidence in myself. So it must not be true.' The discomfort of the conclusion is used to reject the diagnosis rather than engaging with the evidence.

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.
View in glossary →

Desirable(Consequences(P)) -> P OR Undesirable(Consequences(P)) -> NOT P
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.
View in glossary →
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.
View in glossary →

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

  1. 1

    Is the truth of the claim being evaluated based on its consequences rather than evidence?

    Type: binary
  2. 2

    Are the consequences being used as the primary reason to accept or reject the claim?

    Type: binary
  3. 3

    Is the desirability of the outcome being conflated with the truth of the premise?

    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.
View in glossary →

Related Aspects

← related to
Argumentum ad Baculum

Argumentum ad baculum (appeal to the stick/force) occurs when threats of force, punishment, or other negative consequences are used as 'reasons' to accept a conclusion. Rather than providing evidence that a claim is true or a course of action is wise, the arguer motivates compliance through intimidation. The threat may be explicit ('agree or face consequences') or implicit ('it would be a shame if something happened'). This substitutes coercion for persuasion, making it a manipulative technique rather than genuine argumentation.

Hierarchical Context

→ is a Informal Fallacies

Try it in action

Use these tools to detect, analyze, or train this aspect.

🎓 Fallacy Trainer

Quiz yourself on this aspect

Next →
🔍 Text Analyzer

Scan a text for this pattern

Next →
⚗️ Argument Lab

Analyze an argument step by step

Next →