Skip to content

Informal Fallacy Diagnosis And Repair

Repair arguments that can look formally valid but fail because their premises, context, relevance, or category moves are defective.

Version
v1 · 2026-08-24 · History
Solution archetype #
542
Problem family
Correctness, Conformance & Formal Validity Failure
Problem subfamily
Logical Claim & Derivation Validity

This draft was generated from queue position 15 of phase_01_zero_any_coverage_batch_007_queue.yaml after the pre-draft disposition check found no accepted direct archetype, alias, duplicate-map collapse, or component/mechanism-only disposition that fully covers the accepted prime informal_fallacy.

The YAML front matter above is the canonical draft payload. The prose section is intentionally short because the required schema content is carried in the front matter for machine review.

When This Archetype Applies

Partial catalog groundingSome structural conditions are represented by existing abstractions, but no sufficient condition set is fully represented.

Actors accept, reject, or attack arguments using surface plausibility or named-fallacy labels without showing whether the inference actually fails in form, premise acceptability, relevance, context, category stability, comparison class, burden of proof, or normative warrant.

Applicability expression5 distinct conditions

any one(Contextual support failureandFallacy-label substitution)orException-prone broad claimorUnacceptable premiseorAbstraction-to-action leap
Algebraic((AB)CDE)

groundedpartly groundedopen

5 conditions, all required.

4At least one of theselettered A–E

Any one of these groups completes the pattern; conditions inside a group are required together.

A

Contextual support failure · grounded

An argument is persuasive although its support fails through content, context, relevance, or premise acceptability rather than formal invalidity.

primeInformal Fallacy— A named, recurring pattern of defective argument whose error lies not in logical form but in content, context, or the relevance and acceptability of its premises — so it can be valid in form yet still fail as reasoning.

B

Fallacy-label substitution · open

Participants trade fallacy names instead of testing the arguments to which the labels are applied.

C

Exception-prone broad claim · open

A universal, categorical, causal, normative, or comparative claim faces exceptions or rival framings.

D

Unacceptable premise · open

A premise may be unacceptable even when the conclusion follows from it.

E

Abstraction-to-action leap · open

A model, metric, category, or abstraction is treated as sufficient warrant for a concrete intervention.

Other requirements and context (1)

Why these sit outside the expression

Supporting contextit may accompany or help interpret the situation, but it is not a load-bearing condition in a sufficient diagnostic set.

  • Supporting contextLegal, policy, scientific, or public arguments carry action stakes.

1 of 5 conditions grounded · 4 open.

None of the 4 open conditions sit in the shared core — each falls inside one alternative branch, so grounding any one of them closes only that branch.

Read the methodologyDownload the trigger-logic data

Common Mechanisms

10 documented mechanisms across 6 implementation forms.

The grouping reflects forms represented among the mechanisms currently documented for this archetype; an absent form is not necessarily an impossible implementation.

Assessment, Review & Assurance · 4 mechanisms

  • Burden Shift Detection — Catches when the obligation to prove quietly moves from the claimant to the critic, so 'you can't disprove it' stops passing as evidence.
  • Category Boundary Stability Check — Holds a key term or category to one fixed meaning across the whole argument, catching definitions that drift to dodge counterexamples.
  • Feasible Alternative Comparison — Scores a real option against the best achievable alternative instead of an idealized one, exposing rejections driven by the nirvana fallacy.
  • Premise Relevance & Acceptability Test — Screens each premise for whether it is acceptable in its own right and actually relevant to the conclusion it is offered to support.

Decision, Gate & Allocation · 2 mechanisms

  • Fallacy Triage Matrix — Sorts a pile of suspected reasoning defects by fallacy family and by how much each actually damages the inference, then routes each one.
  • Formal vs Material Error Gate — Decides whether an argument's defect lives in its logical form or in its content, so formal invalidity is not mislabeled an informal fallacy.

Experiment, Test & Rehearsal · 1 mechanism

  • Counterexample Probe — Attacks a general claim by manufacturing the case that would make it false, then reports whether the claim survives, narrows, or breaks.

Interface, Display & Cue · 1 mechanism

Protocol, Workflow & Routine · 1 mechanism

  • Steelman then Refute Protocol — Rebuilds an argument in its strongest fair form before attacking it, so any refutation lands on the position itself and not a caricature.

Representation, Specification & Plan · 1 mechanism

  • Fallacy Label Justification Note — Ties a named fallacy to the exact defective inference move and states it as a reasoning correction rather than a stigmatizing label.

Compression statement

Informal Fallacy Diagnosis and Repair is an argument-quality archetype for cases where a conclusion may follow from the apparent surface form, yet the reasoning fails because the content, premise acceptability, relevance relation, context, comparison class, definition shift, burden allocation, or background norm is broken. It reconstructs the argument charitably, separates formal validity from material soundness, identifies the recurring defect pattern, tests the defect against counterexamples and context, and either repairs the argument, narrows the claim, redirects the burden, or rejects the inference.

