Apps

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

Masked Man Fallacy

Also Known As: Intensional Fallacy Epistemic Fallacy Illicit Substitution of Identicals
Formal Fallacy ID: masked_man_fallacy

Definition

The masked man fallacy occurs when Leibniz's law of identity substitution is incorrectly applied in intensional (belief/knowledge) contexts. While identical objects share all properties in extensional contexts, substitution fails when the context involves someone's beliefs, knowledge, or attitudes, because a person can know something under one description but not another. This is a subtle formal error rooted in the philosophy of language and reference.

Examples

"I know who my neighbor is. I don't know who robbed the bank. Therefore, my neighbor is not the person who robbed the bank."

Maria has known her accountant for years. She has no idea who has been embezzling funds from the company. Therefore, her accountant couldn't be the embezzler.

Jake knows exactly who his childhood friend is. He doesn't know who wrote the anonymous threatening letter. So his childhood friend clearly didn't write it.

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.

Know(a, x) ∧ ¬Know(a, y) ⇒ x ≠ y (in intensional context)
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.
Formally invalid

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 involve identity claims about individuals or objects?

    Type: binary
  2. 2

    Does it use a knowledge-based or belief-based (intensional) context?

    Type: binary
  3. 3

    Does it apply Leibniz's law of identity substitution in an intensional context where it is invalid?

    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