Prolegomena to Pure Logic - Study Notes

Foreword and Publication Details

The author notes that in revising the work, he has left out §7, Reciporical Demarcation of Psychology and Natural Science, and has excised the old phrase nominal presentation. The revised Sixth Investigation is treated as the Second Part of the Second Volume and is the most important phenomenological Investigation. He adds many new chapters to give scientific treatment to themes previously only touched on, and he aims to discuss misunderstandings of his positions in a universal and historical context, rather than focusing on polemical defenses.
A full index will be added by Rudolf Clemens. Acknowledgments go to Adolf Reinach, Hans Lipps, and Jean Hering for help in revision. Dated Göttingen, October 1913.

Introduction: The Controversy over the Definition of Logic

John Stuart Mill’s opening remark: there is as much difference of opinion about the definition of logic as about the content of its doctrines, since many writers use the same words to express different thoughts.
Contemporary logic has shifted toward the psychological tendency, which has gained dominance over formal and metaphysical tendencies in logic, though the latter persist in some forms.
The unity of conviction within the psychological tendency concerns the demarcation, aims, and methods of logic; but there is a bellum omnium contra omnes regarding traditional formulae and doctrines.
It is vain to seek a single core of substantial propositions in the epoch’s logical science; rather, the heritage must be traced through diverse lines and through conflicts of interpretation.

§2 Necessity of a renewed discussion of questions of principle

The science cannot separate individual conviction from universally binding truth; the questions of principle, crucial to disputes among logical tendencies, require renewed tackling.
The rise of psychology revitalized the psychologistic tendency in logic, but historical attempts to secure a science have not yielded shattering success, suggesting that the ends of logic may require clearer aims.
The definition of a science expresses its aims; definitions mirror stages of development. Inadequate definitions may hinder progress by mis-reading the field and by confusing boundaries between fields.
The objectivity of truth and the demarcation of fields matter: the realm of truth is articulated into fields; concatenations of grounding connections can stretch beyond the initially delimited field; misframing leads to invalid aims, misuse of methods, and misalignment of levels.
Kant’s maxim: “We do not augment, but rather subvert the sciences, if we allow their boundaries to run together.” The Investigation argues that prior logics—especially psychologically based logics—are liable to such misreadings.

§3 Disputed questions. The path to be entered

The traditionally disputed questions about the demarcation of logic include: (1) Is logic theoretical or practical? (2) Is logic independent of other sciences, particularly psychology and metaphysics? (3) Is logic formal, dealing with form of knowledge, or should it address its matter as well? (4) Is logic a priori and demonstrative or empirical and inductive?
These questions are tightly interwoven; taking a stance on one influences the others. There are effectively two camps: (a) logic is a theoretical, formal, demonstrative discipline independent of psychology; (b) logic is a technology dependent on psychology. The author intends not to settle the disputes by choosing sides, but to clarify the principles and to delineate the essential aims of a pure logic.
The approach: begin with the contemporary treatment of logic as a technology, determine its sense and justification, then address theoretical foundations and its relation to psychology; culminate in the delineation of a new, purely theoretical science—the foundation for any technology of scientific knowledge—and its status as an a priori, purely demonstrative science.

Chapter I. Logic as a normative and, in particular, as a practical discipline

§4 The theoretical incompleteness of the separate sciences

Artists and scientists rarely base their practice on a full, theoretical understanding of the rules that govern their craft; they rely on inner activity, taste, and habit rather than explicit theoretical justification.
Mathematics and the sciences likewise show incomplete theoretical grounds: even the most advanced sciences cannot demonstrate all last premises; proofs often presuppose unexamined premises and general concepts whose presuppositions are not exhaustively analyzed.
The sciences, as theories, are not crystal-clear; inner clarity is lacking and their presuppositions are not fully raised to doubt.

§5 The theoretical completion of the separate sciences by metaphysics and theory of science

To achieve theoretical completion, one must engage in metaphysical investigation to uncover and test underlain presuppositions (e.g., existence of an external world, space-time structure, causality). These presuppositions underlie sciences dealing with actual reality (not purely mathematical sciences with ideal objects).
A second, indispensable task is the theory of science (Wissenschaftslehre): a comprehensive field investigating what makes sciences into sciences—the science of science itself. This theory concerns the foundations and structure that make knowledge possible across all sciences.

§6 The possibility and justification of logic as theory of science

