Gottlob Frege: Philosophy, Quotes & Legacy

Biography

Friedrich Ludwig Gottlob Frege was born on November 8, 1848, in the small Baltic port town of Wismar, in the Grand Duchy of Mecklenburg-Schwerin. His father, Carl Alexander Frege, was a schoolteacher who rose to become headmaster of a girls' school that he himself had founded, a progressive institution for its time. The family valued education and religious seriousness — Frege's father wrote textbooks on German language instruction, and the household atmosphere was one of disciplined intellectual and moral endeavor. When Frege's father died in 1866, his mother, Auguste Bialloblotzky Frege, took over the running of the school, ensuring that the family remained financially stable and that young Gottlob could continue his education. The loss of his father when he was seventeen marked Frege deeply; he would carry a sense of duty and sober responsibility throughout his life.

Frege attended the gymnasium in Wismar, where he showed talent in mathematics and science, and in 1869 he entered the University of Jena. There he studied mathematics, physics, chemistry, and philosophy for two years before moving to the University of Gottingen in 1871, which at that time was one of the great centers of mathematical research in Germany. At Gottingen he studied under some of the leading mathematicians of the day, including Alfred Clebsch and Ernst Schering, and he earned his doctorate in 1873 with a dissertation on geometrical representations of imaginary forms in a plane. The work was competent but unremarkable, and it gave little hint of the revolutionary ideas that would follow. What mattered more than the dissertation itself was the mathematical training it represented: Frege had absorbed the rigor and exactness of the German mathematical tradition, and he would bring that rigor to bear on questions that previous philosophers had treated with comparative looseness.

After his doctorate, Frege returned to Jena, where he completed his habilitation in 1874 with a thesis on methods of calculation based on an extension of the concept of quantity. He was appointed Privatdozent, an unsalaried lecturer who earned fees directly from students, and he would remain at Jena for the rest of his academic career. In 1896 he was promoted to extraordinary professor, a position that carried a modest salary but still fell short of a full professorship. Frege never achieved the rank of ordinary professor, a fact that has often been attributed to the difficulty of his writing, the unconventional nature of his work, and a personality that colleagues found prickly and reserved. He was, by all accounts, a serious and dedicated teacher, but his lectures attracted few students, and his books were largely ignored during his lifetime. The Stanford Encyclopedia of Philosophy notes that Frege's work was almost entirely unappreciated by his contemporaries, and that he worked in relative obscurity for most of his career.

Frege's personal life was marked by difficulty. He married Margarete Lieseburg in 1887, and the couple had at least two children, though all of their biological children died young. They later adopted a son, Alfred. Frege was politically conservative and, in his later years, became increasingly embittered about his lack of recognition and about the direction of German politics. After his retirement from Jena in 1918, he moved to Bad Kleinen, a small town near his birthplace, where he continued to work on philosophical manuscripts that would only be published posthumously. He died on July 26, 1925, at the age of seventy-six, having lived long enough to see the influence of his work begin to spread through the writings of Bertrand Russell and Ludwig Wittgenstein, but not long enough to witness the full transformation of philosophy that his ideas would bring about.

Philosophy

Begriffsschrift and the Invention of Modern Logic

In 1879, Frege published the Begriffsschrift, subtitled "a formula language of pure thought modeled on that of arithmetic." The title means "concept-script," and the book was Frege's attempt to create a formal language in which mathematical and philosophical reasoning could be carried out with complete precision, free from the ambiguities and vagueness of ordinary language. The Begriffsschrift is one of the most important works in the history of logic. In it, Frege invented the quantifier-variable system that forms the basis of modern predicate logic — the system that every student of logic learns today.

To appreciate what Frege accomplished, it helps to understand the state of logic before him. The logical tradition descending from Aristotle, known as syllogistic logic, had dominated Western thought for over two thousand years. Syllogistic logic could handle certain forms of reasoning — "All men are mortal; Socrates is a man; therefore Socrates is mortal" — but it was remarkably limited. It could not adequately represent relations between multiple objects, multiple quantifiers, or the logical structure of mathematical statements. A sentence like "Every number has a successor" or "For every real number x there is a smaller real number y" lies entirely outside the expressive power of syllogistic logic. Frege saw that mathematics required a more powerful logical apparatus, and he set out to create one.

