Material A Priori
The doctrine minted in Investigation III §§11–12 (husserl-1901-logical-investigations-vol2): the sphere of essence divides into the formal — contentless categories "grouped round the empty notion of Something or Object as such" (Whole, Part, One, Relation) — and the material — the highest contentful Genera (Colour, Tone, Space, Sensation) that root "material ontologies." "This cardinal division… gives us the true distinction between the analytically a priori and the synthetically a priori disciplines" (§11). The criterion is exact (§12): an analytic law survives total formalization — "it must be possible, without altering the proposition's logical form, to replace all material which has content, with an empty formal Something, and to eliminate every assertion of existence" ("this house's existence includes its roof's" → "a whole W(A,B,C…) includes its parts"); a synthetic a priori law is a pure law that resists such formalization salva veritate. The exhibition-case comes from §11: "A colour cannot exist without something coloured" is necessary in virtue of its content — colour is "unthinkable" without something coloured — not as correlative-term triviality: "'Colour' is not a relative expression, whose meaning includes the idea of a relation to something else" (§11). Husserl claims priority over Kant in the same breath: the classical points "do not deserve to be called 'classical'" (§12 Note 1).
Key Points
- Two a prioris, one criterion: the analytic (formal-ontological) and the synthetic (material-eidetic) are separated not by psychology, containment, or self-evidence-feel but by the formalization-test — a semantic-structural criterion.
- The dependence-laws of parts-and-wholes are the paradigm synthetic a priori: colour/extension, quality/intensity, the retention-law of time-consciousness (§13) — necessities of content, legislated by material Genera.
- Against the empiricist collapse: if all necessity were analytic, the dependence-laws would be either trivial (correlative definitions) or empirical (inductive rules); Inv III shows they are neither — "empirical necessity is no necessity of essence" (§7).
- Against Kant's version: the containment-criterion and the faculty-grounding both go; the a priori is relocated from the subject's forms to the essences of contents (completed at Inv VI §64: laws bind "the Ideas of Sensibility and Understanding in general," not faculties).
- Two abstractions, rigorously distinct (§24): formalizing abstraction (content-names → "a certain sort of content") yields the formal a priori; generalizing/ideating abstraction (this red → Redness) yields material essences — conflating them wrecks both doctrines.
What the Concept Does
It gives descriptive phenomenology its license to legislate: every eidetic claim about perception, meaning, or act-structure in the later Investigations — and in the phenomenological tradition after them — is a material-a-priori claim in this section's sense. Within the wiki it also completes pure-logic from below: the Prolegomena's formal categories presupposed a formal/material line they never drew; §11 draws it, and in doing so defines what pure logic is not about (content) as exactly as what it is.
Stakes
The doctrine is the hinge on which "phenomenology as rigorous science" turns: without a synthetic a priori of content, description could yield only empirical generalities, and the anti-psychologism of Volume I would strand the Investigations of Volume II. Downstream, the concept is a genealogical seed the corpus can now track: the Crisis's "universal a priori of the life-world" occupies the same structural slot (a contentful, pre-formal a priori) — whether by descent or re-invention is a deferred question (seed noted in the extraction note's Part D, pending a targeted Crisis §§36–37 check; not a registered claim).
Connections
- is developed by husserl-1901-logical-investigations-vol2 — Inv III §§11–12, with §24's two-abstractions guard.
- is the condition of intelligibility of parts-and-wholes' laws — foundation-laws are its paradigm cases.
- extends pure-logic — supplies the formal/material line the Prolegomena's category-doctrine presupposed; the "apophantic analytic" of pure-grammar (Inv IV §14) sits on the formal side.
- contrasts with immanuel-kant — the explicit correction-claim (§12 Note 1); the a priori de-subjectivized.
- anticipates the Crisis's life-world a priori (husserl-1954-crisis, lebenswelt) — structural-slot kinship; genealogical status unadjudicated (deferred seed, extraction note Part D).
Open Questions
- Is the formalization-test itself formally specifiable without presupposing the material/formal line it is meant to draw (which terms count as "material"?) — the standard circularity worry; not addressed in the text.
- Does the Crisis's life-world a priori descend from this section, from Ideas II's regional ontologies, or from neither? Requires the targeted check flagged in the extraction note before any claim registration.
Sources
- husserl-1901-logical-investigations-vol2 — Inv III §11 (the cardinal division; colour vs. correlatives), §12 (formalization salva veritate; the anti-Kant Note), §7 (essence-law vs. empirical necessity), §24 (formalizing vs. generalizing abstraction); Inv VI §64 (faculties → Ideas of act-kinds). Extraction note D1.9–D1.10, D1.18, D6.18.