Apps

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

Argument from Personal Incredulity

Also Known As: Argument from Incredulity Argument from Personal Disbelief Divine Fallacy
Informal Fallacy ID: personal_incredulity

Definition

The argument from personal incredulity treats one's own inability to understand or imagine something as evidence that it is not true. It confuses subjective comprehension with objective possibility. Because the arguer cannot fathom how something could work, they conclude it cannot work. This is particularly dangerous in domains requiring specialized knowledge that the arguer lacks.

Examples

"I just can't understand how natural selection could produce something as complex as the human eye. There must be an intelligent designer."

A politician dismisses economic modeling: 'I've looked at these charts and I simply cannot wrap my head around how cutting taxes could ever increase revenue. It makes no sense to me, so supply-side economics must be completely wrong.'

A fitness influencer posts: 'Scientists claim that mitochondrial processes convert food into ATP at the cellular level — I've tried to understand it and it's total gibberish to me. Clearly this is just made-up jargon and the real energy comes from clean eating and positive vibes.'

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 Understand(S, 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 argument based on the speaker's inability to understand or imagine something?

    Type: binary
  2. 2

    Is personal incredulity being used as evidence against the claim?

    Type: binary
  3. 3

    Could the claim be true regardless of whether the speaker can comprehend it?

    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