Science aims at knowledge; knowledge rests on inner evidence, probability, and grounded validations. True knowledge is evidenced inwardly, but not all knowledge is known with absolute certainty; inner evidence constitutes proof for a given judgement, yet probability levels can be involved.
Science seeks systematic unity and coherence; truths must be organized into theories with connections across grounded validations. The ladder of groundings allows progress from known truths to higher truths, and science uses methodical aids to reach remote truths.
The inward evidence is not a gift of nature; it arises through methodical procedures that organize and ground our thinking. Without such regular forms of grounding, science would be a collection of isolated bits rather than systematic knowledge.
Science requires a ladder of grounded validations: proofs, entailed connections, and theories that connect logic with empirical content.

§7 Continuation. The three most noteworthy peculiarities of grounded validations

First, validations have a fixed content structure: one cannot arbitrarily choose starting points; a genuine validation requires a fixed sequence of steps that leads to the evident conclusion.
Second, there is a common form to validations across different domains; many establishing arguments exhibit an identical structural form (e.g., syllogistic form: Every A is B; X is A; therefore X is B).
Third, validating forms are not tied to a particular domain; even across mathematics, chemistry, and physics, the same abstract form of validation can apply. There is a priori, law-like structure to these validations that allows cross-domain generality.

§8 The relation of these peculiarities to the possibility of science and the theory of science

Regular forms of validation underpin science and enable systematic growth; the independence of form from a specific field enables the existence of a general logic (a theory of science).
Both a general logic (theory of science) and particular logics for each science are necessary to account for how sciences progress.

§9 Methodical modes of procedure in the sciences are in part validatory, in part auxiliary devices

Methodological devices (e.g., language, definitions, nomenclature, and classification) are auxiliary to validations and serve to prepare, facilitate, and secure future validations.
Algorithmic and mechanical methods save cognitive effort but derive their justification from their grounding in validations. They include measuring methods (astronomy, physics), calculating apparatus (computers, numerical methods), and practical means of establishing objective judgments.
The primary emphasis remains: all actual advances occur in acts of validation; auxiliary devices merely support those acts.

§10 The ideas of theory and science as problems of the theory of science

The theory of science treats sciences as systematic unities and investigates their formal features, mutual boundaries, and internal articulations.
The normative theory of science should not be separated from the methods of the sciences; a science of science must also address the methods that distinguish valid from invalid theories and sciences.

§II Logic or theory of science as normative discipline and as technology

Logic, in the sense of a theory of science, emerges as a normative discipline: science prescribes ends and methods by which truth is pursued; normative propositions state what must or should be done for valid knowledge.
When the basic norm is an end, the normative discipline becomes a technology of science, with rules for pursuing, tracking, and applying methods to reach valid knowledge.

§12 Relevant definitions of logic

Traditional definitions that call logic the technology of judgement, reasoning, knowing, or thinking are too narrow.
Schleiermacher’s notion, that logic is the technology of scientific knowledge, aligns more closely with Husserl’s view, but it still requires a clear account of its demarcation and construction of sciences.
Kant’s view is central: logic should be a priori and independent, but in Kant’s sense this independence is debated; the text argues for a broader conception of logic as a technology of science with normative and teleological implications.

Chapter 2. Theoretical disciplines as the foundation of normative disciplines

§13 The controversy regarding the practical character of logic

The debate on whether logic is a practical discipline or a theoretical one. Historical debate: Kant argued for a theoretical, a priori logic; others argued logic is a technology rooted in psychology.
The author asserts that even if logic is a technology, this does not preclude its theoretical foundations; some of these foundations may lie in psychology, but others lie beyond psychology, in a theoretical core that grounds logic independently.
The question is whether logic’s essential character is rooted in an independent theory (pure logic) or whether all logical content is reducible to psychological propositions.

§14 The concept of the normative science. The basic standard or principle that gives it unity

A normative science bases its propositions on a basic norm (or a system of norms) that defines what counts as good (or bad) within a given sphere.
Normative propositions express dependencies that connect a ground (P) to a target (S) via a norm-good content: e.g. A should be B, or A that is not B is a bad A, or Only A which is B is a good A.
The “good” is a valuation (e.g., useful, beautiful, moral), and normative statements reflect a general valuation framework that yields a unity for the discipline.
The basic norm serves as the defining feature of the normative discipline, though it is not itself a normative proposition; it defines the standard against which normative propositions are measured.

§15 Normative disciplines and technologies

A normative interest, tied to practical ends, can give rise to technologies; technology involves normative standards translated into practical procedures aimed at achieving ends.
Every normative discipline can widen into a technology; conversely, a technology includes a normative discipline whose standard-setting norms are realized in practice.

