Reference reference, that relation by which a sign stands to its object in the domain of thought and judgment, constitutes the cornerstone of logical analysis and the foundation upon which the truth of propositions rests. It is not enough to grasp the sense of an expression—its mode of presentation, the path by which the mind arrives at the object—if the reference itself remains indeterminate or unsecured. Without reference, a proposition lacks a truth-value; without reference, language dissolves into mere play of signs, devoid of claim or content. The distinction between sense and reference, though often confused, is not merely a subtle refinement but a necessary division for the coherent construction of scientific discourse, particularly in arithmetic and logic, where the identity of objects must be determined independently of the manner in which they are given. Consider the identity statement “the morning star is the evening star.” Both expressions denote the same celestial body, Venus; yet the sense attached to each is distinct: the former conveys the object as appearing in the east before sunrise, the latter as appearing in the west after sunset. The proposition thus conveys an informative content, not a tautology; it is not trivially true by virtue of the identity of the sign with itself, but true because two distinct modes of presentation converge upon a single reference. If reference were identical with sense, such a proposition would be analytically empty, like “the morning star is the morning star,” and no new knowledge would be gained. But in fact, the proposition expands our understanding precisely because the same object is apprehended under two different senses. This demonstrates that reference cannot be exhausted by the sense of a term; the object to which the term points must be distinguished from the manner in which it is conceived. The reference of a proper name, such as “Friedrich Ludwig Gottlob Frege,” is not the mental image associated with the name by any individual speaker, nor is it the collection of accidental descriptions that may accompany it in casual usage. The reference is the object itself, the historical individual whose existence is presupposed by the logical structure of propositions in which the name occurs. If the name fails to refer—if no such individual exists—then the proposition in which it appears lacks a truth-value, not because it is false, but because it fails to express a complete thought. A proposition requires a saturated logical structure: the function must be completed by an argument, and the argument must be a reference. If the argument is lacking, the thought remains incomplete, and the truth-function cannot be evaluated. Thus, the reference of a proper name is an object, and its absence renders the proposition neither true nor false, but senseless in the strict logical sense. This holds equally for mathematical expressions. The expression “the square root of 4” has a reference, namely the number 2; but the sense is distinct from that of “the positive square root of 4,” even though both denote the same object. The sense is determined by the mode of determination, by the logical form of the expression. The reference, however, is determined solely by the object to which the expression, in its completed form, points within the domain of number. The truth of “2 + 2 = 4” does not depend on any psychological association or linguistic convention; it depends on the identity of the references of the terms involved. The sense of “2” as the successor of 1, and “4” as the successor of 3, may differ from the sense of “the number of human fingers on one hand,” yet their references are identical, and the identity of reference grounds the truth of the equation. To confuse sense with reference is to mistake the vehicle of thought for its destination. The reference of a sentence is its truth-value. This is not a metaphorical extension but a necessary consequence of the logical structure of language. A proposition is a function whose argument is the reference of its component parts, and whose value is the truth-value of the whole. The sentence “Caesar crossed the Rubicon” has as its reference the True, if the historical event occurred; if it did not, its reference is the False. The sense of the sentence is the thought it expresses—the complex structure of concepts and relations articulated therein—but its reference, its contribution to logical inference, is its truth-value. Only by recognizing this can one account for the behavior of complex propositions under logical operations. The truth-value of “If Caesar crossed the Rubicon, then the republic fell” depends not on the sense of the antecedent and consequent, but on the reference of each: if both are true, the implication is true; if the antecedent is true and the consequent false, the implication is false. The sense guides the formation of the thought, but the reference determines its logical behavior. It follows that the reference of a concept-word, such as “horse,” is not a mental image or a set of properties, but the extension of the concept—the class of all objects falling under it. The concept “horse” is a function that maps objects to truth-values: for any object x, the concept yields True if x is a horse, False otherwise. The reference of the concept-word is the totality of objects for which the function yields True. This is not a psychological aggregation, nor a linguistic convention, but an objective domain, independent of human thought. The concept-word “square circle” has a sense—a definite logical form—but no reference, because no object satisfies the condition. The sense is intelligible, the thought is conceivable, but the reference is empty. The proposition “There exists a square circle” is false, not because the sense is incoherent, but because the reference is absent. This distinction becomes indispensable when analyzing identity in logical systems. Identity is not a relation between senses but between references. To say “a = b” is to assert that the references of a and b are identical; the sense of a and the sense of b may differ entirely, yet the truth of the identity depends solely on the identity of the objects denoted. The logical law of identity, a = a, is trivial; but a = b, when b is a different mode of presentation of a, is informative precisely because it asserts the convergence of distinct senses upon one reference. The role of identity in logic is not to express synonymy of expression, but to establish the sameness of object. Without this distinction, the logic of arithmetic collapses into mere syntax. The reference of a function-word, such as “” or “√,” is not an object, but a function—specifically, a mapping from one or more objects to another object. The function “” is the operation that, given two numbers as arguments, yields their sum as value. The reference of “2 + 3” is the number 5; the reference of “3 + 2” is the same number, though the sense—the logical form, the order of presentation—is different. The reference of the function-symbol is its mathematical behavior, its rule of application, not any psychological association or intuitive notion of addition. Functions, like objects, have reference, and the logic of mathematics is the logic of these references and their relations. The evaluation of a function depends entirely on its reference, not on the descriptive manner in which it is introduced. The reference of a quantifier, such as “for all x” or “there exists an x,” is not an object, nor a sense, but a logical operator that ranges over the domain of reference. The quantifier “for all x” has as its reference the totality of objects in the domain under consideration; its logical force lies in the universal assertion over that domain. The truth of “For all x, if x is a number, then x + 0 = x” depends on the reference of the domain of numbers and the reference of the function “+”. The sense of the expression may vary according to the formulation, but its reference—the domain and the function—is fixed. To fail to distinguish the reference of the quantifier from the sense of the bound variable is to confuse the scope of assertion with the mode of presentation. The reference of a logical constant, such as “and,” “or,” “not,” is its truth-functional behavior. The reference of “and” is the truth-function that yields True if and only if both arguments are True; the reference of “not” is the function that inverts the truth-value. These are not psychological operations, nor linguistic habits, nor conventional symbols; they are objective logical functions, whose reference is determined by their role in the calculus of truth-values. The sense of “and” may be described in many ways—conjunction, combination, simultaneity—but its reference is invariant: the function defined by its truth-table. The logical constants derive their meaning not from usage, but from their necessary place in the structure of thought. It is crucial to recognize that reference is not generated by the mind, nor constructed by language, nor sustained by social agreement. It is an objective component of the logical structure of the world, accessible through the analysis of signs. The reference of “the number of planets” is not determined by the number of objects currently observed, nor by the conventions of astronomy, but by the object that satisfies the description within the domain of mathematical reality. If the number of planets were to change, the reference of the expression would change accordingly—but the reference itself remains an object, not a concept or a mental state. The sense of the expression—the mode of determination—may evolve with new discoveries, but the reference is the entity to which the expression ultimately points, and upon which the truth of propositions depends. The failure to distinguish sense from reference leads to confusion in the foundations of mathematics. Many have imagined that the truths of arithmetic are grounded in intuitive notions of quantity, or in the physical properties of collections of objects. But this confuses the sense of a number-word—how it is presented—with its reference—the object it denotes. The number 7 is not the collection of seven apples, nor the mental image of seven dots; it is the object that is the successor of 6, and the predecessor of 8, within the series of natural numbers. The sense may vary according to the mode of presentation—“the number of days in a week,” or “the sum of 3 and 4”—but the reference remains constant. The truth of “7 = 3 + 4” is not established by counting apples, but by the logical structure of the number-series and the definition of addition. Its reference is independent of all empirical contingencies. In logic, the reference of a proposition is its truth-value, and truth-values are objects. They are not abstract entities in the Platonic sense, nor psychological states, nor linguistic conventions; they are the targets of logical functions, the values over which truth-functions operate. The True and the False are as real as the numbers 0 and 1, and are just as indispensable to the structure of thought. To deny this is to deny that logic is a science of objective relations. The proposition “2 + 2 = 4” is not true because we agree on it, nor because it corresponds to our experience, but because the reference of “2 + 2” is identical with the reference of “4.” The truth of the proposition is a fact, not a belief. The reference of a definition is not the sense of the definiendum, but the object that is thereby identified. When we define “prime number” as “a natural number greater than 1 with no positive divisors other than 1 and itself,” the reference is the class of all such numbers. The sense—the definition—is the condition for membership; the reference is the extension of the condition. The definition does not create the reference; it reveals it. The reference existed prior to the definition; the definition merely fixes our mode of access to it. This is not true of arbitrary stipulations, such as “let us call this object ‘X’”; such stipulations are not definitions but names, and their reference is fixed by the act of naming, not by any logical condition. The reference of a thought is the state of affairs to which it corresponds. A thought is not the mental act of thinking, nor the sentence that expresses it, nor the psychological image that accompanies it; it is the objective content that can be the same for different thinkers, and that may be true or false independently of any individual’s awareness. The thought expressed by “The Earth orbits the Sun” is the same whether it is articulated in Latin, German, or Mandarin, and whether it is believed by a child or a scientist. Its reference—the state of affairs it describes—is objective, and its truth is independent of the existence of any thinker. The reference of the thought is its truth-value, and its sense is the thought itself, the structured relation of concepts that constitutes its content. The logic of language, therefore, is not the logic of words, nor of minds, but the logic of references. The structure of propositions is determined by the structure of their references, and the validity of inference depends on the identity and difference of these references. To understand a proposition is to grasp its sense, but to evaluate it is to determine its reference. Without reference, sense is empty; without sense, reference is inaccessible. But both are required: sense as the path, reference as the destination. The science of logic is the science of this relation. The logical analysis of language. Its progress depends upon the rigorous separation of sense from reference, and the recognition that reference is not a psychological phenomenon, nor a social construct, but an objective component of the logical order. The reference of a sign is the object it designates, and the object is not a mere abstraction, nor a mental representation, nor a linguistic convention, but a constituent of the logical structure of the world. The truths of arithmetic, the laws of logic, the identities of mathematical objects—all rest upon this foundation. To obscure the distinction between sense and reference is to undermine the possibility of objective knowledge. To maintain it is to preserve the integrity of thought itself. Authorities Frege, Gottlob. Begriffsschrift . 1879. Frege, Gottlob. Die Grundlagen der Arithmetik . 1884. Frege, Gottlob. “Über Sinn und Bedeutung.” Zeitschrift für Philosophie und philosophische Kritik , 1892. Further Reading Boolos, George. “The Importance of the Frege–Russell Correspondence.” In Logic, Logic, and Logic . Harvard University Press, 1998. Dummett, Michael. Frege: Philosophy of Language . Harvard University Press, 1973. Katz, Jerrold J. The Metaphysics of Meaning . MIT Press, 1990. [role=marginalia, type=heretic, author="a.weil", status="adjunct", year="2026", length="51", targets="entry:reference", scope="local"] Reference is not a bedrock but a ritual—our minds conspire to stabilize signs into objects, not because truth demands it, but because power needs fixed points. Venus is not referenced; it is named, again and again, to quiet the chaos of perception. Identity is a political pact, not a logical given. [role=marginalia, type=objection, author="a.simon", status="adjunct", year="2026", length="50", targets="entry:reference", scope="local"] To treat reference as ontologically prior to sense risks reifying linguistic signs as mere labels for pre-given entities. Frege’s distinction risks obscuring how reference is historically, culturally, and linguistically constituted—Venus is not “the object” but the stabilizing effect of a practice. Reference emerges through use, not as a metaphysical anchor. [role=marginalia, type=objection, author="Reviewer", status="adjunct", year="2026", length="42", targets="entry:reference", scope="local"] I remain unconvinced that the distinction between sense and reference fully captures the limitations of human cognition, especially in light of bounded rationality and the complex interplay of mental schemas. How do these constraints affect our understanding of reference in practical applications? See Also See "Language" See "Meaning"