Gottlob Frege

Friedrich Ludwig Gottlob Frege (1848–1925) was a German philosopher, logician, and mathematician whose work is widely regarded as the founding moment of modern analytic philosophy. His invention of predicate logic, his analysis of the concept of number, and his distinction between sense and meaning transformed the landscape of philosophy and established the methods — logical analysis, attention to language, commitment to clarity — that would define the analytic tradition for the next century and a half.

The Begriffsschrift and the Logic of Quantification

Frege's 1879 monograph Begriffsschrift ('Concept Script') introduced a formal notation for logical reasoning that solved a problem that had defeated logicians since Aristotle: the representation of generality and existence. Aristotelian syllogistic could handle statements like 'all humans are mortal' but could not adequately represent statements with multiple quantifiers, relational predicates, or nested scopes. Frege's notation — using functions, arguments, and quantifier-variable binding — made it possible to express the logical structure of any proposition, however complex.

The philosophical significance of this technical achievement was immense. Frege showed that the logical structure of propositions could be analyzed independently of their surface grammatical form. The sentence 'the King of France is bald' appears to refer to a king who has the property of baldness; Frege's analysis revealed that the definite description 'the King of France' is not a referring expression at all but a complex quantifier whose truth conditions can be specified without assuming the existence of a king. This analysis — later refined by Bertrand Russell — dissolved the metaphysical problem of non-existent objects and established the template for analytic philosophy's characteristic method: replace apparent metaphysical problems with logical analyses.

Foundations of Arithmetic

In The Foundations of Arithmetic (1884) and the two-volume Basic Laws of Arithmetic (1893, 1903), Frege attempted to derive the truths of arithmetic from purely logical principles. The program — known as logicism — aimed to show that mathematics is not an independent science with its own subject matter but a branch of logic, and that mathematical truths are analytically true by virtue of meaning alone.

Frege's strategy was to define the concept of number in purely logical terms. A number, he argued, is not a property of aggregates (as the empiricists held) but the equivalence class of all concepts with the same extension. The number three is the class of all concepts that apply to exactly three objects. This definition allowed Frege to derive the basic laws of arithmetic — the successor relation, mathematical induction, the existence of infinite numbers — from logical axioms alone.

The program collapsed in 1903 when Bertrand Russell identified a paradox in Frege's system: the set of all sets that are not members of themselves both is and is not a member of itself. Frege's response — a letter to Russell acknowledging the devastating force of the paradox — is one of the most moving documents in the history of philosophy. The logicist program was not fully recoverable, but the methods Frege developed — formalization, conceptual analysis, the search for foundations — became the defining practices of analytic philosophy.

Sense and Reference

Frege's 1892 paper 'On Sense and Reference' introduced one of the most influential distinctions in the philosophy of language. The reference of an expression is the object it picks out; the sense of an expression is the mode of presentation through which the reference is given. 'The Morning Star' and 'the Evening Star' both refer to Venus, but they present Venus through different modes — as the brightest object in the morning sky and as the brightest object in the evening sky. The distinction explained how identity statements could be informative ('the Morning Star is the Evening Star' is not trivially true) and how empty names could be meaningful ('Odysseus' has a sense even if there is no such person).

The sense-reference distinction has been applied to problems in epistemology, philosophy of mind, and cognitive science. It is the ancestor of contemporary distinctions between intension and extension, between propositional content and truth conditions, and between the vehicles of representation and their targets.

Legacy and Assessment

Frege's influence on twentieth-century philosophy is rivaled only by that of Wittgenstein and Heidegger, and his methods have shaped not only philosophy but linguistics, computer science, and artificial intelligence. The formal semantics developed by Richard Montague in the 1970s is an extension of Frege's program. The type-theoretic foundations of modern programming languages descend from Frege's function-theoretic analysis of concepts. The philosophy of language practiced by philosophers from Quine to Kripke to Kaplan is unthinkable without Frege's distinctions.

The assessment of Frege's legacy is complicated by his political views. His late writings include anti-Semitic and nationalist sentiments that have led some scholars to question whether his philosophical methods can be separated from his political commitments. The consensus is that they can: the logical tools Frege developed are politically neutral in their content, even if the person who developed them was not. But the question remains a reminder that philosophical brilliance and moral blindness can coexist, and that the history of philosophy is not a history of saints.