Gottlob Frege

Quick Facts

• Full name: Friedrich Ludwig Gottlob Frege
• Lived: 1848-1925
• Place: born in Wismar; spent most of his academic life at the University of Jena
• Main fields: logic, mathematics, philosophy of language, philosophy of mathematics
• Best known for: predicate logic, logicism, the context principle, and sense and reference
• Main works: Begriffsschrift, The Foundations of Arithmetic, "On Sense and Reference," and Basic Laws of Arithmetic

The Big Question

Can arithmetic and reasoning be explained by logic, rather than by psychology, intuition, or loose ordinary grammar?

Frege's answer was yes. Arithmetic is not about private mental pictures or piles of physical things. It is about objective logical relations. Language also has a logical structure beneath its surface grammar. If we expose that structure, we can see why some arguments really follow and why some sentences mean what they do.

In One Minute

Frege is one of the founders of modern logic and Analytic Philosophy. Older logic handled simple patterns like "All humans are mortal." Frege built a much stronger system using functions, variables, and quantifiers: words such as "all," "some," and "there exists" made precise.

He used that logic to defend logicism, the view that arithmetic can be grounded in logic. His formal system failed when Bertrand Russell found a contradiction in it, but the attempt changed philosophy and mathematics. Frege also changed philosophy of language with his distinction between reference, the object an expression stands for, and sense, the way that object is presented.

What They Taught

Frege taught that good reasoning depends on logical form, not on the surface shape of ordinary sentences. Grammar can mislead us. Two sentences can look similar while having very different logical structures.

Older textbook logic was mostly built around subject and predicate: "Socrates is mortal," "All humans are mortal," "Some humans are philosophers." Frege saw that this was too weak for mathematics. Mathematics needs claims such as "for every number there is a larger number." It also needs to distinguish "every student read some book" from "some book was read by every student." The same words appear, but the order of "every" and "some" changes the claim.

In Begriffsschrift (1879), Frege created a formal language for proof. It used variables and quantifiers. A variable is a placeholder, like "x." A quantifier says how widely the claim ranges: "for every x" or "there exists an x." He also used function-argument analysis. A function is an expression with an empty place. An argument fills that place. In "Socrates is mortal," the name "Socrates" fills the empty place in "is mortal." In "x + 2 = 5," x is the empty place waiting to be filled.

His second great teaching was logicism. Logicism says that arithmetic can be derived from logic. Frege was pushing against Immanuel Kant, who thought arithmetic was necessary knowledge but depended on pure intuition, especially our inner awareness of time. Frege agreed that arithmetic is necessary and not learned by counting a few examples. But he denied that it rests on intuition. For him, arithmetic is logical.

To make that case, Frege attacked several wrong pictures of number. A number is not a mental image, because then my "three" and your "three" would be different private objects. It is not a written mark such as "3," because then arithmetic would be about ink or chalk. It is not a physical heap, because the same heap can be counted as six eggs, one half-dozen, or one carton.

Frege's better idea was that number statements are statements about concepts. "There are two moons of Mars" says that the concept "moon of Mars" has exactly two objects falling under it. "There are zero square circles" says that nothing falls under the concept "square circle." This lets him explain number with existence, identity, and quantification.

Frege defended the context principle: do not ask for the meaning of a word by staring at it in isolation; ask how it works in a complete proposition. The word "three" becomes clearer when we look at sentences such as "there are three planets in this model" or "the number of F's equals the number of G's." Meaning lives in use within a thought, not in a detached mental picture.

Frege tried to prove arithmetic from logic in Basic Laws of Arithmetic. The system used extensions, also called value-ranges: collection-like objects tied to concepts. Basic Law V said when two extensions are the same. Russell showed that this principle generates a contradiction, now called Russell's paradox. Frege's system failed, but the failure forced later logicians to ask what logic, set theory, and arithmetic really require.

Frege also rejected psychologism. Psychologism says logic is about how people in fact think. Frege thought this confuses a description with a standard. Psychology can tell us that people often jump to conclusions. Logic tells us whether the conclusion actually follows. A proof is valid because of objective relations among thoughts, not because someone feels convinced.

In language, Frege taught that meaning has more than one layer. The reference of an expression is what it stands for. The sense is the way it presents that reference. "The Morning Star" and "the Evening Star" both refer to Venus, but they present Venus in different ways. That is why "the Morning Star is the Evening Star" can teach us something. Frege extended this to whole sentences: a sentence expresses a thought, and its reference is a truth-value, True or False.

