Gottlob Frege — The Logical Revolution as the Foundation of Analytic Hegel Critique
This text is a preview of History of the Reception of Hegel, volume I, to be published in 2026 by Reflexivity Press.
Before we consider the various currents of analytic philosophy—Mach, Russell, Wittgenstein, the Vienna Circle—we must go back to their common starting point: Gottlob Frege (1848–1925). Frege revolutionized logic and thereby created the tool with which analytic philosophy would formulate its critique of speculative metaphysics—and thus also of Hegel.
Frege’s importance lies not in an explicit critique of Hegel (he barely mentions Hegel at all) but in the creation of an alternative: a precise, formal logic that was meant to serve as the standard of philosophical clarity. What Hegel called “dialectical logic” appeared, in the light of Fregean logic, as conceptual confusion.
The Begriffsschrift (1879) — A New Language of Pure Thought
Frege’s Begriffsschrift (full title: Begriffsschrift, a Formula Language of Pure Thought, Modeled upon that of Arithmetic) was a revolution. For the first time since Aristotle, logic was fundamentally reconceived—no longer as a doctrine of judgments, but as a formal calculus.[1]
The innovation: Frege developed quantificational logic (the universal quantifier ∀ and the existential quantifier ∃), which made it possible to represent complex logical structures precisely. Sentences like “All humans are mortal” could now be formally analyzed: ∀x (Human(x) -> Mortal(x)).
The technical achievement: This formalization allowed for:
- Precise definitions: every concept is unambiguously determined
- Explicit rules of inference: every inference is mechanically checkable
- Elimination of ambiguity: natural language is often ambiguous, Frege’s symbolic language is not
- Mechanizability: computers can process formal logic
This achievement is undisputed. Modern mathematics, computer science, and philosophy of science would be unthinkable without Frege’s foundational work.
The implicit contrast with Hegel: Whereas Hegel understood logic as the science of the “movement of the concept,” as a dynamic process of self-development, Frege conceived it as a static system of inference rules. Concepts do not “move”—they stand in logical relations to one another that are timelessly valid.
Frege’s logic operates with:
- Clear definitions: every concept must be precisely defined
- Explicit rules of derivation: every inference must be formally traceable
- Bivalence: every statement is either true or false, tertium non datur
- Consistency: a contradiction indicates an error, not “dialectical depth”
All of this stands in direct opposition to Hegel’s procedure. The dialectical method—in which concepts pass over “in themselves” into their opposites, in which contradictions are not eliminated but “sublated”—appears, from Frege’s perspective, to violate the most elementary rules of logic.
Sense and Reference — The Critique of Psychologism
In “On Sense and Reference” (1892), Frege developed a distinction that became fundamental for the whole of analytic philosophy. The reference (Bedeutung) of an expression is what it refers to—the object. The sense (Sinn) is the way in which the object is given—the mode of presentation.[2]
The classic example: “the morning star” and “the evening star” have the same reference (both denote the planet Venus), but different senses (different ways of referring to Venus). The identity statement “the morning star is the evening star” is informative even though both expressions refer to the same object—because they combine different senses.
The anti-psychologistic point: Neither sense nor reference is a subjective idea. Both are objective—independent of individual states of consciousness. Logic does not deal with psychological thought processes, but with objective truth values. The Pythagorean theorem was true before anyone thought it, and remains true even when no one thinks it anymore.
The strength of this position: Frege rescued the objectivity of logic from nineteenth-century psychologism. The laws of logic are not empirical generalizations about human thinking, but normative principles of correct inference.
The implicit contrast with Hegel: Hegel’s logic begins with “pure being”—the most presuppositionless thought conceivable. But what is “pure being”? Is it a psychological state (the abstraction from everything determinate)? Or an objective concept? Frege would ask: What is the reference of “being”? What does this expression refer to? And if it refers to nothing determinate, is it meaningful at all?
Hegel’s procedure—from abstract “being” via “nothing” to “becoming”—appears, from Frege’s perspective, to be a confusion of psychological movements of reflection with logical structures. The “movement of the concept” would then be no objective logic, but psychology of thinking.
The Foundations of Arithmetic — Logicism and the Critique of Intuition
In The Foundations of Arithmetic (1884), Frege pursued a program that became highly relevant to the critique of Hegel: logicism—the thesis that mathematics is reducible to logic, without recourse to intuition.[3]
Frege’s thesis: Numbers are not empirical objects, not intuitions, not psychological ideas—but logical objects. The number “2” is the class of all classes that have two elements. Mathematics is pure logic, independent of space, time, and sensory intuition.
The philosophical point: If mathematics is reducible to logic, then mathematical truths are analytic (derivable from concepts), not synthetic a priori (as Kant claimed). The a priori forms of intuition (space and time) are irrelevant to mathematics.
The direct contrast with Hegel (and Kant): Hegel’s logic operates with “intuition” as a constitutive element. The categories are not purely formal but refer to “intuition” (as Trendelenburg critically showed, see Chapter 7.2). Space and time play a central role in the philosophy of nature as the first concretization of the logical idea.
Frege, by contrast, shows (or attempts to show): pure logic is possible without any intuition whatsoever. If this succeeds, then Hegel’s attempt to mediate logic and intuition becomes superfluous. Logic is autonomous—it needs no “mediation” with the non-logical.
The failure of logicism: Russell’s paradox (1901) showed that Frege’s system was contradictory. The naive set theory on which Frege grounded his arithmetic leads to contradictions (the set of all sets that do not contain themselves contains itself if and only if it does not contain itself). This failure was dramatic—but the basic idea of logicism remained influential and was pursued further by Russell and Whitehead in the Principia Mathematica.
The irony for the critique of Hegel: Precisely this failure of logicism points to a systematic problem that Hegel had already recognized: pure formality leads to contradictions. One needs content, intuition, concretion. The self-sufficiency of formal logic is an illusion. But this irony was not read by the analytic philosophers as a vindication of Hegel, but as a challenge to formulate the logicist program more precisely.
Concept and Object — The Critique of Abstraction Theory
In “On Concept and Object” (1892), Frege developed an ontology that became significant for the reception of Hegel. Concepts are fundamentally different from objects. A concept is a function that maps objects onto truth values. The concept “horse” is a function that yields a truth value for every object x: true, if x is a horse, false otherwise.[4]
The radical consequence: The concept itself is not an object. One cannot say: “The concept horse is a concept”—for in this statement “the concept horse” occupies the position of an object. Concepts are unsaturated, predicative, functional. Objects are saturated, referential, self-subsistent.
The technical precision: This distinction resolves classic paradoxes. It shows why sentences like “The concept horse is a concept” are self-contradictory—they use a concept (horse) as if it were an object. Careful attention to this type distinction avoids category mistakes.
The contrast with Hegel: Hegel’s “concept” is both at once—universal and concrete, structure and content, subject and predicate. The concept of the human being is not an abstract property, but the concrete structure that realizes itself in every individual human being. The concept is “with itself in the other”—it is the unity of universality and singularity.
From Frege’s perspective, this is a category confusion. Hegel conflates different logical types. He treats concepts (functions) as if they were objects. The “movement of the concept” is then logical nonsense—concepts cannot “move,” because they are not objects.
The systematic question: Is Frege right? Or does his own problem—that one cannot speak about concepts without objectifying them—show precisely that his strict separation is too narrow? Perhaps the dialectic of concept and object that Hegel develops is precisely the solution to Frege’s problem?
The Fundamental Misunderstanding: Frege Criticizes an Image of Hegel That Never Existed
The central irony of the Frege-Hegel relation: Frege revolutionized logic through functionality and relational thinking—and thereby picked up intuitions that Hegel had already developed long before. But Frege read Hegel through the lens of traditional logic and thereby overlooked precisely the aspects in which the two were akin.
What Frege took Hegel’s position to be:
- Concepts are substances (persisting bearers of properties)
- Logic deals with metaphysical entities (the “in-itself”)
- The “movement of the concept” is a cosmological thesis about real processes
- Contradictions are asserted as metaphysical facts
What Hegel actually did (as the logic of essence shows):
1. The dissolution of substance: In the logic of essence (the chapter “Thing and Properties”), Hegel develops exactly what Frege demands: the “thing in itself” is an empty X. If one removes all properties, nothing remains. The thing is the totality of its properties in their relations.[5] But Hegel goes further: he shows the dialectical development—from the naive concept of the thing, via its dissolution into “matter” (the jumble of all properties), to the mediating structures of “force and its expression,” then “inner and outer.” Substance is not simply eliminated (as with Mach) but transformed into relational concepts.
2. Logic as the structural analysis of practice: Hegel’s logic is not a “metaphysics of the in-itself” but—as our performative interpretation shows—the explication of the structures that are implicitly at work in rational practice.[6] The categories are not entities beyond experience, but forms in which experience structures itself. This is closer to Frege’s anti-psychologism than to traditional metaphysics! Frege’s sense/reference and Hegel’s essence/appearance are structurally related—both seek objective structures beyond subjective consciousness.
3. The “movement” is methodological, not cosmological: When Hegel says that the concept “passes over into its other,” he does not mean a temporal process or a metaphysical self-movement. He means: when we think a concept through consistently, we encounter inconsistencies that necessitate transformation.[7] This is conceptual analysis, not cosmology. The “movement” is the movement of reflection in our thinking, which discovers and resolves contradictions. Just as Frege analyzes the logical structure of sentences, Hegel analyzes the developmental structure of concepts.
4. Contradictions as productive experiences of a limit: Hegel does not assert “A is both B and not-B” (a violation of the principle of non-contradiction). He shows: when we work with a one-sided determination (e.g., “being with no further determination”), its incompleteness shows itself—it topples into its opposite (nothing). The “contradiction” is not logical inconsistency, but the experience of the limit of a determination of thought.[8] This is comparable to Frege’s discovery that naive set theory leads to paradoxes—the “contradiction” shows the limit of a conceptual framework.
What Frege Did Not See — and What Gets Lost
The question is not: Is Frege right, or Hegel? Both developed systematic insights. But Frege’s logic is bought at the price of impoverishment. Five central dimensions get lost:
1. The dimension of development: Frege’s logic is static. It can represent structures, but not development. It can say “A implies B,” but not show how we get from understanding A to understanding B. Hegel’s logic of inference, by contrast, is a theory of the method of grounding—it shows the developmental stages of grounding thought.[9]
An example: scientific practice knows inductive, deductive, and abductive inferences. Frege formalizes only deduction. Hegel shows in his doctrine of inference[10] how all three forms of inference are systematically connected and must complement one another. Complete understanding requires the integration of all three perspectives—but a static logic cannot represent that.
2. Substantive mediation: Frege’s material implication (A -> B) is true if A is false or B is true—regardless of any substantive connection between A and B. “If the moon is made of cheese, then 2+2=4” is formally valid. Hegel’s hypothetical inference, by contrast, asks: Why does B follow from A? What substantive mediation exists? The question of the middle term—the ground of the connection—is eliminated.[11]
Many students feel a deep unease with material implication—and they are right! For what we intuitively expect from “if…then”—a substantive connection—is eliminated. Frege’s answer: that is the price of a mechanically checkable system. But is this price not too high? A logic that cannot distinguish between meaningful and meaningless implications is incomplete as a tool of thought.
3. The integration of perspectives: Hegel’s logic of inference shows: complete understanding requires the integration of all three perspectives (Individual-Particular-Universal, Particular-Individual-Universal, Universal-Particular-Individual). One must deduce the individual from the universal, induce the universal from the individual, AND explicate the mediating structure itself. Frege’s logic operates with only one direction—deductive derivation.[12]
The threefold permutation of the figures of inference[13] shows: each moment (individual, particular, universal) can occupy any of the three positions (starting point, middle, result). Only the integration of all three permutations yields completeness. A logic that formalizes only one direction remains one-sided.
4. Context-dependence: Hegel’s doctrine of judgment shows: the same statement has different logical quality depending on context. “All humans are mortal” is either empirical generality (induction from observation) or conceptual necessity (finitude belongs to the concept of the human being). Frege’s logic levels these differences—it asks only: is the statement true or false?[14]
The forms of judgment[15] distinguish four levels: quality (immediate ascription), quantity (extension), relation (essential connection), modality (certainty). These distinctions are not merely didactic—they mark different stages of cognition. A logic that ignores them cannot distinguish “all swans are white” (an empirical generalization, refuted by black swans) from “all bachelors are unmarried” (an analytic truth, true by definition).
5. Self-application: Hegel’s logic itself enacts what it explicates. It is performatively consistent. Frege’s logic cannot thematize itself—it is a meta-language that may not be part of its own object language (otherwise paradoxes like Russell’s antinomy threaten).[16]
But a logic that cannot reflect on itself is incomplete as a science of logic. It cannot answer the question: what is logic? For this question requires a logical analysis of logic itself—and that leads, in Frege’s system, to paradoxes. Hegel’s circular structure (Chapter 24) is precisely the attempt to make this self-application possible.
The Lasting Significance of Frege for the Critique of Hegel
Frege himself wrote little about Hegel. But his logic became the standard against which Hegel was measured:
1. Precision of concepts: Frege demands unambiguous definitions. Hegel’s concepts appear vague, ambiguous, literary. — A legitimate demand, but: Hegel’s “indeterminacy” is often methodological—the concept is developing, so it cannot yet be precisely defined at the outset.
2. Formality of derivations: Frege demands explicit rules of inference. Hegel’s “transitions” appear opaque, arbitrary, rhetorical. — A legitimate demand, but: Hegel’s transitions follow the logic of the subject matter, not a preestablished formula—they must be retraced anew each time.
3. Bivalence and non-contradiction: Frege presupposes that every statement is either true or false and that contradictions are errors. Hegel’s dialectic appears to violate the principle of non-contradiction. — A legitimate concern, but: Hegel does not violate this principle—he shows the limits of one-sided determinations.
4. Anti-psychologism: Frege strictly separates logic (objective) from psychology (subjective). Hegel’s “movement of the concept” appears to conflate the two. — A legitimate distinction, but: Hegel’s logic is not psychological—it explicates objective structures of practice.
These four points were taken up by Russell, Wittgenstein, and the Vienna Circle and turned against Hegel. Frege’s logic was the weapon with which analytic philosophy combated metaphysics—and thus Hegel.
The Systematic Task: Integration instead of Polarization
The legitimate intuition: Frege’s demand for conceptual clarity is legitimate. Philosophy must define its concepts precisely, make its arguments traceable, explicate ambiguities. A contemporary interpretation of Hegel must show that dialectical thought can meet this demand—not through formal symbolism, but through methodological rigor.
The systematic limit: Frege’s logic is static. It can represent structures, but not development. It can fix relations, but not transformations. Dialectic attempts precisely what Frege’s logic cannot do: to capture the dynamics of thought, how concepts reach their limits and transform themselves.
The question is not: Frege or Hegel? But rather: how can we combine Frege’s precision with Hegel’s dimension of development?
The systematic task: A contemporary logic must integrate both:
- From Frege: the demand for precision, explicit rules of inference, anti-psychologism, functionality
- From Hegel: the dimension of development, substantive mediation, the integration of perspectives, self-application
This is not reconciliation (the differences are real), but complementary use:
- Frege’s logic for technical tasks (mathematics, computer science, precise argumentation)
- Hegel’s logic for philosophical reflection (the history of concepts, methodology, systematic understanding)
The art lies in knowing when which is appropriate. Whoever writes a computer program needs Frege’s precision. Whoever wants to understand the development of the concept of science needs Hegel’s dimension of development. Whoever confuses the two misses both.
The connection to what follows: Frege created the tool. Mach supplied the empiricist motivation. Russell rebelled against the British Hegelians. Wittgenstein radicalized the critique of language. The Vienna Circle systematized the program. Together they shaped the analytic critique of Hegel of the twentieth century—one that still has effects today.
Gottlob Frege: Begriffsschrift, a Formula Language of Pure Thought, Modeled upon That of Arithmetic, Halle: Nebert, 1879. ↩︎
Gottlob Frege: “On Sense and Reference,” in: Zeitschrift für Philosophie und philosophische Kritik 100 (1892), pp. 25–50. ↩︎
Gottlob Frege: The Foundations of Arithmetic. A Logico-Mathematical Investigation into the Concept of Number, Breslau: Koebner, 1884. ↩︎
Gottlob Frege: “On Concept and Object,” in: Vierteljahrsschrift für wissenschaftliche Philosophie 16 (1892), pp. 192–205. ↩︎
G.W.F. Hegel: Science of Logic II (Logic of Essence), in: Works vol. 6, Frankfurt/M.: Suhrkamp, 1969, pp. 127–139 (“The Thing and Its Properties”). ↩︎
See our performative interpretation in Chapter 1.2 and the critique of the correspondence problem in Chapter 8.4. ↩︎
Hegel: Science of Logic I, Works vol. 5, pp. 82–85 (“Being-Nothing-Becoming”). The “movement” is conceptual analysis, not a temporal process. ↩︎
See our account of productive contradiction in Chapter 5.5 and the critique of formal non-contradiction as the sole criterion of truth in Chapter 22.3. ↩︎
See Chapters 17.1–17.4 on the logic of inference as a theory of the method of grounding, and the threefold permutation (Chapter 11.9) as integration of all perspectives. ↩︎
Froeb 2025, Chapter 17 (The Inference) ↩︎
See Chapter 11.8 (“Excursus: Hegel’s Logic of Inference and Modern Formal Logic”) on the difference between material implication and substantive mediation. ↩︎
See Chapter 18.4 on the “logic of positional exchange” and Chapter 18.7 on mutual enrichment through the change of perspective. ↩︎
Froeb 2023, Chapter 18 (Systems of Inference) ↩︎
See Chapters 16.5–10.6 on the doctrine of judgment as an ontology of forms of cognition, and the distinction between different levels of generality (empirical vs. conceptual). ↩︎
Froeb 2023, Chapter 17 (The Judgment) ↩︎
See Chapter 22.7 on the self-application of logic to itself and Chapter 24 on the circle as a systematic principle. ↩︎