§16 Theoretical disciplines as the foundation of normative disciplines

Normative disciplines (and technologies) presuppose one or more theoretical disciplines, which provide non-normative knowledge essential for normativity.
A normative proposition like "An A should be B" implies a theoretical proposition such as "Only an A which is B has properties C"; this is a non-normative relation between condition and conditioned.
The theoretical content grounds the normative; different normative disciplines rely on theoretical foundations to varying degrees; the most essential theoretical content must be available for the normative discipline to function. Some theoretical knowledge is indispensable; other theoretical knowledge is supplementary yet useful for achieving normative aims.

Chapter 3. Psychologism, its arguments and its attitude to the usual counter-arguments

§17 The disputed question as to whether the essential theoretical foundations of normative logic lie in psychology

The central question is whether logic’s essential foundations lie in psychology. Some thinkers (Mill, Lipps) argued that logic is a part or branch of psychology; there is a tendency to treat logic as a technology dependent on psychology.
The author notes that Mill treated logic as a part of psychology, and Lipps argued that logic is a specific discipline within psychology; both positions challenge the autonomy of pure logic.

§18 The line of proof of the psychologistic thinkers

If logic is a technology of thinking, then the rules governing thinking are to be studied within psychology as the science of cognition.
The psychologistic view treats concepts, judgments, syllogisms, deductions, inductions, definitions, classifications as psychological phenomena; any attempt to isolate pure logic seems to fail because psychological content appears in logical laws.
The natural claim: logic’s normative laws can be grounded in psychology because they regulate mental processes; but the author argues that the attempt to locate all logical laws in psychology confuses normativity with causal psychology.

§19 The usual arguments of the opposition and the psychologistic rejoinder

The opposition often claims that there cannot be a circle: logic cannot rest on psychology because logic is a technology; yet, the psychologistic rejoinder asserts that even the use of logic presupposes its own rules and thus would be circular if grounded outside psychology.
The author argues that the circle is not necessary: proofs do not require logic as a premise; many acts of reasoning occur without explicit appeal to logic, and the normative laws of logic are not mere contingent psychological facts.
The psychologistic rejoinder sometimes argues that the normative laws of thinking are themselves simply natural laws of thought; the author counters that this collapses the distinction between ideal (normative) and real (causal) laws.

§20 A gap in the psychologistic line of proof

The anti-psychologistic response notes that psychology can explain how people typically judge correctly, but this does not show that logical laws themselves are empirical or causal laws; the normative content of logic requires an a priori, apodeictic grounding that psychology alone cannot supply.
The author suggests that there is a latent, valuable insight in traditional “pure logic” that is not captured by the naive psychologism of Mill or Lipps, and that the autonomy and content of pure logic cannot be dismissed.

Chapter 4. Empiricistic consequences of psychologism

§21 Characterizing two empiricistic consequences of the psychologistic standpoint, and their refutation

If the essential foundations of logic lie in psychology and psychology is empirical, then many logical laws would be empirical generalizations, potentially vague and not apodeictically certain.
The author emphasizes that logical laws such as syllogisms, Bernoulli-type inductions, probabilistic inferences, etc., are exact, apodeictic, and not merely probabilistic; treating them as empirical would undermine their necessity.
If pure mathematics is viewed as a branch of logic (as Lotze thought), then the scope of exact logical laws would include deep mathematical truths; but when grounding logic on empirical psychology, such exactness would be compromised.
The second consequence: natural laws are known a priori only through induction; but the logical laws claim apodeictic certainty, which empirical psychology cannot supply. Hence, logical laws cannot be derived purely from experience.
The author stresses a dichotomy: empirical generalizations (even when highly successful) are not the same as the pure logical laws that govern rational thought; there remains a distinction between empirical laws of nature and the necessary, a priori laws of logic.

§22 The laws of thought as supposed laws of nature which operate in isolation as causes of rational thought

A common psychologistic move is to regard logical laws as natural laws that govern thought; this would imply probability-based support for logic, leading to a probabilistic view of logical necessity.
The author argues that such a view confuses the law of thought with the form of thinking; logical laws do not function as causal laws that govern mental content; rather, they express normative prescriptions for thinking that yields evidence.
An imagined ideal reasoner would adhere to logical laws as norms, but this does not reduce them to natural laws that govern mere mental processes.
The distinction is reinforced by examples: a computer can perform computations according to arithmetical laws, but that does not mean those laws are causal laws of the computer’s thinking; similarly, human thought can be evaluated by logic but is not reducible to psychological causation.