Key Ideas With Examples

• Logical form: the structure of a claim for purposes of inference. "Every student read some book" and "some book was read by every student" differ because "every" and "some" have different scopes.
• Quantifier: a device for saying "all," "some," or "there exists" exactly. "For every number n, there is a number greater than n" is clearer than "numbers keep going."
• Function and argument: a function has an empty place; an argument fills it. "x is a planet" becomes true when "Mars" fills the place and false when "Tuesday" fills it.
• Concept and object: a concept is something an object can fall under. "Planet" is a concept. Mars is an object that falls under it.
• Logicism: the view that arithmetic is grounded in logic. "2 + 2 = 4" follows from logical definitions of number and addition, not from checking apples.
• Context principle: words get their meaning inside complete thoughts. "0" is explained through sentences such as "there are zero unicorns in the room."
• Sense and reference: reference is what an expression points to; sense is how it presents that thing. "Venus," "the Morning Star," and "the Evening Star" can have the same reference with different senses.
• Anti-psychologism: logic is not a study of mental habits. If most people make a fallacy, psychology records the habit; logic explains why it is invalid.

Major Works

• Begriffsschrift (1879): Frege's "concept-script." It introduces a formal language for proof, with variables, quantifiers, conditionals, and complex inference. Its notation did not catch on, but the ideas became basic to predicate logic.
• The Foundations of Arithmetic (1884): Frege's most readable book. It asks what numbers are and argues that arithmetic belongs to logic. It develops the context principle and treats number statements as statements about concepts.
• "Function and Concept" (1891): a lecture explaining why logic should use the function-argument model. Frege shows how mathematical functions and linguistic predicates can be understood in a shared logical framework.
• "On Sense and Reference" (1892): Frege's famous essay on meaning. It explains why two expressions can refer to the same thing while presenting it differently. The Morning Star and Evening Star example became a standard starting point for philosophy of language.
• "Concept and Object" (1892): an essay distinguishing concepts from objects. It explains why a concept, such as "horse," is not itself the same kind of thing as a horse.
• Basic Laws of Arithmetic (1893, 1903): Frege's formal attempt to derive arithmetic from logic. Russell found that one of its principles leads to contradiction, shaping later work in logic and set theory.

Why It Matters

Frege changed the basic equipment of philosophy. Modern logic, philosophy of language, analytic philosophy, formal semantics, and the foundations of mathematics all work in territory he helped open.

His logic represented arguments that older logic could barely handle. His logicism made arithmetic a central philosophical problem: what are numbers, and why do mathematical truths seem necessary? His anti-psychologism separated logic from mental habits. His sense-reference distinction gave philosophers a clean way to talk about names, identity, information, and truth.

Even where Frege failed, he mattered. Russell's paradox showed that the foundations of logic and mathematics were more delicate than anyone had realized.

Proponents, Critics, and Opponents

Frege reacts against Immanuel Kant on arithmetic. Kant thought arithmetic was necessary but grounded in pure intuition. Frege thought it could be grounded in logic alone.

Bertrand Russell is both heir and critic. Russell learned from Frege's logicism and logical analysis, but his paradox exposed the fatal flaw in Frege's formal system. Russell's later type theory and Principia Mathematica develop in Frege's shadow.

Ludwig Wittgenstein took from Frege the idea that propositions have logical form. Early Wittgenstein pushed that idea in the Tractatus. Later Wittgenstein moved away from the dream of one ideal logical form.

Rudolf Carnap carried forward Frege's respect for formal languages, logical reconstruction, and exact definitions. Logical empiricism would not look the same without Frege's model of clarity.

Saul Kripke later challenged descriptivist theories of names associated with the Fregean tradition. Kripke argued that names often refer through causal-historical chains, not by carrying a description that uniquely identifies the object.

Charles Sanders Peirce is a useful contrast. Peirce also transformed logic, but tied it to signs, inquiry, and scientific practice. Frege's route ran through formal logic, arithmetic, and the objectivity of thought.

G. E. Moore shares the analytic demand for clarity, but his style is very different. Moore works through ordinary judgment, common sense, and ethics. Frege works through formal logic and mathematical proof.

Related Pages

• Analytic Philosophy
• Immanuel Kant
• Bertrand Russell
• Ludwig Wittgenstein
• Rudolf Carnap
• Saul Kripke
• Charles Sanders Peirce
• G. E. Moore