The Begriffsschrift introduced several innovations that together constituted a new logical language. First, Frege replaced the subject-predicate structure of traditional logic with a function-argument structure borrowed from mathematics. Instead of analyzing "Socrates is mortal" as subject ("Socrates") plus predicate ("is mortal"), Frege analyzed it as a function — "is mortal" — applied to an argument — "Socrates." This might seem like a minor change, but it was revolutionary. It allowed Frege to represent complex relational statements that traditional logic could not handle, and it made the logical form of a sentence explicit in a way that the old grammar-based analysis could not. Second, Frege introduced the universal quantifier — the notion of "for all" — and showed how existential quantification ("there exists") could be defined in terms of it. Third, he developed a system of axioms and inference rules that allowed proofs to be carried out entirely within the formal system, with every step made explicit.

The notation Frege used was two-dimensional, with lines branching in a tree-like structure that most readers found forbidding. It never caught on — the notation we use today, with the symbols ∀ and ∃, was developed later by Giuseppe Peano and popularized by Bertrand Russell. But the logical system underneath the notation was Frege's, and it remains the foundation of mathematical logic to this day. The Internet Encyclopedia of Philosophy describes the Begriffsschrift as the single most important advance in logic since Aristotle, a judgment that is now virtually universal among historians of the subject.

Logicism and the Foundations of Arithmetic

Frege's logical work was not an end in itself. It was in the service of a larger philosophical project: logicism, the thesis that arithmetic is a branch of logic. Frege believed that the truths of arithmetic — statements like "2 + 2 = 4" or "every natural number has a successor" — are not empirical generalizations learned from experience, nor are they synthetic a priori truths grounded in intuition, as Immanuel Kant had argued. They are analytic truths — truths that follow from the laws of logic alone, once the relevant concepts are properly defined. To prove this, Frege needed to show that the concepts of arithmetic — number, successor, addition — could be defined in purely logical terms, and that the theorems of arithmetic could be derived from purely logical axioms.

Frege pursued this project in two stages. The first was the Foundations of Arithmetic (1884), a non-technical work in which he argued, in clear and accessible prose, that numbers are logical objects. Against the empiricist view that numbers are abstracted from physical collections, and against the psychologistic view that numbers are ideas in the mind, Frege argued that numbers are objective entities that belong neither to the physical world nor to the subjective world of consciousness but to a "third realm" of logical objects. The number two, for instance, is the extension of the concept "being identical with 2" — that is, the collection of all things that are two. This sounds circular, and Frege was well aware of the difficulty. His solution was to define numbers in terms of classes (extensions of concepts): the number belonging to a concept F is the extension of the concept "equinumerous with F," where two concepts are equinumerous if their objects can be put in one-to-one correspondence. This definition, which Frege called "Hume's principle" after a passage in Hume's Treatise, allowed him to derive the basic laws of arithmetic from logical foundations alone.

The second stage was the Basic Laws of Arithmetic (1893-1903), a two-volume work in which Frege carried out the logicist program in full formal detail, using the logical system of the Begriffsschrift. The Basic Laws was meant to be the definitive proof that arithmetic is analytic. It was meticulous, rigorous, and forbiddingly technical — the very qualities that ensured it would be read by almost no one. Frege labored on it for over a decade, and the second volume was at the printer when, in June 1902, he received a letter that would change everything.

Sense and Reference

Before turning to the catastrophe of 1902, it is worth pausing over the contribution that made Frege's reputation once his work was finally discovered: the distinction between sense and reference, set out in the 1892 essay "On Sense and Reference" (Uber Sinn und Bedeutung). The distinction arose from a puzzle about identity statements. Consider the sentences "The morning star is the morning star" and "The morning star is the evening star." Both sentences are, as a matter of fact, true — the morning star and the evening star are both the planet Venus. But the two sentences differ enormously in cognitive value. The first is a trivial tautology that tells us nothing; the second is a genuine astronomical discovery that extends our knowledge. If the meaning of an expression were simply the object it refers to, then "the morning star" and "the evening star" would have the same meaning (since they refer to the same object), and the two sentences would be equally trivial. But they are not. So meaning cannot be identified with reference alone.

