Meaning meaning, that which determines the cognitive significance of a sign in a proposition, must be rigorously distinguished from the object to which the sign refers, for confusion between these two elements has historically led to the erroneous conflation of linguistic expression with psychological state or empirical circumstance. The sense of a sign, or its Sinn, is the mode in which its reference is presented, and it is this sense that enables a proposition to convey thought—not merely to denote an object, but to articulate a particular way of grasping it. When two expressions designate the same object, as when “the morning star” and “the evening star” both refer to the planet Venus, they may nevertheless differ in sense, and thus in the thought they express; the proposition “the morning star is the evening star” is informative precisely because the sense of each term differs, even though their reference is identical. This distinction is not a matter of subjective association or mental imagery, for sense is neither a mental entity nor a contingent feature of linguistic use, but an objective, publicly accessible content that can be apprehended by any rational agent capable of understanding the signs involved. The sense of a term is determined by the way in which its reference is given, by the logical structure of its definition or by the mode of presentation embedded in its grammatical and syntactic role within a proposition. In the context of a complete proposition, sense is not merely a property of individual terms, but arises from the functional composition of those terms according to the rules of logical syntax. The sense of a sentence is the thought it expresses, and this thought is not the mental act of thinking, nor the psychological occurrence of belief, but a logically structured content that may be true or false independently of whether anyone entertains it. The thought expressed by “2 + 2 = 4” is not rendered true by any individual’s conviction of its truth, nor is it rendered false by any lack of belief in it; its truth is grounded in the objective relations between the numbers designated by the numerals, as determined by the definitions of addition and identity established within the system of arithmetic. The sense of the sentence is the thought, and the reference of the sentence is its truth-value—either the True or the False. This latter point is critical: the reference of a sentence is not another object in the world, such as a state of affairs or a fact, but the truth-value that corresponds to the logical evaluation of the thought it expresses. Thus, when two sentences express the same thought, they must have the same reference—the same truth-value—and when they differ in sense, they may still share the same reference, as in the case of “the morning star is visible at dawn” and “the evening star is visible at dusk,” both of which may be true, yet express different thoughts due to the differing senses of their component terms. The reference of a proper name is the object to which it directly points, and if no such object exists—if the name is without a bearer—then the name lacks reference, and consequently, the sentence in which it occurs lacks a truth-value. The proposition “Odysseus was set ashore at Ithaca” cannot be assigned a truth-value if “Odysseus” has no reference, for no object exists to satisfy the conditions of the predicate. Yet the sense of “Odysseus” may still be determinate: it may be given by the narrative structure of Homer’s epic, by the role Odysseus plays in the mythological system, and by the logical description that associates him with certain properties—such as being the king of Ithaca, the son of Laërtes, the wanderer of ten years. This sense remains accessible even in the absence of reference, and it is this sense that allows us to entertain the proposition meaningfully, to evaluate its internal consistency, to compare it with other propositions in the same fictional system, and to determine whether it is entailed by or contradicted by other statements within that system. The sense, therefore, is not contingent upon the existence of its referent, nor upon the psychological states of those who utter or comprehend it; it is a logical object, objective and eternal, apprehensible by any rational mind capable of grasping the definitions and relations that constitute it. The sense of a concept-word, such as “horse” or “prime number,” is not an abstract entity in the Platonic sense, nor is it a mental image, a collection of perceptual features, or a social convention. It is the condition under which an object falls under the concept, and it is determined by the rules that define the concept within a formal system. The concept “prime number” is defined by the condition that a number is divisible only by unity and itself, and it is this condition—the sense of the concept—that determines whether any given number falls under it. The reference of the concept is its extension: the class of all objects falling under it. The extension of “prime number” is the infinite set of integers satisfying the defining condition, and it is this extension that is the reference of the concept. Yet the sense—the thought expressed by “is a prime number”—is not the extension itself, nor is it the method by which one might compute whether a number belongs to the extension. The sense is the criterion, the rule, the logical form that permits the assignment of objects to the concept; it is what makes it possible to say, with clarity and precision, that 17 is a prime number, while 18 is not. The identity of the concept is not tied to the contingencies of human cognition, nor to the linguistic habits of any particular community, but to the objective logical structure that governs its definition. This objectivity is what distinguishes logical meaning from all psychological or empirical accounts of language. To assert that the sense of a word is a mental idea, or that meaning arises from usage in a community, or that truth is determined by pragmatic success, is to confound the logical order with the empirical, the objective with the subjective. The sense of “triangle” is not the image that arises in the mind of a child when she hears the word, nor is it the set of objects in the world that happen to be called triangles by speakers of English. The sense of “triangle” is the condition that any figure must satisfy to be counted as a triangle: a plane figure bounded by three straight lines. This condition is not altered by the fact that some cultures use different terms, that some individuals misunderstand the term, or that some drawings are imperfect approximations. The sense remains fixed, and it is this fixed sense that permits the rigorous development of geometry, for it is only by anchoring the concept to an objective criterion that theorems can be proved, that deductions can be validated, and that truth can be secured against the flux of perception or the variability of opinion. The truth of Euclid’s theorem that the angles of a triangle sum to two right angles depends not on the accuracy of drawings, nor on the intuitive grasp of learners, but on the logical consequences of the definitions and axioms that fix the sense of the terms involved. In the analysis of functions and arguments, the distinction between sense and reference becomes indispensable. A function, such as “the square of x,” is not a thing, but a rule that maps arguments to values. The sense of the function is the rule itself—the logical determination of how the argument is to be transformed—while its reference is the set of all value-pairs it generates. When we write “√4,” we do not refer to a process of calculation or to the mental act of extracting a root; we refer to the number 2, which is the value yielded by the function under the argument 4. The sense of “√4” is the method of determination: the number which, when multiplied by itself, yields 4. This sense is not the same as the sense of “2,” even though both expressions refer to the same object. The proposition “√4 = 2” is informative, not because it equates two objects, but because it equates two modes of presentation, two ways of arriving at the same reference. The sense of the left-hand expression is the functional determination by the square root operation; the sense of the right-hand expression is the primitive designation of the number two. Their identity is not trivial, and their difference in sense is what renders the proposition cognitively significant. The same logic applies to the analysis of subordinate clauses. In the sentence “I know that the morning star is visible at dawn,” the subordinate clause “that the morning star is visible at dawn” is not used to assert the proposition directly, but to serve as the object of the verb “know.” In this context, the subordinate clause does not have its ordinary reference—its truth-value—but rather its sense. The reference of the entire sentence is not a truth-value, but a mental state—namely, the relation of knowing between the subject and the thought expressed by the subordinate clause. It is only under direct assertion that a sentence has its truth-value as reference; in indirect contexts, such as those following verbs of thought, belief, or knowledge, the reference of the clause shifts to its sense. This shift explains why substitution of co-referential terms within such contexts may fail to preserve truth. If “the morning star” and “the evening star” are co-referential, then “I know that the morning star is visible at dawn” does not entail “I know that the evening star is visible at dawn,” because the sense of the subordinate clause has changed, even though the reference of its component terms has not. The truth of the whole proposition depends not on the reference of the terms within the subordinate clause, but on the sense of the clause as presented to the subject’s mind. This reveals the necessity of distinguishing reference from sense even within the internal structure of propositional contexts, for the logical behavior of language cannot be accounted for by reference alone. The grammatical structure of a sentence governs the composition of its sense, and the logical form of a proposition determines how the senses of its components combine to yield the sense of the whole. In the proposition “Caesar conquered Gaul,” the sense is composed of the sense of the subject-term “Caesar,” the sense of the predicate “conquered Gaul,” and the functional relation between them. The predicate, “conquered Gaul,” is not a name but a concept-word, and it denotes a function that takes an individual as argument and yields a truth-value as value. The sense of the predicate is the rule that determines whether any given individual satisfies the condition of having conquered Gaul. The sense of the entire proposition is the thought that Caesar satisfies this condition. This thought is not instantiated in any physical event, nor is it dependent on the historical record or the testimony of observers; it is a logical object, apprehensible by any rational agent who grasps the definitions of “Caesar,” “conquer,” and “Gaul,” and the logical structure of predication. The truth of the proposition, its reference, is then determined by whether this condition is satisfied. That Caesar did in fact conquer Gaul is a matter of historical fact, but the sense of the proposition is independent of this fact; it is the form of the thought, the structure of the rule, that remains constant whether the proposition is true or false. It follows that the meaning of a term cannot be exhausted by its referent, nor can it be determined by its use in discourse, its frequency in speech, or the associations it evokes in speakers. To suppose that meaning arises from usage is to confuse the empirical conditions of linguistic communication with the logical conditions of thought. The sense of a term is fixed by its definition, not by its frequency of utterance. The sense of “electron” is not determined by how often physicists speak of electrons, nor by the images they conjure when they hear the word, nor by the instruments they use to detect electrons; it is determined by the axioms of quantum theory and the mathematical rules that define the properties of electrons within that theory. The term may be introduced for the first time, and its sense may be fully determined by its logical role within a formal system, even if no object yet satisfies its conditions. The sense of “the largest prime number” is determinate, though no such number exists, because the sense is given by the rule: the prime number greater than all others. Its reference is empty, but its sense is not thereby rendered obscure or subjective; it remains an objective logical content, analyzable, definable, and capable of being embedded in consistent propositions. This objectivity of sense is what enables logic to serve as the foundation of arithmetic, and of mathematics generally. The sense of “number,” “successor,” “zero,” and “addition” must be precisely fixed before any theorem can be proved, and their sense must be independent of the symbols used to denote them. The numerals “3,” “III,” and “three” may differ in their written or spoken form, but if they share the same sense—if they are defined within the same system of arithmetic as denoting the same object under the same conditions—then they are logically equivalent. The sense of a symbol is not tied to its typographical appearance or its phonetic realization, but to its role in the logical structure of the system. This is why the Begriffsschrift, Frege’s formal language, was designed: to eliminate the ambiguities of natural language, to fix the sense of terms by explicit definition, and to render the logical structure of propositions transparent, so that inference may proceed by rule, not by intuition or rhetorical persuasion. In this formal system, the sense of a proposition is given by its syntactic form and its axiomatic definition, and its reference is determined by its truth-value under the rules of evaluation. The goal is not to represent thought as it occurs in the mind, but to represent thought as it must be if it is to be valid, objective, and universally communicable. The confusion between sense and reference has led to the erroneous belief that logical relations are psychological, that identity is contingent, or that truth varies with context. The identity of the morning star and the evening star is not a discovery of astronomical observation alone, but of logical analysis: it is only after the sense of each expression has been clarified that their reference is found to coincide. That they coincide is not a matter of convention, nor of linguistic change, nor of cultural development; it is a necessary truth, derivable from the definitions of stellar motion, celestial mechanics, and the structure of the solar system. The sense of “morning star” is the celestial body visible in the eastern sky before sunrise; the sense of “evening star” is the celestial body visible in the western sky after sunset. These senses are distinct, but their reference—the object they designate—is one and the same. The truth of the identity statement rests not upon any empirical observation, but upon the logical consequence of the definitions that fix the sense of the terms. Without this distinction, no proposition could be said to convey knowledge, for all identity statements would appear trivial, and all informative assertions would be reduced to tautologies. Moreover, the sense of a proposition cannot be altered by the context of utterance, the intentions of the speaker, or the conventions of a linguistic community. The proposition “The capital of France is Paris” has the same sense, and the same reference, whether it is uttered by a child, a diplomat, or a machine; whether it is spoken in Paris, in Tokyo, or in a dream. Its sense is fixed by the definition of “capital” as the seat of government, and of “France” as the territory governed by that seat, and its reference is the city that satisfies that definition. The truth of the proposition does not depend on whether the speaker believes it, or whether the listener knows it, or whether the society acknowledges it. It is true independently of all such conditions, because its sense is determined by objective criteria, and its reference by objective facts. To deny this is to surrender logic to relativism, to replace the authority of proof with the authority of consensus, and to render the very notion of truth vacuous. It is therefore imperative to recognize that meaning, in its logical essence, is not a feature of language as it is spoken or written, but of thought as it is structured. The sense of a proposition is the thought it expresses, and the thought is not a mental event, but a logical object. The reference of a proposition is its truth-value, and the truth-value is not a property of the world, but of the proposition itself, determined by its logical form and its correspondence to the objective relations defined within the system. Language is the vehicle of thought, but it is not its source. The signs of language are merely the means by which thoughts are communicated; the thoughts themselves—those objective senses—are the true bearers of meaning. The rigor of logic lies in its ability to separate the vehicle from the content, the symbol from the signified, the empirical accident from the logical necessity. It is this separation that renders logic capable of serving as the foundation for mathematics. Arithmetic is not derived from counting pebbles, nor from the intuition of quantity, nor from the habits of human experience; it is derived from the logical analysis of the sense of number-concepts and the rules that govern their combination. The number 2 is not the pair of fingers we hold up; it is the successor of 1, defined by the rule that every number has a unique successor, and that 0 is not the successor of any number. The sense of “number” is fixed by these axioms, and the reference of each numeral is the object that satisfies its defining condition. The truth of 2 + 2 = 4 is not established by empirical demonstration, but by the application of logical rules to the definitions of addition and identity. The proof proceeds not by appeal to intuition, but by deduction from sense. The sense of “+” is the function that maps pairs of numbers to their sum; the sense of “=” is the relation of identity; the sense of “4” is the successor of the successor of the successor of the successor of 0. The proposition is true because the rules governing these senses entail its truth. There is no dependence upon perception, psychology, or history. The same holds for geometry, for physics, and for any science that aspires to rigorous knowledge. The sense of “mass,” “force,” or “velocity” must be defined with precision, and their logical relations must be made explicit before any inference can be valid. The reference of these terms is determined by the objects that satisfy their definitions within a consistent theoretical framework. The meaning of a scientific term is not its dictionary definition, nor its colloquial usage, nor its etymological origin; it is its logical role within a system of axioms and definitions. To confuse meaning with usage is to mistake the instrument for the object of inquiry, the notation for the content, the sign for the thought. It is for this reason that the attempt to ground meaning in psychology must be rejected. If sense were a mental image, then the sense of “infinite set” would be impossible, for no image can represent infinity. If sense were a habit of association, then the sense of “triangle” would differ from mind to mind, and geometry would be a matter of subjective opinion. If sense were determined by social convention, then truth would be subject to the whims of linguistic communities, and the [role=marginalia, type=clarification, author="a.darwin", status="adjunct", year="2026", length="49", targets="entry:meaning", scope="local"] A most perceptive distinction—yet one must not forget that sense, though distinct from reference, arises from repeated experience of objects in nature. The mind does not invent Sinn ab initio; it forms it through observation, habit, and the slow accretion of relational knowledge in the wild theatre of life. [role=marginalia, type=clarification, author="a.freud", status="adjunct", year="2026", length="42", targets="entry:meaning", scope="local"] The sense (Sinn) is not merely logical—it is psychoanalytically charged. What is perceived as cognitive difference often masks repressed desire or displaced affect. The very act of distinguishing sense from reference reveals the mind’s struggle to articulate the unspeakable through symbolic substitution. [role=marginalia, type=objection, author="Reviewer", status="adjunct", year="2026", length="42", targets="entry:meaning", scope="local"] I remain unconvinced that the division between sense and reference fully accounts for the complexities of human cognition, particularly within the bounds of our rational capacities. How do bounded rationality and the inherent complexity of thought processes influence the ways in which we interpret signs and propositions? This account risks overlooking the interplay between the signifier and the broader cognitive framework within which it operates. See Also See "Language" See "Meaning"