§23 A third consequence of psychologism, and its refutation

If logical laws have epistemological sources in psychology, they must be psychological in content and presuppose mental states; this is false. Logical laws do not imply a mental content or state; they are universal, timeless, and devoid of existential content.
Even if psychological premises underlie the assertion of logical laws, the content of those laws remains non-empirical and non-causal; the author argues against equating logic with psychology and emphasizes that logic concerns form and validity rather than causal mental states.

§24 Continuation

The claim that all logical laws are empirical and inductive is argued against by distinguishing between inductive judgments (which are probabilistic) and apodeictic deductive laws (which are necessary and certain).
The author asserts that pure logical laws are not probabilistic, they are apodeictically certain; thus, grounding them solely in experience would be untenable.
The section also addresses the relationship between empirical knowledge and pure logical content: while experience underlies the content we use to apply logic, the laws themselves are not mere empirical statements.

Chapter 5. Psychological interpretations of basic logical principles

§25 The law of contradiction in the psychologistic interpretation of Mill and Spencer

Mill interprets contradiction as a generalization from experiential facts (e.g., light excludes darkness, etc.), but these examples treat the relation as a relation of mental states rather than a logical law about propositions.
The disagreement centers on the source and status of contradiction: Mill’s view regards contradiction as an empirical generalization about belief states, which is inadequate because contradictory propositions are not merely coexistent as mental states; rather, the law concerns the incompatibility of propositions themselves.

§26 Mill's psychological interpretation of the principle yields no law, but a wholly vague, and scientifically unproven, empirical proposition

The Millian account leaves the principle underdetermined: what are the circumstances in which opposed acts of belief cannot coexist? There may be differences among individuals, contexts, or normalcy, undermining a universal law.
The author argues that the conviction that two contradictory propositions cannot both be true is not simply a belief-level fact but a normative, apodeictic law about propositions rather than about mental states.
The Millian form turns a normative principle into a descriptive psychological generalization, which cannot ground logic with apodeictic certainty.

§27 Analogous objections against remaining psychological interpretations of our logical principle

Even more formulations with terms like ‘cannot believe’ or ‘no one can’ are ambiguous: these phrases often express subjective experience rather than an objective logical law.
The author argues that misinterpretations confuse normative content with psychological facts; the true law concerns what must hold for correct thinking, not what people believe or feel at a given moment.

§28 The supposed two-sidedness of the principle of contradiction, in virtue of which it should be taken both as a natural law of thinking, and as a normal law for its logical regulation

Sigwart’s view treats the principle of contradiction as both a natural law and a normative law; Lange’s interpretation likewise ties logical necessity to an internal, psychological basis (often via an empiricist-Langean perspective).
The author challenges these views: natural laws of thought cannot be the same as normative laws governing logic; a single “law of contradiction” cannot be both a natural law and a normative law with identical content.
Lange’s assertion that contradictions are impossible due to inner cognitive constraints is rejected as conflating empirical psychology with the timeless, abstract content of logical laws.
The author argues that the normative law must have an ideal content independent of psychological states, while the empirical law describes how those states tend to behave under normal use.

§29 Continuation. Sigwart's doctrine

Sigwart’s position is examined: he treats the principle of contradiction as a normative law that governs negation, but he also tries to anchor it in a natural-law sense via a persistent, ideal notion of concepts.
The author argues that Sigwart equivocates between the normative sense (what the law prescribes for rational thought) and a natural-law sense (how thoughts tend to behave). This mixing leads to conceptual confusion and undermines a clean separation between normative (pure logic) and causal (psychological) grounds.
The discussion culminates in a critique of attempts to unify natural and normative law into a single, invariant principle; the author insists on a clear division between ideal logical laws and empirical psychological tendencies.

Appendix: On certain basic defects of empiricism

The appendix argues against extreme empiricism, which would deny the a priori grounding of logic and mathematics while accepting empirical grounds for all others. It warns against circularity or infinite regress in justifying mediate knowledge.
The practical consequence is to defend a non-empirical, apodeictic basis for the core logic and mathematics, while acknowledging empirical content in their application.
The appendix condemns the naive psychologism that would reduce logic to psychology and emphasizes the necessity of a priori justification for logical laws, as well as their independence from contingent empirical states.

Key Concepts and Formulas (LaTeX)