Frege's solution was to distinguish two components of meaning. The reference (Bedeutung) of an expression is the object it picks out — in this case, Venus. The sense (Sinn) is the "mode of presentation," the way the object is given to us through the expression. "The morning star" and "the evening star" have the same reference but different senses. The morning star is presented as the star seen in the morning; the evening star is presented as the star seen in the evening. Because they have different senses, the identity statement "the morning star is the evening star" is informative — it connects two different modes of presentation of the same object. This elegantly explains why the statement has cognitive value that the tautology lacks.

The sense-reference distinction has consequences that extend far beyond the puzzle of identity. Frege applied it to entire sentences: the reference of a sentence is its truth value (True or False), and the sense of a sentence is the thought it expresses — the proposition that can be true or false. This means that two sentences can express the same thought (have the same sense) only if they have the same truth value (the same reference). It also means that a sentence embedded in a larger construction — for example, in an indirect speech report like "John believes that the morning star is the evening star" — does not refer to its usual truth value but to its sense. This is why we cannot substitute co-referential terms within belief contexts without potentially changing the truth of the whole sentence: "John believes that the morning star is the morning star" may be true while "John believes that the morning star is the evening star" is false, even though the two embedded sentences have the same reference.

The distinction became foundational for philosophy of language. It introduced the idea that meaning has structure — that we need to distinguish between what an expression refers to and how it refers to it — and it provided the framework within which subsequent philosophers of language would work. Russell's theory of descriptions, Wittgenstein's early and later philosophy, and the entire tradition of semantic theory in the twentieth century all begin from Frege's distinction.

Concept and Object

In a companion essay, "On Concept and Object" (1892), Frege drew a distinction that he regarded as fundamental to logic and ontology. Concepts, on Frege's view, are functions — specifically, functions from objects to truth values. The concept "is a philosopher" is a function that takes an object (Socrates) as argument and yields the value True, while it takes the number 7 as argument and yields the value False. Objects, by contrast, are everything that is not a function: they are the saturated, complete entities that can serve as arguments of concepts. Socrates is an object; the number 2 is an object; Venus is an object. "Is a philosopher," "is even," and "orbits the sun" are concepts.

Frege described the distinction in terms of saturation. A concept is unsaturated — it has a "gap" that needs to be filled by an object. When you fill the gap, you get a complete, saturated entity: a truth value. An object, by contrast, is already complete; it has no gap. This metaphor of saturation may seem odd to modern readers, but it captures something important about logical form. The sentence "Socrates is mortal" is not assembled from two equally complete parts ("Socrates" and "is mortal"); it is the result of applying an incomplete function ("is mortal") to a complete argument ("Socrates"). This insight — that the logical structure of a sentence is functional rather than subject-predicate — was one of Frege's most enduring contributions, and it underlies the formal systems of modern logic.

Russell's Paradox and the Collapse of Logicism

In June 1902, Frege received a letter from a young British philosopher and mathematician named Bertrand Russell. Russell had been studying Frege's Basic Laws of Arithmetic, and he had found a contradiction in it. The contradiction is now known as Russell's paradox, and it goes like this. Frege's system allowed the formation of classes (extensions of concepts) without restriction. Consider the concept "being a class that is not a member of itself." Most classes are not members of themselves — the class of all teacups is not itself a teacup. But some classes might be members of themselves — the class of all things that are not teacups, for instance, is itself not a teacup, and so is a member of itself. Now ask: is the class of all classes that are not members of themselves a member of itself? If it is, then by definition it is not. If it is not, then by definition it is. Either way, contradiction.

Russell's paradox was devastating. It showed that Frege's logical system — the system on which he had built his entire logicist program — was inconsistent. An inconsistent system can prove anything, which means it proves nothing. A decade of meticulous work had been undone by a single, elegant objection. Frege's response was characteristic of the man. He immediately recognized the force of the paradox and, rather than dismissing it or trying to minimize it, he added an appendix to the second volume of the Basic Laws in which he acknowledged the contradiction and attempted a repair. The repair did not work, as Frege himself seems to have realized. He never completed the logicist project, and in his later years he largely abandoned it, coming to doubt that arithmetic could be grounded in logic at all.

