Apps

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

Middle Ground Fallacy (Argument to Moderation)

Also Known As: Argument to Moderation Argumentum ad Temperantiam Golden Mean Fallacy False Compromise
Informal Fallacy ID: middle_ground

Definition

The middle ground fallacy assumes that the truth must lie between two extreme positions, or that a compromise is always the most reasonable solution. While moderation and compromise are often pragmatically wise, they are not always logically correct. When one side is right and the other wrong, splitting the difference yields an incorrect answer. Truth is not determined by averaging competing claims.

Examples

"Scientists say the Earth is 4.5 billion years old. Young Earth creationists say it's 6,000 years old. The truth probably lies somewhere in between -- maybe a few million years."

During a vaccine safety debate, a talk-show host concludes: 'Medical experts say vaccines are safe and effective, but some guests tonight say they're dangerous. I think the sensible position is that vaccines are probably somewhat risky — the truth is always in the middle.'

A manager mediating a workplace dispute says: 'One employee says the project deadline is completely unrealistic, and another says it's perfectly fine. So let's just cut the timeline in half — that's the fair compromise.' (Even though the original deadline may have been genuinely impossible.)

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.

Position(A) AND Position(B) -> True(Midpoint(A, B))
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

    Does the argument assume the truth lies between two opposing positions?

    Type: binary
  2. 2

    Is the middle position supported by independent evidence?

    Type: binary
  3. 3

    Could one of the extreme positions actually be correct?

    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