Pure Logic

Husserl's positive Idea in the Prolegomena (husserl-1900-logical-investigations-vol1): logic as a purely theoretical, a priori, "internally closed" science — the theory of science (Wissenschaftslehre, Bolzano's term), in the limit the theory of theory — whose laws are grounded not in any thinking subject but in the ideal categories constitutive of the Idea of Science as such (Truth, Proposition, Object, Ground/Consequent). It is what the traditional conception of logic as Kunstlehre (technology, "art of thinking") presupposes and cannot replace: every normative-practical discipline rests on theoretical ones (Prol. §§14–16), and pure logic is the theoretical discipline on which normative logic essentially rests. Kant intended it but "not rightly conceived" it; Bolzano's Wissenschaftslehre realized it de facto; Leibniz's mathesis universalis is its closest ancestor.

Key Points

What makes science science is a double ideal interconnection: of things and of truths, "given together a priori, and… mutually inseparable," yet non-identical ("truths which hold of truths do not coincide with truths that hold of the things posited in such truths," Prol. §62). Unity of science = unity of theory: "the systematic unity of the ideally closed sum total of laws resting on one basic legality" (§63). "All grounds are premisses, but not all premisses are grounds."
Objective conditions are primary. The conditions of the possibility of theory divide into noetic (ideal conditions on the side of "subjectivity as such") and purely logical-objective; the objective side is primary: "they do not hold in so far as we have insight into them, but we can only have insight into them in so far as they hold" (§65) — Husserl's deliberate generalization, and inversion, of Kant's "conditions of the possibility of experience."
Three tasks (§§67–70): (1) fix the pure categories of meaning (Concept, Proposition, Truth, the connective forms) and their correlative objective categories (Object, State of Affairs, Unity, Plurality, Number, Relation) — their "origin" clarified phenomenologically, "not… psychological questions"; (2) the laws grounded in these categories (theories of inference; the pure theories of pluralities and numbers); (3) the theory of the possible forms of theories — the pure theory of manifolds, "the fine flower of modern mathematics," where a manifold is "a possible field of knowledge over which a theory of this form will preside," its objects fixed solely by the form of their connections ("'+' is not the sign for numerical addition, but for any connection for which laws of the form a + b = b + a etc., hold," §70). Riemann, Grassmann, Lie, Cantor are its actual pioneers; Leibniz, through the Ars combinatoria, "the intellectual father."
"Possibility" = essentiality. The possibility of a theory means the Wesenhaftigkeit (essentiality) of its constitutive concepts — their "reality" as opposed to "imaginariness"/"essencelessness" (§66). This is the non-Kantian cash-value of "conditions of possibility" here: essence, not faculty.
Division of labour (§71): "the construction of theories… will always remain the home domain of the mathematician," but the mathematician is "not really the pure theoretician, but only the ingenious technician," building theory "like a technical work of art" without "ultimate insight into the essence of theory"; the philosopher's complementary task is clarification — "a continuous 'epistemological' reflection which only the philosopher can provide."
Broadening (§72): empirical science is not exhausted by its theories (all empirical theory is "merely putative"), yet at each stage "there is only one correct attitude… by an ideal norm" — hence a pure theory of probability as "a second great foundation for logical technology."
Lineage owned explicitly (§§58–61 + Appendix): Kant credited (pure/applied distinction) and rejected ("mythic" faculty-concepts — explaining reason by a faculty is like "explain[ing] the art of dancing by the dancing faculty"); Herbart credited (objectivity of the concept) and rejected (ideality mislocated in normality); Lotze likewise; Leibniz "relatively… the closest"; Bolzano — "one of the greatest logicians of all time" — supplied the de facto realization, lacking only epistemological clarification, which is exactly what the Investigations undertake.

What the Concept Does

Pure logic is the positive counterpart of the psychologism refutation: it names the science that occupies the "essential foundation" slot psychology claimed. It relocates logic's necessity from the thinking subject to the ideal content-categories (ideality-of-meaning; ideal-species), makes normative logic derivative, and — through the manifold-doctrine — absorbs the formalization of mathematics into philosophy's jurisdiction while subordinating the formalizer to the clarifier. It is also the volume's bridge out of itself: task (1)'s demand for a phenomenological clarification of the categories' "origin in intuition" is what the six Investigations execute (zu-den-sachen-selbst).

What It Rejects

Logic as Kunstlehre only (the "art of thinking" tradition from the Port-Royal l'art de penser through Mill and Sigwart) — legitimate but founded, not founding.
The psychologistic foundation in all its forms (psychologism).
The Kantian subject-first framing of the conditions of knowledge (§65) — and the "common prejudice that the essence of mathematics lies in number and quantity" (§70).

Stakes

The mathematization of logic is embraced — Husserl saw formalization as "the only purely scientific way of advancing logic" — but under a hierarchy: construction without clarification is technique, not insight. This is the seed of the late *Crisis* diagnosis of technization ("idolization of a logic which does not understand itself," Crisis §55): in 1900 the technician-figure is benign and the remedy additive (clarification alongside construction); in 1936 the technique itself embodies forgetting. Same mathematics, reversed valence — flagged as claim candidate prolegomena-technician-seed-of-technization in the extraction note, routed to the audit Harvest. Compare mathematization-of-nature.

The Vol. II Tiers (2026-07-21)

The Vol. II ingest fills in the architecture from below and completes it at act level. Below: pure-grammar is not a fourth task but the lowest tier — "a first, basic sphere" whose sense/nonsense laws "direct logic to the abstractly possible forms of meaning, whose objective value it then becomes its first task to determine" (Inv IV §14); it supplies the combination-system (Formenlehre) that task (1)'s "categories of meaning" only listed. Beside: parts-and-wholes draws the formal/material essence-line the "formal objective categories" presupposed (material-a-priori, Inv III §11), and its §24 postulate of an exact mereology is a concrete instance of task (3)'s theory of manifolds. Above: Inv VI grounds the laws themselves act-theoretically — the laws of authentic/inauthentic thinking hold "for any understanding whatever," rooted in "the Ideas of Sensibility and Understanding in general" (§64), and the laws of inauthentic thinking are identified with the logico-grammatical laws (§63; see categorial-intuition). The Prolegomena's objective-conditions primacy (§65) is thereby given its phenomenological cash-value.

Open Questions

Is the theory of manifolds part of pure logic or its mathematical double? Husserl's endnote restricts "pure mathematics" to arithmetic and manifold-theory "but not geometry" — the boundary work is unfinished in this volume.
How does the Idea of Probability (§72) relate to the apodeictic core — is pure logic one science or two (theory of theory + theory of empirical rationality)?
~~The Vol. II ingest should connect task (1) to Investigation IV's "pure logical grammar" (the theory of meaning-forms), announced here but developed there.~~ (Discharged 2026-07-21 — see The Vol. II Tiers.)

Sources

husserl-1900-logical-investigations-vol1 — Prolegomena §§3–6, 11–16 (theory of science; normative/theoretical), §§62–72 (the Idea; three tasks; manifolds; probability), §§57–61 + Appendix (lineage; Bolzano); Foreword 1st ed. (the mathematical genesis: formal arithmetic and manifold-theory pushing beyond quantity). Extraction note D1.4–D1.6, D3.1–D3.11, D2.16–D2.17.
husserl-1901-logical-investigations-vol2 — Inv IV §§13–14 (the two-tier architecture); Inv III §§11, 24 (the formal/material line; the mereology postulate); Inv VI §§62–65 (laws of authentic/inauthentic thinking; the §64 capstone). Extraction note D2.13–D2.14, D1.9, D1.18, D6.16–D6.19.