Gottlob Frege’s Philosophy of Language: Foundations of Analytic Philosophy

What does it actually mean for a word to “mean” something? This seemingly simple question sat at the heart of one of the most transformative projects in the history of philosophy. Gottlob Frege, a German mathematician and logician who lived from 1848 to 1925, set out to bring the rigor of mathematics to the study of logic and language – and in doing so, he laid the foundations of what we now call analytic philosophy. His ideas about how language works, particularly his famous distinction between sense and reference, continue to shape philosophy, linguistics, and cognitive science to this day.

Who was Gottlob Frege? 🔗

Gottlob Frege was a mathematics professor at the University of Jena who became one of the most consequential thinkers in modern intellectual history – largely without recognition during his own lifetime. He is widely considered the father of analytic philosophy and one of the greatest logicians since Aristotle. His original concern was not language as such, but rather the foundations of arithmetic: he wanted to answer questions like “What is a number?” and “What do number-words actually refer to?” In pursuing these mathematical questions rigorously, he found himself drawn deeper into the philosophy of meaning, ultimately arriving at insights that would reshape both logic and the study of language.

Though he was largely ignored by his contemporaries, later thinkers – especially Bertrand Russell and Ludwig Wittgenstein – recognized the importance of his work and introduced it to subsequent generations of philosophers and logicians.

The problem with natural language 🔗

Frege believed that ordinary language was fundamentally unreliable for purposes of rigorous reasoning. It was vague, ambiguous, and allowed grammatical structures to mislead logical thinking. His goal was to develop a formal language – free from these imperfections – that could express logical relationships with mathematical precision.

This concern led him to create what he called the Begriffsschrift, published in 1879. The title translates roughly as “concept-script” or “concept notation,” and its full title describes it as “a formula language, modeled on that of arithmetic, for pure thought.” It was the first fully axiomatic system for logic, containing the first appearance of quantified variables, and laying the groundwork for modern predicate logic. Despite being a major advance, the Begriffsschrift was poorly received at the time – its two-dimensional notation struck contemporaries as strange, and few appreciated how radically new it was.

Frege followed this with The Foundations of Arithmetic (1884), in which he argued informally for what would become known as logicism – the thesis that mathematical truths are, at their core, logical truths. He wanted to show that arithmetic needed no basis in intuition and required no non-logical axioms. Everything, he believed, could be grounded in pure logic.

The sense-reference distinction: Frege’s central contribution to philosophy of language 🔗

Frege’s most influential contribution to the philosophy of language came in 1892, with his landmark essay Über Sinn und Bedeutung – translated into English as “On Sense and Reference.” In this work, he drew a fundamental distinction that transformed how philosophers think about meaning.

Before Frege, the dominant view was that the meaning of an expression was simply whatever it referred to – its object in the world. Frege challenged this. He argued that expressions have two distinct aspects of significance: their reference (Bedeutung) and their sense (Sinn).

What is reference (Bedeutung)? 🔗

The reference of an expression is the actual object it points to in the world. The reference of the name “Aristotle” is the historical person Aristotle himself. The reference of a sentence is its truth value – whether it is true or false. This was not a new idea; philosophers had long recognized that names pick out objects. What Frege added was the crucial insight that reference alone cannot explain how language works.

What is sense (Sinn)? 🔗

The sense of an expression is the way in which it picks out its reference – what the Internet Encyclopedia of Philosophy describes as the “mode of presentation” of the object. Two expressions can refer to the same thing while having entirely different senses. This is the core of Frege’s breakthrough.

His classic example involves the planet Venus. “The Morning Star” and “The Evening Star” are both names that refer to the same object – Venus. Yet there is clearly a difference in meaning between the two expressions. A person might know that the Morning Star appears at dawn without knowing it is the same heavenly body as the Evening Star, visible at dusk. The discovery that they are identical was an astronomical achievement – genuinely informative, not a trivial tautology. For Frege, this difference in cognitive value is explained by the difference in sense: the two names pick out Venus in different ways, through different modes of presentation.

Frege illustrated this mediation between sense and reference with the analogy of observing the moon through a telescope. The moon itself is the reference – the actual object. But what we perceive through the lens is a mediated image, shaped by the instrument. That mediated image corresponds to the sense: the way in which we access and present the reference through language.

The identity puzzle that sparked it all 🔗

Frege opened “On Sense and Reference” with a precise logical puzzle about identity statements. Consider the difference between these two claims:

• “The Morning Star is the Morning Star.”
• “The Morning Star is the Evening Star.”

The first statement is trivially true – it says nothing we don’t already know. The second is genuinely informative – it tells us something significant about the world. Yet if meaning were simply a matter of reference, and both names refer to the same object (Venus), then these two statements should be logically equivalent. They are not. Frege’s argument was that sense – not just reference – is what explains this difference in cognitive significance. The sense of an expression is what a competent speaker grasps when they understand it.

