Skip to content

Claim Quantifier Scope Calibration

State exactly what domain a claim ranges over and what burden its quantifier creates.

Gap-fill disposition

  • Target prime: quantifier
  • Queue position: 47
  • Disposition: draft_full_archetype
  • Drafted archetype slug: claim_quantifier_scope_calibration

Drafting rationale

The queue target defines a quantifier as the operator that specifies claim scope over a domain: all, some, none, most, or exactly N. The pre-draft check found no accepted direct, alias, variant, component, or mechanism coverage for this prime in the current source export. The strongest neighbors are prior queue outputs: predicate_criterion_formalization, which treats quantifiers as one possible composition risk for predicates, and counterexample_boundary_shift_audit, which contains quantifier-scope parsing and quantifier downgrading as subordinate components. Those neighbors are useful but narrower than the general gap: a reusable archetype for binding Q, D, P, support burden, and revision consequence.

Catalog fit

This archetype should sit in the claim-scope / logic-of-claims family near predicate formalization, counterexample audit, falsifiability handling, and proof-by-contradiction reasoning. It should not be collapsed into the previous predicate draft unless quantifier scope remains first-class. In final reconciliation, it may donate mechanisms such as quantifier_downgrade_rule, nested_quantifier_parse, and claim_strength_ladder_review to neighbor archetypes.

Use guidance

Use this when the key risk is that a claim's stated or implied quantifier is stronger, weaker, broader, narrower, or structurally different from the evidence and domain that support it. Do not use it merely because a sentence contains the word “all” in casual rhetoric. Use it when the quantifier changes what proof, refutation, policy, specification, statistical inference, or accountability requires.

Common Mechanisms

  • claim_strength_ladder_review
  • domain_bound_checklist
  • exact_n_count_audit
  • existential_witness_card
  • most_threshold_statement
  • negative_claim_exhaustion_check
  • nested_quantifier_parse
  • quantified_claim_template
  • quantifier_downgrade_rule
  • universal_counterexample_test

Compression statement

Claim quantifier scope calibration converts loose all/some/none/most/exactly-N language into an auditable claim form by identifying the domain of quantification, the predicate being asserted, the relevant counting or measure basis, and the support burden implied by the quantifier. It prevents universal, existential, negative, majority, and cardinality claims from being proved, refuted, softened, or transported under the wrong scope.

Canonical formula: For claim Q x ∈ D : P(x), record Q, D, P, measure/counting basis M, evidence burden B(Q,D,M), and revision rule R when evidence contradicts the quantified force.

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

Built directly on (6)

  • Constraint: Limits possibilities to guide outcomes.
  • Falsifiability: A claim is scientific only if it could in principle be empirically refuted.
  • Predicate: A testable yes-or-no property of an object, returning a truth value.
  • Proof By Contradiction: Establish a claim by assuming its negation and deriving an impossibility.
  • 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 12 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: Defines system limits.
  • Cardinality: Size of sets.
  • Category: Describe a system by its arrows and their composition, not by what its objects are.
  • Classification: Sorting entities into discrete categories by explicit rules, turning unbounded variation into a finite, reusable map for downstream reasoning and action.
  • Conditional Probability: Re-normalize a probability measure to the information context that is taken as given.
  • 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.
  • 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.

Variants

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

Universal-Claim Burden Calibration · claim strength variant · recognized

A variant for all/every/always claims where a valid counterexample over a fixed domain forces proof repair, scope revision, or quantifier downgrade.

  • Distinct from parent: The parent covers all quantifier types; this variant specializes in universal burden and counterexample handling.
  • Use when: A claim says all/every/always/any/must across a domain; Counterexamples or proof gaps would change the claim status; The domain can be made stable enough to evaluate universality.
  • Common mechanisms: universal counterexample test, quantifier downgrade rule

Existential Witness Requirement · claim strength variant · recognized

A variant for some/exists/possible claims that require at least one valid witness in the declared domain but do not support broader frequency claims.

  • Distinct from parent: The parent covers all quantifier burdens; this variant is witness-centered.
  • Use when: The claim says some, possible, there exists, or at least one; A single valid instance is sufficient for the narrow claim; There is risk of inflating the witness into typicality or universality.
  • Common mechanisms: existential witness card, claim strength ladder review

Majority or Typicality Threshold Specification · measurement variant · recognized

A variant for most, usually, generally, common, rare, or typical claims that require denominator, threshold, weighting, and uncertainty statements.

  • Distinct from parent: The parent includes exact, universal, existential, and negative quantifiers too.
  • Use when: A claim depends on majority, frequency, typicality, or rarity; Exceptions exist but should not automatically defeat the claim; The denominator or weighting basis may change the result.
  • Common mechanisms: most threshold statement, claim strength ladder review

Exact Cardinality Claim Check · formal variant · recognized

A variant for exactly N, at least N, at most N, and only N claims where inclusion, duplication, and counting rules must be explicit.

  • Distinct from parent: The parent handles all quantifier strengths; this variant is cardinality-specific.
  • Use when: The claim involves exact or bounded counts; Duplicate, overlapping, partial, or missing cases can change the count; The count affects eligibility, compliance, proof, or reporting.
  • Common mechanisms: exact n count audit, domain bound checklist

Near names: Quantifier Scope Audit, Quantified Claim Formalization, Claim Strength Calibration, All/Some/None Claim Audit.