Russell, for his part, took up the logicist banner himself. Working with Alfred North Whitehead, he attempted to carry out the program in Principia Mathematica (1910-1913), using a modified logical system designed to avoid the paradox. The project was only partially successful — the system required axioms (like the axiom of reducibility) that many found questionable, and in 1931 Kurt Godel's incompleteness theorems showed that no sufficiently strong formal system can prove all mathematical truths. Logicism in its original Fregean form did not survive these developments. But the project itself — the attempt to understand the relationship between logic and mathematics — remains one of the central concerns of the philosophy of mathematics, and it was Frege who first set it on rigorous foundations.

Key Ideas

The Third Realm

Frege held that the objects of logic and mathematics — numbers, concepts, truth values — belong to what he called a "third realm." They are not physical objects, existing in space and time; nor are they subjective ideas, existing only in individual minds. They are objective entities that exist independently of any thinker, that can be grasped by multiple thinkers, and that are the same for everyone who grasps them. The thought that 2 + 2 = 4 is not my thought or your thought; it is an objective thought that we both grasp, and it was true before any human being thought it. This Platonic conception of logical and mathematical objects was central to Frege's philosophy, and it placed him in opposition to the psychologistic tendencies of much nineteenth-century thought, which tried to ground logic in the workings of the human mind.

Anti-Psychologism

Frege was a fierce opponent of psychologism — the view that logic is ultimately about how people actually think, and that logical laws are generalizations about mental processes. He insisted that logic is normative, not descriptive: it tells us how we ought to think, not how we do think. The laws of logic are not empirical generalizations discovered by studying human psychology; they are objective truths about the relations between thoughts and truth values, valid regardless of whether any human being happens to conform to them. This anti-psychologism was enormously influential. It shaped the logical positivism of the Vienna Circle, the early philosophy of Wittgenstein, and the entire analytic tradition's conception of logic as an autonomous discipline.

Legacy

Gottlob Frege's legacy is one of the most remarkable cases of posthumous recognition in the history of philosophy. During his lifetime, his work was almost entirely ignored. The Begriffsschrift sold few copies; the Basic Laws was reviewed by almost no one; the sense-reference distinction was known only to a handful of readers. Yet within a generation of his death, Frege had been recognized as one of the founding figures of analytic philosophy, a thinker whose ideas had reshaped logic, the philosophy of language, and the philosophy of mathematics.

The chain of influence runs through the most important philosophers of the twentieth century. Russell, who discovered Frege's work in the late 1890s, acknowledged him as the greatest logician since Aristotle and built his own philosophy of mathematics on Fregean foundations. Ludwig Wittgenstein visited Frege in 1911 and later described their conversations as formative; the Tractatus Logico-Philosophicus is in many ways a response to Frege's logical and semantic theories. Rudolf Carnap attended Frege's lectures at Jena between 1910 and 1914 and carried his ideas into the Vienna Circle, where they shaped the development of logical positivism. Michael Dummett, the great twentieth-century philosopher of language, argued that Frege was the first philosopher to take language seriously as the primary subject of philosophical investigation, and that the "linguistic turn" of twentieth-century philosophy begins with Frege rather than with Wittgenstein or Russell.

Frege's technical contributions to logic are equally monumental. The quantifier-variable system he invented in the Begriffsschrift is the logical notation used in every mathematics and computer science department in the world. His analysis of quantification, his function-argument treatment of logical form, and his distinction between first-order and higher-order logic are all standard tools of contemporary logic. The Stanford Encyclopedia of Philosophy describes Frege as the founder of modern logic and one of the most important philosophers of language in the history of the subject, a judgment that reflects the consensus of contemporary scholarship. Frege worked in obscurity, his books unread and his lectures unattended, and he died believing that his life's work had failed. He was wrong. The ideas he developed in the quiet of his study at Jena became the foundation on which an entire tradition of philosophy was built, and they remain as vital and as generative today as they were when he first set them down.