Why "The Morning Star is the Evening Star" shocked 19th-century logicians
If words only point to real-world objects, then stating that the Morning Star is the Evening Star should convey the exact same information as saying Venus is Venus. Yet the first statement represents an astronomical discovery. Gottlob Frege resolved this paradox in 1892 by distinguishing between an object's reference (the physical entity) and its sense (the way that entity is presented to our minds).
The Puzzle of Identity Statements
To ancient astronomers, the bright celestial body appearing in the east before sunrise was known as the Morning Star (or Phosphorus in Greek tradition), while the radiant body visible in the west after sunset was called the Evening Star (Hesperus). For centuries, many observers assumed these were two distinct celestial bodies. When astronomical observation proved that both names actually picked out the exact same planet—Venus—it marked a genuine scientific discovery. This empirical breakthrough, however, presented a profound challenge to nineteenth-century logicians and philosophers studying language.
The problem lies in what logicians call identity statements. Consider two statements: 'Venus is Venus' and 'The Morning Star is the Evening Star.' The first statement, of the form 'a equals a,' is entirely trivial; it is an instance of the law of identity that requires no empirical investigation to verify and adds nothing new to our knowledge. The second statement, of the form 'a equals b,' expresses an informative, empirical fact that astronomers had to discover through painstaking observation. Yet if both 'the Morning Star' and 'the Evening Star' merely designate the same physical object, both statements appear to say nothing more than that an object is identical to itself.
The Failure of the Direct Reference Model
Before the German mathematician and logician Gottlob Frege published his landmark 1892 essay 'Über Sinn und Bedeutung' ('On Sense and Reference'), the prevailing intuition treated proper names and identifying terms primarily as tags for real-world entities. Under a direct reference view, the sole function of a name is to stand for the physical object it denotes. If the meaning of a name is exhaustively defined by the object it points to, then two names pointing to the same object must possess the exact same semantic value.
Under this naive view, replacing one name with another name for the exact same object in an identity statement should produce no change in the statement's informative value. If 'the Morning Star' means nothing more than the physical planet Venus, then asserting 'the Morning Star is the Evening Star' would be functionally indistinguishable from asserting 'Venus is Venus.' This conclusion conflicts sharply with our cognitive experience: one sentence conveys a valuable astronomical truth, while the other is a hollow tautology. Logicians needed a theoretical framework capable of explaining how two terms can point to the same physical entity while carrying entirely different cognitive values.
Frege's Solution: Sense and Reference
Frege resolved the paradox by demonstrating that the relationship between language and reality requires more than a simple two-part link between a word and an object. Instead, Frege argued that a linguistic expression connects to an object through an intermediary level of meaning. He split what had previously been lumped together as 'meaning' into two distinct components: reference (Bedeutung) and sense (Sinn).
The reference of a term is the actual object or entity in the world that the expression designates—in this case, the physical planet Venus. The sense, by contrast, is the 'mode of presentation' (die Art des Gegebenseins)—the specific way or perspective through which that object is presented to human thought. 'The Morning Star' presents the planet through the perspective of morning visibility, while 'the Evening Star' presents it through evening visibility. Because these two expressions have different senses, the statement 'the Morning Star is the Evening Star' connects two distinct modes of presentation to a single physical object, explaining why the discovery expands our knowledge.
Objective Senses versus Private Ideas
A common misunderstanding of Frege's theory of sense is to confuse an objective sense with an individual's subjective mental image. Frege was a committed opponent of psychologism—the view that logical and semantic principles are merely psychological processes within the human mind. He carefully distinguished between the sense of a term and the private psychological idea (Vorstellung) that a speaker might associate with it.
An idea or mental image is inherently subjective, fluctuating between individuals and even within the same person across time. One observer looking at Venus might imagine cold morning air and a telescope, while another pictures a twilight sky over a city. Frege maintained that senses cannot be private mental states; if they were, genuine communication would be impossible, as no two people could ever grasp the exact same thought. Senses, in Frege's view, are objective, shared abstract structures that different minds can access and understand identically, enabling stable public discourse and scientific inquiry.
Extending the Model to Complete Sentences
Frege did not confine the distinction between sense and reference to individual names; he applied it systematically to whole sentences through his principle of compositionality. According to this principle, the meaning of a complex expression is determined by the meanings of its component parts. When applied to full declarative sentences, Frege proposed that the sense of a sentence is the thought (Gedanke) it expresses, while the reference of a sentence is its truth-value—either The True or The False.
This structural framework neatly explains how different sentences can share the same truth-value while conveying entirely different thoughts. The sentences 'The Morning Star is a body illuminated by the sun' and 'The Evening Star is a body illuminated by the sun' both refer to The True, because both describe a fact about the planet Venus. However, because their constituent subject terms introduce different senses, the two sentences express different thoughts and possess different cognitive values for anyone evaluating them.
The Challenge of Beliefs and Indirect Contexts
Frege's model also offered an explanation for why substituting coreferential terms fails in contexts involving beliefs, desires, and assertions—what modern philosophy classifies as propositional attitudes. In normal, direct discourse, substituting one term with another that shares the same reference preserves the truth-value of the sentence. If 'the Morning Star is a planet' is true, substituting 'the Evening Star' preserves that truth.
However, in indirect contexts—such as 'Ancient observers believed that the Morning Star was not the Evening Star'—such substitutions break down. An observer might believe the Morning Star rises in the dawn sky without believing the Evening Star does so. Frege explained that within subordinate clauses governed by verbs of thinking or believing (ungerade Rede), expressions do not refer to their customary real-world objects. Instead, they refer to their customary senses. Because the senses of the two terms are different, substituting one for the other changes the subject matter of the belief report itself.
Legacy and Continuing Philosophical Debate
Frege's 1892 paper laid the foundational groundwork for modern analytic philosophy and the formal philosophy of language. By providing a rigorous mechanism to separate cognitive significance from external reference, Frege influenced subsequent generations of thinkers, including Bertrand Russell, Ludwig Wittgenstein, and Rudolf Carnap, all of whom engaged directly with his framework to refine theories of logic, meaning, and knowledge.
While Frege's distinction resolved the identity puzzle, it also initiated enduring debates that continued throughout the twentieth century. Philosophers later questioned whether proper names truly have senses or descriptive content at all, leading figures like Saul Kripke to propose theories of direct reference and rigid designation. Nevertheless, Frege's identification of the gap between an object and the way it is cognitively represented remains one of the most important milestones in the history of logic.
Key takeaways
•Identity statements of the form 'a equals b' (such as 'the Morning Star is the Evening Star') provide informative discoveries, unlike the trivial tautology 'a equals a.'
•Gottlob Frege resolved the identity puzzle by distinguishing between reference (the real-world object designated) and sense (the mode of presentation through which the object is grasped).
•Frege insisted that senses are objective and publicly shareable, rejecting the idea that linguistic meaning consists of private, subjective mental images.
•The sense-reference framework explains why terms pointing to the same object cannot always be swapped in sentences describing beliefs, knowledge, or thoughts.