Canonical formula: argument_unit + charitable_reconstruction + formal_validity_check + premise_acceptability_screen + relevance_context_test + fallacy_pattern_match + defeater_probe + repair_or_rejection_path -> improved_argument_quality

Abstractions this archetype builds on — directly (a source ingredient) or as a related pattern. Links follow the typed catalog namespace.

Built directly on (9)

  • Deductive Reasoning: General to specific conclusions.
  • Dialectic: Thesis–antithesis–synthesis reasoning.
  • Equivocation: A single token is used with two distinct referents at two points in a chain that presumes meaning-fixity, so an apparently sound inference silently fails.
  • Evidence: A defeasible, provenance-bearing relation between an observable trace and a hypothesis about an unobservable state.
  • False Dilemma: A partition of a rich option space is presented as exhaustive when it is not, so reasoning proceeds inside cells while real alternatives have been suppressed.
  • Informal Fallacy: A named, recurring pattern of defective argument whose error lies not in logical form but in content, context, or the relevance and acceptability of its premises — so it can be valid in form yet still fail as reasoning.
  • Nirvana Fallacy: Rejecting a real, available option because it falls short of an idealized counterfactual, when the operative comparison should be against the best feasible alternative.
  • No True Scotsman: When a counterexample to a universal claim appears, membership in the subject category is redefined to exclude it, preserving the claim by emptying it of content.
  • Normativity: What ought to be.

Also references 31 related abstractions

  • Abductive Reasoning: Infer the hypothesis that would best explain a surprising observation, accepted provisionally and held defeasibly against better candidates.
  • Accountability: Responsibility for actions.
  • Bias: Systematic, directional error distinct from random noise.
  • Boundary: Defines system limits.
  • Causality: Cause-effect relationships.
  • Classification: Sorting entities into discrete categories by explicit rules, turning unbounded variation into a finite, reusable map for downstream reasoning and action.
  • Completeness: No gaps in structure.
  • Confirmation Bias: Favor confirming evidence.
  • Confounding: Hidden variable interference.
  • Consistency: A set of commitments cannot jointly derive a contradiction.

Variants

Narrower or domain-specific specializations that share this archetype's core structure. Recognized variants are established; candidate variants are provisional.

Nirvana Fallacy Repair · subtype · recognized

Diagnose and repair arguments that reject feasible options because they fall short of an idealized counterfactual.

  • Distinct from parent: This is one named comparison-class failure inside the broader informal-fallacy diagnosis archetype.
  • Use when: A real option is compared to an impossible ideal; The operative comparison should be best feasible alternative rather than perfection.
  • Typical domains: policy analysis, engineering design, law governance
  • Common mechanisms: feasible alternative comparison, fallacy label justification note

No True Scotsman Boundary Repair · subtype · recognized

Diagnose and repair arguments that preserve universal claims by redefining category membership after counterexamples appear.

  • Distinct from parent: It is a category-stability subtype rather than the whole fallacy diagnosis pattern.
  • Use when: A universal claim is challenged by a counterexample; The speaker changes the membership rule to exclude the counterexample.
  • Typical domains: political reasoning, sociology, law governance
  • Common mechanisms: category boundary stability check, counterexample probe

False Dilemma Option-Space Repair · subtype · candidate

Repair arguments that present a non-exhaustive partition as if it were the full option space.

  • Distinct from parent: It focuses on partition and framing errors.
  • Use when: A decision is framed as only two choices; Suppressed alternatives would materially change the conclusion.
  • Typical domains: policy, negotiation, strategy
  • Common mechanisms: option space expansion prompt

Equivocation Meaning-Stability Repair · subtype · candidate

Repair arguments whose apparent inference depends on a token changing meaning across premises or conclusion.

  • Distinct from parent: It is a language/meaning subtype of informal fallacy diagnosis.
  • Use when: A key term carries multiple meanings; The argument relies on meaning fixity that is not actually present.
  • Typical domains: law, philosophy, product requirements
  • Common mechanisms: category boundary stability check

Near names: Informal Logical Fallacy, Material Fallacy, Argument Defect Triage, Fallacy Detection Checklist, Premise Relevance Audit.

Editorial Notes

Problem Classification

Classification: Correctness, Conformance & Formal Validity FailureLogical Claim & Derivation Validity

Problem kernel: fallacy labels replace evaluation of the actual inference

Rationale: Arguments are accepted or rejected without checking premise truth, relevance, scope, and whether the conclusion follows in context.

Independent corroboration: The earliest necessary condition in the frozen evidence is: Actors accept, reject, or attack arguments using surface plausibility or named-fallacy labels without showing whether the inference actually fails in form, premise acceptability, relevance, context, category stability, comparison class, burden of proof, or normative warrant. That is a logical claim and derivation validity problem because Claims or conclusions fail because quantifiers, predicates, premises, inference moves, modal scope, contradiction handling, narrative consistency, or self-reference are not logically sound.

Review outcome: Independent reviewer agreement; high confidence.