Category-Predicate Separation¶
Formal parse — instantiates Counterexample Boundary-Shift Audit
Breaks a challenged universal claim into its quantifier, subject category, and asserted property so membership can be judged separately from the property in dispute.
Category-Predicate Separation is the parsing step that makes the whole audit possible. A claim like "all X are Y" fuses three things a defender can later blur together: a quantifier (all? most? real?), a subject category (who counts as an X), and an asserted property (the Y being claimed). The boundary-shift dodge works precisely by letting the property leak into the definition of the category — so that "being an X" quietly comes to mean "being a Y." Separation pulls the three apart and writes them down as distinct objects, and it labels whether the claim is meant definitionally (true by meaning) or empirically (a testable bet about the world). Once membership is a separate record from the property, you can ask the only question that matters: is this case an X by a rule that never mentions Y?
Example¶
A nutrition-science claim under review reads: "All processed foods are unhealthy." Separation decomposes it. Quantifier: universal — all, no hedging. Subject category: "processed foods," which the audit must pin to an independent definition (say, foods altered from their raw agricultural state by an industrial step). Asserted property: "unhealthy," itself needing an operational meaning (raises a defined health-risk marker). Definitional-vs-empirical label: the speaker intends it empirically — as a finding about the world — not as a stipulated definition of processed.
That parse immediately exposes the pressure point. Pasteurized milk and frozen spinach are processed by the stated category rule, yet are not unhealthy by the stated property rule. Because separation recorded "processed" without reference to "unhealthy," a defender cannot later smuggle in "well, truly processed foods are the unhealthy ones" without the audit noticing that the subject category has been rewritten from the predicate. The parse doesn't resolve the nutrition question; it makes the claim auditable by fixing what its two nouns independently mean.
How it works¶
- Extract the quantifier and record its true strength — distinguishing a genuine universal from a purity form ("real processed foods") that is a quantifier in disguise.
- Isolate the subject category and demand a membership rule stated in terms that do not reference the asserted property.
- Isolate the asserted property as its own predicate with its own operational test.
- Label the claim's status — definitional (analytic, true by meaning) or empirical (synthetic, testable), because the two are defended by completely different standards.[n1]
The output is a small structured record: three fields plus the status label, each independently editable.
Tuning parameters¶
- Parse granularity — how finely the subject and property are decomposed. Fine granularity catches compound predicates hiding a second claim but can over-formalize casual speech.
- Independence enforcement — how strictly the category rule must avoid property terms. Strict enforcement is what prevents definitional leakage but may reject a category that is legitimately correlated with the property.
- Quantifier canonicalization — whether hedges ("basically all," "any real") are normalized to a formal quantifier or preserved verbatim.
- Status-label default — whether ambiguous claims are treated as empirical (the demanding default) or definitional until argued otherwise.
When it helps, and when it misleads¶
Its strength is that it converts a slippery sentence into fixed, separately-editable parts, removing the ambiguity the boundary-shift move feeds on. With category and property held apart, later contraction is visible rather than silent.
Its failure mode is false formalization: forcing a rich, context-laden term into a crisp predicate can distort what the speaker meant, and an over-eager parse may "find" a universal quantifier where the speaker intended a loose generalization. The classic misuse is weaponized literalism — parsing a colloquial "processed foods are bad for you" as an absolute universal in order to defeat it on a technicality. The guarding discipline is to parse charitably: adopt the strongest coherent reading of quantifier and category, and confirm the status label with the speaker rather than assigning it to win.
How it implements the components¶
Separation supplies the archetype's structural front-end:
quantifier_scope_parse— extracts and records the claim's quantifier and its true scope.subject_category_record— captures the subject category as an object with a property-independent membership rule.asserted_property_predicate— records the claimed property as its own testable predicate.definitional_vs_empirical_label— tags whether the claim is analytic or empirical, setting the standard the rest of the audit will hold it to.
It does not trace how the category's meaning has drifted across prior usage (historical_usage_trace) or scan for loaded "true / real" phrasing — that surface-language work belongs to its nearest twin True-Member Language Flag; separation formalizes the claim's logic, whereas the flag reads its rhetoric.
Related¶
- Instantiates: Counterexample Boundary-Shift Audit — separation produces the parsed claim every other mechanism operates on.
- Sibling mechanisms: Ad Hoc Boundary-Shift Probe · Claim Scope Freeze · Counterexample Admissibility Test · Independent-Criterion Challenge · Negative-Case Conservation · Scope-Revision Memo · Symmetric-Case Application · True-Member Language Flag
Editorial Notes¶
Form Classification¶
Form family: Analysis, Modeling & Optimization
Rationale: Breaks a challenged universal claim into its quantifier, subject category, and asserted property so membership can be judged separately from the property in dispute, making its operative form a computation, comparison, model, or analytic representation used to infer, estimate, or choose.
Independent corroboration: The frozen evidence defines Category-Predicate Separation as 'Breaks a challenged universal claim into its quantifier, subject category, and asserted property so membership can be judged separately from the property in dispute', so its operative form is Analysis, Modeling & Optimization.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Philosophy
Origin pattern: Single lineage
Present-day reach: Universal
Rationale: Formal and analytic philosophy parse universal claims into quantifier, subject category, and predicate so definitional membership is not confused with an empirical property.
Related originating lineages:
- Linguistics & Semiotics — Semantic analysis contributes explicit predicate structure and the distinction between meaning and world-directed assertion.
Review resolution: Formal and analytic philosophy are primary because the method separates quantifier, subject class, predicate, and analytic-versus-empirical status before testing a universal claim. Linguistic semantics is a genuine adjacent lineage for predicate structure and meaning, while the formal parse has universal reach.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
[n1] The analytic–synthetic distinction — analytic claims are true by meaning ("all bachelors are unmarried"), synthetic claims are bets about the world ("all swans are white"). W. V. O. Quine famously pressured the line, but for audit purposes the label still governs which standard applies: a definitional claim is defended by usage, an empirical one by cases. ↩