Sense, reference, and propositions 🔗

Frege extended the sense-reference distinction beyond proper names to cover sentences as a whole. For a complete sentence, the reference is its truth value (true or false), while the sense is the thought it expresses – the proposition or content that can be grasped, communicated, and evaluated.

This leads to an important consequence. Some sentences have a perfectly clear sense – they express a coherent thought – but lack a reference because there is no corresponding object in the world. Consider the sentence “The Queen of India is wise.” It is grammatically and conceptually well-formed; one can understand what it is saying. But since there is no Queen of India, the sentence has no truth value. It possesses sense but lacks reference. Similarly, a sentence like “A centaur is half-human and half-horse” is comprehensible in terms of sense, but since centaurs do not exist, it has no reference and therefore no truth value.

This analysis had significant implications for how philosophers think about fiction, mythology, and the limits of language. Frege was not dismissing such sentences as meaningless – they clearly communicate something. But he insisted that truth, rigorously understood, requires that expressions successfully refer to something in the world.

Logic, language, and the separation of the objective from the subjective 🔗

One of Frege’s most persistent philosophical commitments was the strict separation of the logical from the psychological. He was deeply opposed to psychologism – the view that logical laws are ultimately grounded in facts about how human minds work. For Frege, logical truths are not mental events or private impressions; they are objective and publicly accessible.

The Internet Encyclopedia of Philosophy notes that for Frege, “the logician’s main goal in her struggle with language is to ‘separate the logical from the psychological’” – to isolate the logically relevant aspects of meaning from those that are merely psychological or subjective. Sense, for Frege, is not a private mental image or idea in someone’s head. It is something objective: grasped by individual minds, but not created or owned by them. The thought expressed by “2 + 2 = 4” is not anyone’s personal idea; it is a public truth that anyone, in any language, can come to grasp.

This anti-psychologism was enormously influential. It set the direction for the analytic tradition’s emphasis on the objective, logical structure of language and thought – an emphasis that shaped the work of Bertrand Russell, Rudolf Carnap, and Ludwig Wittgenstein.

Frege’s legacy in analytic philosophy 🔗

Much of what we now recognize as analytic philosophy traces directly back to Frege. As the Stanford-sourced analysis of his work makes clear, his views on logic led to his views on reference, and his views on reference led to a comprehensive theory of meaning that philosophers are still refining and debating. He invented modern quantificational logic, created the first fully axiomatic logical system, and gave philosophy a new set of tools for analyzing language with precision.

His influence on Russell was direct and acknowledged. Russell’s own theory of descriptions, his work on logical atomism, and even the famous paradox that bears his name (Russell’s Paradox) – which undermined Frege’s logicist program by revealing an inconsistency in its foundational axiom – all grew out of a serious engagement with Frege’s ideas. Wittgenstein, in his Tractatus Logico-Philosophicus, pays explicit homage to Frege’s conceptual notation. And the logical positivists of the Vienna Circle built their project of scientific philosophy directly on Fregean foundations.

The sense-reference distinction, in particular, remains a live topic in contemporary philosophy of language. Debates about proper names, natural kind terms, the semantics of belief attributions, and the nature of propositions all continue to invoke Frege’s original framework – sometimes to defend it, sometimes to revise it, and sometimes to argue against it, as in the influential work of Saul Kripke, who challenged the descriptivist theory of reference that many scholars had associated with Frege’s notion of sense.

Why Frege still matters 🔗

Frege asked a deceptively simple question: when we use language to refer to the world, what exactly are we doing? His answer – that meaning has two layers, a mode of presentation (sense) and an object (reference) – gave philosophy a precise vocabulary for thinking about how words connect to the world. It also made visible a range of problems that a purely referential account of meaning cannot handle: informative identity statements, empty names, the semantics of belief and attitude reports, and the cognitive significance of linguistic expressions.

The Stanford Encyclopedia of Philosophy rightly notes that Frege essentially reconceived the discipline of logic itself, and that his philosophy of language gave rise to the “linguistic turn” in philosophy – the 20th-century shift toward treating philosophical problems as, fundamentally, problems about language and its structure. That turn defined philosophy for much of the last century, and Frege’s work remains at its origin point.

What do you think? If two expressions refer to the same object in the world but present it differently – as “the Morning Star” and “the Evening Star” both refer to Venus – does that mean language is always, in some sense, an interpretation of reality rather than a direct mirror of it? And if sense is something objective and publicly shared, as Frege believed, does that change how we think about disagreements over the meaning of words?

References

1. https://plato.stanford.edu/entries/frege/
2. https://iep.utm.edu/frege/
3. https://en.wikipedia.org/wiki/Begriffsschrift
4. https://en.wikipedia.org/wiki/Sense_and_reference
5. https://iep.utm.edu/freg-lan/
6. https://www.thecollector.com/sense-referece-gottlob-frege-concepts/