Meaning and understanding is a core area in the philosophy of language concerned with what it is for a word, sentence, or utterance to mean something, and what it is for a person to grasp that meaning. The two notions are tightly intertwined: a central question is whether understanding consists in knowing the meanings of expressions, or whether meaning itself should be explained in terms of the understanding that speakers and hearers have. The field examines the nature of linguistic meaning, the structure of communicative acts, the relationship between language and thought, and the conditions under which one person can genuinely understand another.
The subfield is organized around a cluster of enduring problems rather than a single method. The most fundamental is the question of what kind of thing meaning is. Is the meaning of a sentence a mental idea, a set of truth conditions, a rule for use, or something else entirely? A second question concerns compositionality: how do the meanings of complex expressions—sentences, phrases—depend on the meanings of their parts? A third concerns the distinction between what a sentence means and what a speaker means by uttering it on a particular occasion. A fourth concerns the limits of understanding: can we understand expressions that refer to things we have never encountered, or speakers whose conceptual scheme differs radically from our own?
These questions are not merely technical. They bear on how language connects to reality, how communication is possible, and whether translation or interpretation across cultures is achievable. The stakes include the objectivity of meaning (whether meanings are fixed by public facts or private mental states), the possibility of shared understanding, and the relationship between linguistic competence and knowledge of the world.
The modern subfield emerged in the late nineteenth and early twentieth centuries, but its questions have older roots. Ancient and medieval philosophers debated whether words signify things, concepts, or both; early modern thinkers such as John Locke treated words as signs of ideas in the speaker's mind. These earlier discussions are precursors, not members of the modern subfield: they lacked the systematic attention to formal language, truth, and reference that characterizes twentieth-century philosophy of language.
The decisive turn came with the "linguistic turn" in early analytic philosophy. Gottlob Frege's work on logic and language, around the turn of the twentieth century, established the idea that meaning can be studied with mathematical precision. Frege distinguished between the reference of an expression (the thing it picks out) and its sense (the mode of presentation of that thing), and he argued that the meaning of a sentence is its truth value, composed from the references of its parts. This set the agenda for much subsequent work: meaning was to be explained in terms of truth and reference, and understanding was to be explained as knowledge of these semantic facts.
A second major strand came from ordinary language philosophy, associated with Ludwig Wittgenstein's later work and with J. L. Austin and Paul Grice at Oxford. These philosophers rejected the idea that meaning can be captured by formal truth conditions alone. Wittgenstein argued that the meaning of a word is its use in a language-game, a form of life; Austin distinguished locutionary acts (saying something), illocutionary acts (doing something in saying it, such as promising or warning), and perlocutionary acts (producing effects on hearers). Grice distinguished sentence meaning from speaker meaning, and proposed that speaker meaning is a matter of the speaker's intentions to produce a belief in the hearer through recognition of that intention.
These two traditions—formal semantics and ordinary language philosophy—have coexisted with periodic tension. Formal semantics, developed by Richard Montague and others in the 1970s, treats natural language as a formal system whose sentences can be assigned truth conditions compositionally. Ordinary language philosophy, by contrast, emphasizes the diversity of linguistic functions and the context-dependence of meaning. The relationship between them is not one of simple succession: both continue to be practiced, and many philosophers see them as complementary, with formal semantics handling the compositional core and pragmatic theories handling the ways context and speaker intentions shape what is communicated.
The dominant approach in the analytic tradition holds that the meaning of a declarative sentence is given by its truth conditions: the conditions under which it would be true. This view descends from Frege and was developed by Alfred Tarski, who showed how to define truth for formal languages, and by Donald Davidson, who argued that a Tarskian truth theory for a natural language could serve as a theory of meaning. On this approach, understanding a sentence is knowing its truth conditions, and understanding a language is knowing a finite theory that generates the truth conditions of every sentence in it.
The strength of this approach is its rigor and its ability to explain compositionality: the truth conditions of a sentence are computed from the references of its parts according to syntactic structure. Its limits are well known. It handles declarative sentences well but struggles with imperatives, questions, and other non-assertoric uses. It also has difficulty with context-dependence: the sentence "I am hungry" has different truth conditions depending on who utters it, so a theory of meaning must either incorporate context into the semantics or delegate such cases to pragmatics. Davidson's version faced the further objection that knowing truth conditions is not obviously sufficient for understanding, since one could know that "snow is white" is true iff snow is white without knowing what "snow" means.
The alternative tradition, rooted in Wittgenstein's later philosophy, holds that meaning is not a hidden property of expressions but is constituted by their use in social practices. On this view, understanding is not a matter of grasping a proposition or a rule but of being able to participate in a form of life—knowing how to go on with a word in new situations. This approach is often associated with a rejection of the idea that there is a single essence of meaning; instead, there are many different kinds of linguistic significance, tied to different activities.
Grice's theory of speaker meaning offers a more systematic version of a use-based approach. Grice argued that what a speaker means by an utterance is a matter of the speaker's intention to produce a certain effect in the hearer by means of the hearer's recognition of that intention. This account explains how non-literal uses (irony, metaphor, hints) can be meaningful even when the sentence's literal content does not match the speaker's meaning. It also grounds communication in rational cooperation: hearers infer speaker meaning by assuming that speakers are being informative, truthful, relevant, and clear—Grice's maxims of conversation.
The limits of these approaches are complementary to those of truth-conditional semantics. Use-based accounts are often criticized for vagueness: what counts as the "use" of an expression, and how does one delimit the relevant practice? Grice's account, while precise, has been criticized for over-intellectualizing communication: it seems to require speakers and hearers to entertain complex nested intentions, which may not match the phenomenology of ordinary conversation. Moreover, Grice's account of speaker meaning does not by itself explain sentence meaning; it needs a further story about how conventions fix the meanings of expressions.
A third major division concerns where meaning is located. Internalism holds that the meaning of an expression is determined by facts internal to the speaker's mind—typically by the speaker's beliefs, concepts, or mental representations. This view has intuitive appeal: it explains how we can think and talk about things we have never encountered, and it makes understanding a matter of having the right mental states.
Externalism, developed by Hilary Putnam and Saul Kripke in the 1970s, holds that the meaning of natural kind terms (like "water" or "gold") and proper names is determined in part by facts about the world and the speaker's causal history, not just by what is in the speaker's head. Putnam's famous Twin Earth thought experiment asks us to imagine a planet identical to Earth except that the liquid called "water" there has a different chemical composition. Putnam argued that the word "water" on Twin Earth means something different, even though the speakers' mental states are identical. Kripke argued that proper names are rigid designators: they pick out the same object in all possible worlds, and their reference is fixed by an initial baptism and a causal chain of uses, not by a description the speaker associates with the name.
Externalism has profound consequences for understanding. If meaning is partly determined by the world, then two speakers with identical mental states can mean different things, and a speaker can be mistaken about what their own words mean. This challenges the idea that understanding is a purely mental achievement. The debate between internalism and externalism remains unresolved, with sophisticated versions of both positions defended. The dispute is not about whether the world matters for communication—everyone agrees it does—but about whether the world enters into the very content of what is said or only into the conditions under which a claim is evaluated.
A fourth approach, associated with W. V. Quine and Davidson, treats understanding as a matter of interpretation. Quine's thought experiment of radical translation asks how a field linguist could translate an unknown language from scratch, with no prior dictionary or shared background. Quine argued that translation is underdetermined by all possible evidence: there are always multiple incompatible translation manuals that fit all the behavioral data. This led him to the thesis of the indeterminacy of translation, and to the view that meaning is not a determinate fact about the world but something we impose on the speech of others.
Davidson developed this into a theory of interpretation. He argued that to understand another speaker, we must interpret their utterances as expressing beliefs and desires that are largely true and rational by our own standards—the principle of charity. Understanding is not a matter of matching mental states but of constructing a theory that makes the speaker's behavior intelligible. This approach dissolves the traditional problem of other minds: we do not need to infer hidden mental states; we understand others by interpreting their behavior in a way that maximizes agreement and rationality.
The limits of this approach are that it seems to make understanding too dependent on the interpreter's own framework. If we must interpret others as largely agreeing with us, then radical disagreement becomes difficult to make sense of. Davidson's response was that massive disagreement is unintelligible: we can only identify a belief as false against a background of mostly true beliefs. This is a substantive philosophical claim, not an empirical finding, and it remains controversial.
A recurring theme is the direction of explanation between meaning and understanding. One option is to explain meaning first and then define understanding as knowledge of meaning. This is the strategy of truth-conditional semantics: if we have a theory of meaning, understanding is simply knowing that theory. Another option is to explain understanding first and then define meaning in terms of what competent speakers understand. This is the strategy of use-based and interpretive approaches: meaning is whatever a theory of understanding must posit to explain communicative success.
A third option, defended by some philosophers, is to treat meaning and understanding as mutually dependent and to reject the idea that one can be reduced to the other. On this view, understanding is a practical ability that cannot be captured by propositional knowledge, and meaning is a normative notion that cannot be reduced to facts about use or mental states. This position is often associated with Wittgenstein's later philosophy and with the work of philosophers influenced by him, such as John McDowell.
Contemporary work in meaning and understanding is characterized by pluralism and cross-fertilization. Formal semantics continues to develop, with sophisticated treatments of context, presupposition, and discourse structure. Pragmatics has expanded beyond Grice's original framework, with relevance theory (developed by Dan Sperber and Deirdre Wilson) offering a cognitive account of how hearers infer speaker meaning. The philosophy of language has also engaged with empirical work in linguistics, psychology, and cognitive science, leading to questions about whether the categories of formal semantics correspond to psychological reality.
The internalism–externalism debate has evolved into more nuanced positions. Some philosophers distinguish between narrow content (content determined by the speaker's internal states) and wide content (content determined by the world), and ask which kind of content is relevant for explaining behavior and which for evaluating truth. Others have applied externalist insights to mental content more broadly, arguing that thoughts themselves are individuated by their causal relations to the world.
The interpretive tradition has influenced work on translation, cross-cultural understanding, and the limits of conceptual schemes. Davidson's rejection of the very idea of a conceptual scheme—the idea that different cultures might inhabit different worlds—remains influential, though it is contested by philosophers who argue that some forms of conceptual relativism are coherent.
A notable recent development is the increased attention to understanding as a distinct epistemic achievement, separate from knowledge. In epistemology, understanding is often contrasted with knowledge: one can know that something is the case without understanding why it is the case. Applied to language, this raises the question of whether understanding an utterance is more than knowing its truth conditions—whether it involves grasping the speaker's reasons, the point of the utterance, or its place in a larger pattern of activity. This line of thought connects the philosophy of language to debates in epistemology and the philosophy of mind.
The field remains divided on its deepest questions. There is no consensus on what meaning is, whether it is determinate, or what understanding consists in. What unites the subfield is a shared commitment to treating these questions with precision and to testing philosophical theories against the phenomena of ordinary communication. The diversity of approaches is not a sign of failure but a reflection of the complexity of the subject: meaning and understanding are at once logical, psychological, social, and normative phenomena, and no single framework has yet done justice to all their dimensions.