Logic as normative discipline: logic prescribes how we ought to think to achieve reliable, evidential judgments. This leads to a normative theory of science and, ultimately, a theory of science as a whole.
Basic Norm: The central standard that unites a normative discipline; it defines what counts as good within the sphere and grounds normative propositions. For instance, in ethics, the basic norm is the value of pleasure or welfare; in other spheres, the basic norm is the corresponding value that characterizes the discipline.
Normative proposition example: "An A should be B". The content behind such forms is a relationship between a normative standard and a ground state of affairs.
Logical laws as apodeictic: The core logical laws are apodeictically certain and not mere probabilistic generalizations.
The Law of Contradiction (classical form): $<br>eg (P \,\land\, \neg P)$
and the related normative statement that two contradictory propositions cannot both be true.
Syllogistic pattern (illustrative): If every A is B, and X is A, then X is B. This form exemplifies a general validating form, common across many domains.
Example from geometry: $\forall x\,(EquilateralTriangle(x) \rightarrow Equiangular(x))$ ; if a triangle is equilateral, it is equiangular.
Grounded validations: various instances where a conclusion is derived from given premises via a general form (e.g., “Every A is B; X is A; therefore X is B”). Such forms reflect the deeper, a priori structures of rational justification.

Connections to Foundational Principles

Kantian and Bolzanoan influences: Kant’s ideal of a priori logics and Bolzano’s Wissenschaftslehre inform the discussion of a theory of science as the foundation of logic.
Distinction between theory and practice: Logic as technology (practical) vs. logic as theory (pure, a priori) is treated as a spectrum rather than a strict dichotomy.
Normative vs. theoretical sciences: Normative science depends on theoretical foundations; the unity of normative propositions rests on a basic norm, while theoretical science provides the non-normative content that grounds those norms.
Relationship to psychology: The text defends a robust autonomy for pure logic, while recognizing that psychology may contribute to understanding how logical norms are applied or instantiated by concrete agents; however, logic itself cannot be fully reduced to psychology.

Ethical, Philosophical, and Practical Implications

Epistemology and methodology: The proper boundaries and aims of logic influence how science should be structured, taught, and practiced; the theory of science shapes how we evaluate other sciences.
The danger of misframing boundaries: Misreading the demarcations between fields can lead to incorrect aims, inappropriate methods, and a loss of unity across knowledge.
The role of formalism and abstraction: The appeal to a priori structures (e.g., forms of inference) supports the argument for a formal logic that transcends particular domains.
Implications for education and research policy: A robust theory of science supports cross-disciplinary logic and helps avoid over-specialization that neglects fundamental principles of reasoning.

Summary Points

Husserl argues for a normative, primarily theoretical grounding of logic as the theory of science, with logic functioning as a technology that prescribes modes of procedure and validation for scientific knowledge.
He critiques psychologism (the view that logic’s foundations lie in psychology) for conflating normative, ideal laws of thought with empirical, causal laws governing mental states.
The text emphasizes a clear distinction between ideal (normative) logical laws and empirical (psychological) tendencies, arguing that the former possess apodeictic certainty and are not derived purely from experience.
It is essential to acknowledge the theory of science as the basis for grounding normative disciplines, and to recognize that normative disciplines presuppose relevant theoretical content from other sciences to ground their claims.
The discussion culminates in a sustained critique of empiricist and psychologistic interpretations of basic logical principles, defending the autonomy and a priori nature of pure logic while acknowledging the role of empirical content in application and pedagogy.

Overall Structure

Foreword and publication context
Introduction: conflict over logic’s definition
Chapter I: Logic as normative, with §§4–12 detailing incompleteness of sciences, theory of science, grounding of validations, and the normative/teleological view of logic
Chapter II: Theoretical disciplines as foundations of normative disciplines, §§13–16
Chapter III: Psychologism and its arguments, §§17–20
Chapter IV: Empiricistic consequences of psychologism, §§21–24
Chapter V: Psychological interpretations of basic logical principles, §§25–29
Appendix: Basic defects of empiricism

Key Terms to Remember

Normative science; basic norm; teleology; technology; theory of science; pure logic; psychologism; apodeictic certainty; grounded validations; form of inference; logical laws; law of contradiction; unity of science; methodological auxiliary devices; theory and practice in logic

Representative Formulas

Law of contradiction: $<br>eg (P \,\land\, \neg P)$
Syllogistic exemplar: If Every A is B and X is A, then X is B (illustrative form)
Geometry example: $\forall x\,(EquilateralTriangle(x) \rightarrow Equiangular(x))$
Grounding and validity forms reflect general logical patterns (e.g., universal instantiation and syllogistic structure).