Apps

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

Argument from Silence (Argumentum ex Silentio)

Also Known As: Argumentum ex Silentio
Informal Fallacy ID: argument_from_silence

Definition

The argument from silence draws a conclusion based on the absence of statements, evidence, or documentation. It reasons that because something was not mentioned, recorded, or addressed, it did not happen or does not exist. While silence can sometimes be informative (especially when someone had reason and opportunity to speak), it is generally a weak basis for positive claims.

Examples

"The ancient Romans never wrote about kangaroos, so they clearly never visited Australia." (While the conclusion may be correct, the absence of written records is weak evidence on its own.)

A conspiracy theorist insists: 'The government has never officially denied that they have alien technology at Area 51, which proves they're hiding something.' (The absence of a specific denial is treated as confirmation of the claim.)

A job applicant is rejected and tells a friend: 'The interviewer never said I was underqualified, so the real reason must be discrimination.' (The lack of a stated reason is used to infer a specific, unverified explanation.)

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.

NOT Stated(Authority, 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.
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

    Is the absence of a statement or evidence being treated as proof?

    Type: binary
  2. 2

    Could there be reasons for the silence other than the claim being false?

    Type: binary
  3. 3

    Is the source expected to have addressed this topic if it were relevant?

    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