Apps

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

Equivocation

Also Known As: Semantic Ambiguity Doublespeak
Informal Fallacy ID: equivocation

Definition

Equivocation exploits the multiple meanings of a word or phrase by shifting its sense between premises and conclusion, making an argument appear valid when it is not. The term maintains its surface form while silently changing its meaning. It is a fallacy of ambiguity that undermines the logical structure of an argument by violating the requirement that terms be used consistently.

Examples

"A feather is light. What is light cannot be dark. Therefore, a feather cannot be dark."

The sign said 'fine for parking here,' so I parked there — it said it was fine!

Nothing is better than lifelong happiness. A slice of pizza is better than nothing. Therefore, a slice of pizza is better than lifelong happiness.

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.

Meaning₁(T) in P₁ ∧ Meaning₂(T) in P₂ ∧ Meaning₁ ≠ Meaning₂
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 a key term used in the argument with multiple possible meanings?

    Type: binary
  2. 2

    Does the meaning of the term shift between premise and conclusion?

    Type: binary
  3. 3

    Would the argument fail if the term were used consistently?

    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.

Related Aspects

→ correlates with
Masked Man Fallacy

Illicit use of Leibniz's law of identity in intensional contexts.

← related to
Ontological Fallacy

The ontological fallacy occurs when a model, map, theory, or abstraction is confused with the reality it represents. Conclusions are drawn as if the properties, limitations, and structure of the representation are properties of the thing itself. This is a fundamental category error: the model is an epistemological tool, not an ontological entity, and reasoning that collapses this distinction produces invalid inferences.

← related to
Semiotic Fallacy

The semiotic fallacy occurs when the sign (word, symbol, label, metric) is confused with its referent — the actual thing it represents. This is the argumentative form of Korzybski's famous dictum that 'the map is not the territory.' The fallacy manifests when properties of the representation are attributed to reality, or when manipulating the sign is treated as equivalent to changing the underlying reality.

← related to
Intensional Fallacy

The intensional fallacy occurs when co-referential terms (terms that refer to the same entity) are substituted within intensional (belief, knowledge, desire) contexts as though they were interchangeable. While 'the morning star' and 'the evening star' both refer to Venus, someone can believe something about the morning star without believing it about the evening star, because the cognitive content (intension) of the two descriptions differs. This is a formal error rooted in the distinction between extensional and intensional logic.

← related to
Syntactic Ambiguity

Syntactic ambiguity occurs when the grammatical structure of a sentence — rather than the meaning of individual words — allows for multiple interpretations, and this structural ambiguity is exploited in argumentation. Unlike equivocation (which involves ambiguous words), syntactic ambiguity arises from how words are grouped, how modifiers attach, or how clauses relate. The arguer benefits from one reading while retreating to another if challenged.

← related to
Ambiguous Middle Term

The ambiguous middle term fallacy occurs in syllogistic reasoning when the middle term — the term that connects the two premises but does not appear in the conclusion — is used with two different meanings. Because the middle term does not actually denote the same category in both premises, the syllogism effectively has four terms instead of three, breaking the logical connection that makes the syllogism valid. It is a specific instance of the fallacy of four terms, distinguished by the ambiguity residing specifically in the connecting term.

← related to
Etymological Fallacy

The etymological fallacy occurs when someone argues that the 'true' or 'correct' meaning of a word is its original or historical meaning, and that contemporary usage must defer to etymology. Language evolves, and the meaning of words is determined by current usage and social convention, not by historical origins. While etymology can illuminate conceptual history, it does not prescribe current meaning, and arguments that rely on etymological authority to settle semantic disputes commit this fallacy.

Hierarchical Context