Apps

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

Appeal to Tradition (Argumentum ad Antiquitatem)

Also Known As: Argumentum ad Antiquitatem Appeal to Antiquity Appeal to Common Practice
Informal Fallacy ID: appeal_to_tradition

Definition

The appeal to tradition argues that something is correct, good, or beneficial because it has been done that way for a long time. It treats longevity as evidence of value, ignoring that traditions can persist due to inertia, power structures, or lack of alternatives rather than inherent merit. While traditions may encode accumulated wisdom, their age alone does not validate them.

Examples

"We've always allocated the budget this way in our department. There's no reason to change a system that has worked for 30 years."

A senator argues against reforming the electoral college: 'This system has been the foundation of American democracy for over two centuries. Our founders designed it, generations have trusted it, and we should not abandon what has stood the test of time.'

A parent insists on a strict 9 PM bedtime for their teenager: 'In this family, kids go to bed at nine. My parents had that rule, I grew up with it, and it never did anyone any harm. We're not changing it now.'

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.

Traditional(X) -> Good(X) OR True(X)
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 something is good or true because it is traditional?

    Type: binary
  2. 2

    Is the age or longevity of the practice used as the primary justification?

    Type: binary
  3. 3

    Is independent evidence provided beyond the appeal to tradition?

    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