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.

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

• ad_hoc_boundary_shift_probe
• category_predicate_separation
• claim_scope_freeze
• counterexample_admissibility_test
• independent_criterion_challenge
• negative_case_conservation
• quantifier_downgrade_rule
• scope_revision_memo
• symmetric_case_application
• true_member_language_flag

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.

▸ Show 4 more

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