Apps
Explore
Aspect DirectoryKnowledge GraphAnalysis Lenses
Learn
Get StartedWhy TellDearGuideArticlesEssentialsGlossaryFAQDocumentationProviders
DE — DeutschLogin

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

Fallacy of Four Terms (Quaternio Terminorum)

Also Known As: Quaternio Terminorum Four-Term Fallacy Ambiguous Middle Term
Formal Fallacy ID: fallacy_of_four_terms

Definition

The fallacy of four terms occurs in a syllogism when an ambiguous middle term is used with two different meanings, effectively introducing a fourth term disguised as the third. A valid syllogism requires exactly three terms, each used consistently. When the middle term shifts meaning, the logical connection between the premises breaks, making the conclusion invalid despite the appearance of proper syllogistic form.

Examples

"All banks are beside rivers. All financial institutions are banks. Therefore, all financial institutions are beside rivers." (The word 'banks' means 'riverbanks' in the first premise and 'financial institutions' in the second.)

'Nothing is better than lifelong happiness. A slice of pizza is better than nothing. Therefore, a slice of pizza is better than lifelong happiness.' (The word 'nothing' shifts meaning from 'no thing exists that is better' to 'the absence of anything,' creating a hidden fourth term.)

'Only man is a rational animal. No woman is a man. Therefore, no woman is a rational animal.' (The word 'man' is used to mean 'humanity' in the first premise and 'male' in the second, making it a four-term syllogism.)

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.
View in glossary →

All A are B; All C are D; therefore All A are D [where B and C appear same but differ]
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.
View in glossary →
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.
View in glossary →

Binary (yes/no) questions an LLM must answer to identify this aspect:

  1. 1

    Does the syllogism contain exactly three distinct terms?

    Type: binary
  2. 2

    Is any term being used with two different meanings across the premises?

    Type: binary
  3. 3

    Does the middle term have a consistent definition in both premises?

    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.
View in glossary →

Related Aspects

← 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
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.

Hierarchical Context

→ is a Formal Fallacies

Try it in action

Use these tools to detect, analyze, or train this aspect.

🎓 Fallacy Trainer

Quiz yourself on this aspect

Next →
🔍 Text Analyzer

Scan a text for this pattern

Next →
⚗️ Argument Lab

Analyze an argument step by step

Next →