Counterexample Boundary Shift Audit¶
Freeze the original category scope before judging whether a counterexample can be excluded.
This candidate was drafted from queue position 46: no_true_scotsman. It should be reviewed as a bounded fallacy-correction and claim-scope discipline archetype, not as a generic category-boundary or counterexample-search entry.
When This Archetype Applies¶
Partial catalog groundingSome structural conditions are represented by existing abstractions, but no sufficient condition set is fully represented.
Diagnostic problem
A universal or category-based claim encounters a counterexample. Instead of accepting the counterexample, weakening the quantifier, narrowing the claim by a principled prior criterion, or revising the theory, the claimant redefines membership in the subject category to exclude the counterexample. The claim is preserved, but the subject category is emptied of independent content because membership increasingly means “being the kind of case that satisfies the claim.”
Applicability expression6 distinct conditions
groundedpartly groundedopen
6 conditions, all required.
6Required in every casenumbered 1–6
These hold no matter which pattern applies.
Universal identity claim · grounded
A claim has a universal, near-universal, purity, essence, or identity form such as all X are Y or real X do Y.
The source archetype describes the situation as follows: A claim has a universal, near-universal, purity, essence, or identity form such as “all X are Y” or “real X do Y.” The normalized requirement above isolates the load-bearing portion used in this condition set.
primeNo 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.
Apparent category counterexample · grounded
A case is presented that appears to belong to the subject category while violating the asserted predicate.
The claim is preserved, but the subject category is emptied of independent content because membership increasingly means “being the kind of case that satisfies the claim.” The narrower requirement in this condition set is: A case is presented that appears to belong to the subject category while violating the asserted predicate.
primeNo 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.
Post-challenge authenticity test · grounded
The response introduces true, real, genuine, authentic, proper, or not really one of us language after the counterexample appears.
The source archetype describes the situation as follows: The response introduces “true,” “real,” “genuine,” “authentic,” “proper,” or “not really one of us” language after the counterexample appears. The normalized requirement above isolates the load-bearing portion used in this condition set.
primeNo 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.
Shifted membership criteria · grounded
Membership criteria were vague, implicit, or different before the challenge than after the challenge.
This is a load-bearing situation condition in the diagnostic expression. The condition is: Membership criteria were vague, implicit, or different before the challenge than after the challenge. If it does not hold, this particular condition set is incomplete.
primeNo 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.
Defensive category flexibility · grounded
The claimant treats category membership as a flexible defense of the claim rather than as an independently testable condition.
Instead of accepting the counterexample, weakening the quantifier, narrowing the claim by a principled prior criterion, or revising the theory, the claimant redefines membership in the subject category to exclude the counterexample. The narrower requirement in this condition set is: The claimant treats category membership as a flexible defense of the claim rather than as an independently testable condition.
primeNo 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.
Repeated boundary contraction · open
Repeated counterexamples are handled by repeated boundary contraction instead of by claim revision.
A universal or category-based claim encounters a counterexample. The narrower requirement in this condition set is: Repeated counterexamples are handled by repeated boundary contraction instead of by claim revision.
Other requirements and context (1)
Why these sit outside the expression
Supporting context — it may accompany or help interpret the situation, but it is not a load-bearing condition in a sufficient diagnostic set.
Supporting contextThe category carries social, moral, institutional, scientific, or identity stakes that make admitting exceptions costly.
Coverage
5 of 6 conditions grounded · 1 open.
Drafting note¶
The accepted catalog already contains counterexample_search, category_boundary_audit, boundary_critique_audit, and hypothesis_testing_frame. This draft fills the narrower gap exposed by the target prime: when a counterexample to a universal category claim appears, the category boundary must not be silently moved so the claim remains true by definition.
Recommended review posture¶
Use this draft if the catalog wants direct coverage for no-true-Scotsman correction as a transferable reasoning discipline. Merge it into counterexample_search or category_boundary_audit only if final reconciliation decides that post-counterexample boundary-shift control should remain a named variant rather than a full archetype.
Common Mechanisms¶
10 catalogued mechanisms: 9 documented across 5 implementation forms; 1 awaits an authored page and reviewed form classification.
The grouping reflects forms represented among the mechanisms currently documented for this archetype; an absent form is not necessarily an impossible implementation.
Analysis, Modeling & Optimization · 1 mechanism
- Category-Predicate Separation — Breaks a challenged universal claim into its quantifier, subject category, and asserted property so membership can be judged separately from the property in dispute.
Assessment, Review & Assurance · 3 mechanisms
- Ad Hoc Boundary-Shift Probe — Flags when a category's boundary was moved only after a counterexample appeared — the tell-tale post-hoc, circular shift that rescues a universal claim by redefining it.
- Counterexample Admissibility Test — Decides whether a proposed counterexample is a genuine member of the category by testing it against accepted edge cases rather than against the claim it threatens.
- Symmetric-Case Application — Checks that the membership test is applied with equal rigor to confirming and disconfirming cases, catching the asymmetric scrutiny that hides a boundary shift.
Monitoring, Sensing & Alerting · 1 mechanism
- True-Member Language Flag — Scans for 'true / real / genuine / authentic' language that appears after a counterexample, signaling a persuasive redefinition of who counts as a member.
Record, Log & Register · 3 mechanisms
- Claim Scope Freeze — Records the claim and its membership criteria exactly as they stood before any counterexample appeared, so later boundary changes are visible against a fixed baseline.
- Negative-Case Conservation — Keeps every disconfirming case on a durable ledger and logs each boundary change against the cases it would drop, so counterexamples can't be quietly deleted.
- Scope-Revision Memo — Documents a legitimate narrowing of a claim — the new scope, its independent rationale, and what changed — so revision is governed rather than ad hoc.
Rule, Policy & Commitment · 1 mechanism
- Independent-Criterion Challenge — Puts the burden on the claimant to supply a membership rule independent of the disputed property, and provides a route to contest an exclusion that fails.
Not Yet Form-Classified · 1 mechanism
- quantifier_downgrade_rule
Compression statement¶
Counterexample boundary-shift audit disciplines the no-true-Scotsman move by separating a claim's quantifier, subject category, membership rule, and asserted predicate; recording the counterexample under the pre-challenge criteria; testing any proposed exclusion for independent justification; and requiring either principled scope revision or claim weakening when the counterexample still belongs.
Canonical formula: Given claim ∀x∈C: P(x) and candidate a such that a∈C_old and ¬P(a), valid exclusion requires an independent criterion R(a)=false that is not equivalent to ¬P(a) and is not introduced solely after observing ¬P(a); otherwise revise ∀.
Related Abstractions¶
Abstractions this archetype builds on — directly (a source ingredient) or as a related pattern. Links follow the typed catalog namespace.
Built directly on (8)
- Boundary: Defines system limits.
- Category: Describe a system by its arrows and their composition, not by what its objects are.
- Falsifiability: A claim is scientific only if it could in principle be empirically refuted.
- 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.
- 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.
- Predicate: A testable yes-or-no property of an object, returning a truth value.
- Quantifier: Specifies the scope of a claim over a domain — all, some, none, most, or exactly N.
- Set and Membership: Groups and categorizes elements.
Also references 14 related abstractions
- Applicability Scope: An artifact publishes a bounded region of conditions under which its outputs or guarantees hold, so consumers can detect out-of-scope use before it causes harm.
- Boundary Critique: Examines inclusion/exclusion assumptions.
- Classification: Sorting entities into discrete categories by explicit rules, turning unbounded variation into a finite, reusable map for downstream reasoning and action.
- Confirmation Bias: Favor confirming evidence.
- Counterfactual Reasoning: Hypothetical alternatives.
- Counterfactuals: Alternate hypothetical scenarios.
- Essentialism: Inherent defining properties.
- Interpretation: Recover meaning from a representational substrate under a framework that makes some readings available and others not.
- Linguistic Universals: Shared language features.
- Mathematical Induction: Proof method across natural numbers.
Variants¶
Narrower or domain-specific specializations that share this archetype's core structure. Recognized variants are established; candidate variants are provisional.
Purity Redefinition Audit
Post-Hoc Scope Contraction Review
Circular Membership-Predicate Check
Legitimate Scope Revision Documentation
Editorial Notes¶
Problem Classification¶
Classification: Representation, Classification & Model Misfit → Category Boundary, Segmentation & Cluster Fit
Problem kernel: category membership shifts after counterexamples to preserve a universal claim
Rationale: After a counterexample appears, the claimant changes category membership to exclude it, making the class boundary strategically unstable and increasingly defined by agreement with the favored claim. Hypothesis reasoning explains the motive to evade disconfirmation, but the specific structural mechanism is a gameable membership rule rather than failure merely to seek or compare alternative explanations.
Boundary considered: Uncertainty, Evidence & Inference Failure → Explanatory Hypothesis, Pattern & Case Reasoning
Why this classification prevailed: Category-boundary failure identifies the post hoc manipulation of membership; hypothesis reasoning identifies premature commitment to a favored explanation even when the category itself remains stable.
Review outcome: Adjudicated after independent review; high confidence.