Language is so pervasive, so intimate to human experience, that we rarely notice its strangeness. We use words to make promises, to tell lies, to ask questions, to insult, to comfort, to describe things we have never seen. We say 'the morning star' and 'the evening star' and mean the same planet, but not in the same way. We say 'can you pass the salt?' and no one answers the literal question about our capacity; everyone understands we are making a request. We say 'this statement is false' and generate a paradox with no resolution. These peculiarities are not the province of linguistics, which studies language as a natural object with empirically describable properties. They are problems for the philosophy of language: the branch of philosophy that investigates what words mean, how they refer to the world, what we do when we utter them, and what the study of language reveals about the structure of mind and reality.
The philosophy of language as a systematic discipline emerged in the late nineteenth and early twentieth centuries from the intersection of mathematical logic and philosophical analysis, primarily through the work of Gottlob Frege, Bertrand Russell, and the early Ludwig Wittgenstein. Its questions — about reference, meaning, truth, and the relationship between language and thought — proved unexpectedly foundational. Nearly every philosophical problem is stated in language; understanding how language works became a precondition for clarity about almost anything else. The logical positivists of the 1920s and 1930s went further, arguing that most traditional philosophical questions were not merely stated in language but were generated by its misuse — that metaphysics, theology, and much of ethics consisted of sentences that were grammatically well-formed but semantically empty. That diagnosis has been largely rejected, but the method of careful linguistic analysis it promoted has shaped every subsequent tradition in Anglophone philosophy.
The late twentieth century added a pragmatic dimension — not merely what words mean, but what speakers do with them — and empirical dimensions connecting philosophy of language to cognitive science, linguistics, and experimental psychology. The question of whether language shapes thought, ancient in philosophical discussion, has been given new empirical traction by researchers like Lera Boroditsky, whose cross-cultural experiments on spatial cognition, temporal reasoning, and the perception of color have produced fascinating and contested evidence that grammatical and lexical structures in different languages do leave distinct marks on non-linguistic cognition.
"The meaning of a word is its use in the language." — Ludwig Wittgenstein, Philosophical Investigations (1953), section 43
Key Definitions
Reference (Bedeutung): In Frege's framework, the actual object or entity in the world that an expression picks out. The reference of 'the morning star' and 'the evening star' is the same: the planet Venus.
Sense (Sinn): In Frege's framework, the mode of presentation or the way in which an expression presents its reference. 'The morning star' and 'the evening star' have the same reference but different senses.
Definite description: An expression of the form 'the F,' purporting to pick out a unique individual satisfying description F. Russell's theory analyzes these as disguised quantificational claims rather than genuine referring expressions.
Rigid designator: Kripke's term for an expression that picks out the same individual in every possible world in which that individual exists. Proper names are rigid designators; definite descriptions are typically not.
Illocutionary act: In Austin's speech act theory, the act performed in making an utterance: asserting, promising, warning, commanding, questioning. To be distinguished from the locutionary act (making a meaningful utterance) and the perlocutionary act (the effect produced in the hearer).
Conversational implicature: Grice's term for meaning that is communicated but not literally said, derived by hearers who assume the speaker is observing the cooperative principle and its maxims.
Key Theories of Meaning Compared
| Theory | Central Claim | Key Proponent | Central Objection |
|---|---|---|---|
| Referentialism | Meaning is what an expression refers to | Mill | Cannot explain empty terms or informativeness of identities |
| Sense-reference theory | Meaning has two components: how an expression presents its referent, and what it refers to | Frege | What determines sense? |
| Description theory of names | Names abbreviate definite descriptions | Russell, early Frege | Fails for modal contexts; Kripke's counterexamples |
| Causal-historical theory | Names refer via causal chains back to initial baptism | Kripke, Putnam | Cannot explain reference change and error |
| Use theory | Meaning is constituted by patterns of use in the language | Wittgenstein | Underspecifies meaning; struggles with novel uses |
| Speech act theory | Language is action; meaning includes illocutionary force | Austin, Searle | Semantics and pragmatics remain separate |
| Gricean pragmatics | Communicated meaning extends beyond literal meaning via cooperative inference | Grice | Requires extensive background knowledge to work |
Frege and the Foundations of Semantic Theory
The Sense-Reference Distinction
Gottlob Frege (1848-1925) was primarily a mathematician and logician who invented modern predicate logic as a tool for a philosophical program — demonstrating that arithmetic is reducible to logic alone (the 'logicist' program) — but his contributions to the philosophy of language proved equally revolutionary. His 1892 paper 'Uber Sinn und Bedeutung' introduced the distinction between Sinn (sense) and Bedeutung (reference) that has structured semantic theory ever since.
The puzzle Frege addressed was about identity. The planet Venus can be identified as 'the morning star' (the bright object seen in the eastern sky before sunrise) or as 'the evening star' (the bright object seen in the western sky after sunset). These two expressions pick out the same thing — astronomical discovery established this in antiquity — but they seem to mean different things. If a name simply attached to its referent like a label, then 'the morning star is the evening star' would say no more than 'the morning star is the morning star,' which is trivially and uninformatively true. Yet discovering that the morning star and evening star are the same planet was a genuine empirical achievement, an informative discovery. The two expressions must contribute something beyond their shared referent to the meaning of sentences containing them.
Frege's solution separated the reference of an expression — what it picks out — from its sense — the way in which it presents or specifies what it picks out. Two expressions can share a reference while having different senses, explaining how identity statements can be informative. A thought (the propositional content of a sentence) is constituted by the senses of its parts, not their references; the reference of a sentence is, Frege argued, its truth value — True or False. Sentences with different senses can share the same truth value, just as different expressions can share the same referent.
Frege's logic, developed in the Begriffsschrift (1879), introduced quantification theory — the formal apparatus for expressing claims like 'every prime number has a successor' or 'there is at least one even prime' — which Aristotle's syllogistic could not adequately represent. This formal apparatus is the foundation of all subsequent work in mathematical logic, formal linguistics, and the theory of computation.
Russell's Challenge: Definite Descriptions
Bertrand Russell's 1905 paper 'On Denoting' proposed a radically different approach to definite descriptions that challenged Frege's framework. Russell was troubled by expressions lacking a referent: 'the present king of France' (France being a republic) seems to express something but picks out nothing. Frege's solution — that such expressions have a sense but no reference, and sentences containing them lack a truth value — struck Russell as unsatisfying.
Russell's theory of descriptions analyzed 'the F is G' not as a predication about a thing picked out by 'the F,' but as a conjunction of three quantificational claims: something is F, nothing else is F, and that thing is G. 'The present king of France is bald' thus claims: there exists exactly one present king of France, and he is bald. When France has no king, the existential claim is false and the whole conjunction is false — no problematic truth-value gaps. Russell dissolved the puzzle of empty descriptions by showing they were not genuine referring expressions at all.
Russell also solved the puzzle of negative existential statements. 'The golden mountain does not exist' is not paradoxical on Russell's analysis: it simply denies that there is exactly one thing that is both golden and a mountain. No mysterious reference to a non-existent entity is required.
P.F. Strawson's 1950 response, 'On Referring,' argued that Russell was confusing the semantic content of an expression with a speech act performed on a particular occasion. The sentence 'The present king of France is bald' is not false when France has no king; it fails to express a proposition at all, because the presupposition required for the use of a definite description has not been met. This debate between Russell's semantic account and Strawson's pragmatic account of presupposition remains live.
Wittgenstein: From Picture Theory to Language Games
The Tractatus
The early Wittgenstein, in the Tractatus Logico-Philosophicus (1921), developed a picture theory of meaning that can be seen as a generalization of Frege's semantic insights. The central claim is that language is capable of meaning because elementary propositions picture or represent facts about the world: they share a logical form with the configurations of objects they represent. 'The cat is on the mat' is meaningful because there is a possible state of affairs — a cat being on a mat — whose structure mirrors the proposition's structure. If the proposition accurately represents the actual configuration of objects in the world, it is true; if not, it is false.
From this picture theory, Wittgenstein drew a stark limiting conclusion. The limits of significant language are the limits of what can be pictured: the possible facts about the world. Propositions of logic are special — they are tautologies or contradictions, showing the logical scaffolding of language without saying anything about the world. But ethical, aesthetic, and metaphysical propositions — claims about value, meaning, God, the nature of the soul — cannot picture facts, because there are no such facts. They are not false; they are attempts to say something that can only be shown. The Tractatus ends: 'Whereof one cannot speak, thereof one must be silent.'
The Philosophical Investigations
Wittgenstein repudiated the Tractatus almost entirely in the Philosophical Investigations (written in the 1940s, published posthumously in 1953). The later work is not a systematic treatise but a series of interconnected observations, questions, and thought experiments proceeding by dialogue with an imaginary interlocutor whose philosophical confusions the text diagnoses and dissolves.
The Investigations begins by attacking a simple picture of language that Wittgenstein associates with Augustine's description of how he learned to talk: adults point at objects and say their names; the child associates the name with the object. This ostensive teaching model captures one function of language — naming — but not the range of things language does. Language is not primarily a naming system. It is a collection of enormously diverse activities — 'language games' — in the broadest sense: telling stories, singing songs, playing chess, reporting events, making up stories, acting in plays, asking and answering questions, cursing, praying. Each language game is embedded in a form of life, a set of practices and activities that give it its character.
Meaning, for the later Wittgenstein, is use: the meaning of a word is not an object it refers to or an image it conjures but the pattern of its correct application in the practices that constitute a language game. There is no Platonic essence that all games share, no single property that all red objects have in common beyond the tendency to elicit the word 'red' in the relevant circumstances. Wittgenstein's concept of family resemblances — the idea that members of a category may share overlapping and criss-crossing features without any single feature being common to all — has been highly influential in cognitive psychology and philosophy of concepts.
The later Wittgenstein's most important contribution may be his account of how philosophical problems arise. They arise when language 'goes on holiday' — when words are used outside the language games that give them meaning, producing the illusion of profound questions about consciousness, knowledge, meaning, or other abstractions. The philosopher's task is not to answer these questions but to dissolve them — to show that they are artifacts of linguistic confusion rather than genuine problems about the world. This therapeutic conception of philosophy has been enormously influential, generating both enthusiastic disciples and vehement critics who believe genuine philosophical problems survive Wittgenstein's dissolution attempts.
Austin, Searle, and Speech Act Theory
Doing Things with Words
J.L. Austin (1911-1960), the Oxford philosopher, redirected attention from what sentences mean to what speakers do with them. His William James Lectures at Harvard in 1955, published posthumously as How to Do Things with Words (1962), began with an observation about a class of utterances that semantic theory had systematically ignored: performatives. When a registrar says 'I now pronounce you married,' the utterance does not describe a fact — it constitutes one. Similarly with promises, bets, apologies, verdicts, and declarations. These utterances are not true or false but successful or unsuccessful, 'felicitous' or 'infelicitous,' depending on whether the appropriate conditions are met.
Austin eventually found the simple performative-constative distinction too crude and replaced it with a more general analysis. Every utterance involves three distinguishable acts: the locutionary act (making a meaningful utterance with a given sense and reference), the illocutionary act (the act performed in making the utterance: asserting, warning, promising, commanding), and the perlocutionary act (the effect produced on the hearer: convincing, alarming, amusing, consoling). The same locution ('The engine is overheating') can be used to warn, to inform, to threaten, or to invite, depending on context. The illocutionary force of an utterance is the primary object of speech act theory.
Searle's Extensions
John Searle's Speech Acts (1969) systematized Austin's insights. Searle introduced the concept of 'illocutionary force indicators' (the grammatical and prosodic features that signal what kind of act is being performed) and formulated the 'conditions of satisfaction' for different speech act types: the preparatory conditions that must hold, the sincerity conditions that reflect the speaker's mental state, and the essential condition that defines what kind of act is being performed.
Searle's distinction between direct and indirect speech acts has been particularly influential. 'Can you pass the salt?' is, literally, a question about ability; but it is conventionally understood as a polite request. The hearer recognizes the indirect illocutionary force through inference about communicative intent. Searle's subsequent work on intentionality (Intentionality, 1983) argued that the conditions of satisfaction of speech acts are continuous with the conditions of satisfaction of mental states, connecting speech act theory to the philosophy of mind.
Speech act theory has found applications in law (the jurisprudential analysis of contracts, promises, and authoritative declarations), linguistics (the analysis of discourse structure and pragmatic phenomena), and debates about artificial intelligence (what would it mean for a machine to genuinely assert or promise something, and does this require intentionality?).
Grice and Conversational Implicature
Paul Grice's 1967 William James Lectures, published as Studies in the Way of Words (1989), explained how speakers communicate more than they literally say. Grice proposed that communication is governed by a Cooperative Principle — contribute what is required by the purpose of the conversation — articulated through four maxims of Quantity, Quality, Relation, and Manner.
The theoretical payoff comes when a speaker appears to violate one of the maxims but is clearly still trying to cooperate. A rational hearer, assuming cooperation, will look for an interpretation that makes the apparent violation intelligible — a conversational implicature. The letter of recommendation that says only 'Ms Smith's attendance was excellent, and she was always on time' implicates, by deliberate understatement (violation of the Quantity maxim), that the writer cannot say anything positive about the candidate's intellectual abilities. The implicature is communicated without being stated.
Grice's framework distinguishes implicatures from semantic entailments (which cannot be cancelled) and from conventional implicatures (the contrastive force of 'but,' the inferential force of 'therefore,' which are encoded in word meaning rather than derived from context). Conversational implicatures are cancellable ('He didn't fail — actually he did quite well') and calculable (the reasoning that generates them can in principle be made explicit). This framework has shaped research programs in formal pragmatics and has been refined and challenged by relevance theory (Sperber and Wilson) and neo-Gricean theories (Levinson, Horn).
Kripke, Rigid Designation, and the Necessary A Posteriori
Saul Kripke's Naming and Necessity (1980) challenged the description theory of names that had dominated philosophy of language since Frege and Russell. Kripke argued that proper names are not disguised descriptions — 'Aristotle' does not mean 'the teacher of Alexander the Great.' Names are rigid designators: they pick out the same individual in every possible world in which that individual exists, regardless of which descriptions happen to be true of them.
The argument from possible worlds: we can coherently ask 'Could Aristotle have been someone other than the teacher of Alexander?' and mean by this — could things have been so different that the man we actually call Aristotle never taught Alexander? The answer seems to be yes: Aristotle might have died young, or refused the tutoring commission. But if 'Aristotle' meant 'the teacher of Alexander,' the question would be equivalent to 'Could the teacher of Alexander have been someone other than the teacher of Alexander?' — which is either trivially false or semantically confused. We intend to ask about the man, not about whoever satisfies a description.
The philosophical implications were far-reaching. Kripke showed that the statement 'Hesperus is Phosphorus' — both names being rigid designators for Venus — is necessarily true: in every possible world, the thing called 'Hesperus' is the same as the thing called 'Phosphorus,' since both are Venus. Yet this necessary truth can only be known empirically, through astronomical observation. Kant had assumed that all necessary truths were knowable a priori (without empirical investigation); Kripke's necessary a posteriori truths demonstrated that this was wrong.
Language and Thought: The Sapir-Whorf Revisited
The Sapir-Whorf hypothesis — associated with the linguists Edward Sapir and his student Benjamin Lee Whorf in the 1930s-1940s — proposed that the language one speaks influences the way one thinks and perceives the world. Whorf's comparison of Hopi temporal concepts with European temporal concepts was criticized by subsequent linguists as methodologically flawed, and strong Whorfianism (the view that language determines thought, making certain thoughts impossible in certain languages) is now almost universally rejected.
The weak version of the hypothesis — that language influences certain aspects of cognition and perception — has attracted renewed empirical attention through the experimental work of Lera Boroditsky at Stanford. Her research has shown that speakers of languages with different spatial vocabulary (absolute versus relative directions) show different patterns in non-linguistic spatial tasks; that speakers of languages with grammatical gender show systematic associations between objects and gender-typical properties; and that speakers of languages with richer color vocabulary show faster discrimination of colors in the relevant range. These effects are typically modest and context-dependent, and the mechanisms remain contested: it is unclear whether language is causing differences in non-linguistic cognition or whether both language patterns and cognitive patterns are downstream from other cultural or perceptual factors.
The philosophical significance of this research is not that strong Whorfianism is vindicated — it is not — but that it underscores the intimate relationship between linguistic and non-linguistic cognition and challenges any sharp separation between language as a labeling system applied to pre-formed thoughts and language as itself partly constitutive of the ways we categorize experience.
For related discussions of meaning in cognitive science, see /explainers/how-it-works/how-language-acquisition-works and /explainers/how-it-works/how-the-brain-processes-language. For the logical apparatus underlying modern formal semantics, see the companion article at /concepts/philosophy-ethics/what-is-logic.
References
- Frege, G. (1892). Uber Sinn und Bedeutung. Zeitschrift fur Philosophie und philosophische Kritik, 100, 25-50. Translated as "On Sense and Reference."
- Russell, B. (1905). On denoting. Mind, 14(56), 479-493. doi:10.1093/mind/XIV.4.479
- Wittgenstein, L. (1921). Tractatus Logico-Philosophicus. Kegan Paul, Trench, Trubner. (C.K. Ogden, Trans.)
- Wittgenstein, L. (1953). Philosophical Investigations. Blackwell. (G.E.M. Anscombe, Trans.)
- Austin, J. L. (1962). How to Do Things with Words. Oxford University Press.
- Grice, H. P. (1989). Studies in the Way of Words. Harvard University Press.
- Kripke, S. A. (1980). Naming and Necessity. Harvard University Press.
- Searle, J. R. (1969). Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press.
- Strawson, P. F. (1950). On referring. Mind, 59(235), 320-344. doi:10.1093/mind/LIX.235.320
- Sperber, D., & Wilson, D. (1986). Relevance: Communication and Cognition. Harvard University Press.
- Boroditsky, L. (2001). Does language shape thought? Mandarin and English speakers' conceptions of time. Cognitive Psychology, 43(1), 1-22. doi:10.1006/cogp.2001.0748
- Chomsky, N. (2000). The Architecture of Language. Oxford University Press India.
Frequently Asked Questions
What is the philosophy of language and why does it matter?
Philosophy of language is the branch of philosophy that investigates the fundamental nature of language: what words and sentences mean, how linguistic expressions relate to the world they appear to describe, how speakers succeed in communicating with one another, and what the study of language reveals about the structure of thought, reality, and human cognition. It differs from linguistics, which is primarily an empirical science studying the structural properties of natural languages, and from the philosophy of mind, though the two overlap extensively wherever questions about meaning, mental content, and representation intersect.The field matters for several interconnected reasons. First, nearly every philosophical problem is stated in language, making the analysis of linguistic meaning a precondition for clarity in any other philosophical inquiry. The logical positivists of the early twentieth century — the Vienna Circle, whose members included Rudolf Carnap and Moritz Schlick — argued that many traditional philosophical questions (about metaphysics, ethics, or God) were literally meaningless, reducible to confused uses of language rather than genuine problems about the world. Even those who rejected logical positivism's stringent empiricism took seriously the idea that philosophy requires careful attention to what words and propositions actually say. Second, the philosophy of language has produced formal tools — predicate logic, possible worlds semantics, the apparatus of Montague grammar — that have transformed linguistics, computer science, and artificial intelligence. Third, questions about language are deeply connected to questions about human cognition: whether language structures thought (the Sapir-Whorf hypothesis), whether there is a language of thought independent of natural languages (Fodor's 'mentalese'), and whether meaning is primarily a social phenomenon or primarily a product of individual mental states.The dominant tradition in twentieth-century Anglophone philosophy is analytic philosophy, which emerged largely from the work of Gottlob Frege, Bertrand Russell, and G.E. Moore at the turn of the century and placed logical analysis of language at the center of philosophical method. Continental European philosophy — particularly phenomenology and hermeneutics — engaged with language differently, emphasizing interpretation, historical situatedness, and the way language structures experience rather than merely describing a pregiven world. These two traditions largely talked past each other for most of the twentieth century but have converged more in recent decades.
What is Frege's sense-reference distinction and why is it important?
Gottlob Frege (1848-1925) was a German mathematician and logician whose contributions to the foundations of logic and the philosophy of language were so fundamental that he is often called the father of analytic philosophy, despite being largely unrecognized in his own lifetime. His 1892 paper 'Uber Sinn und Bedeutung' (translated as 'On Sense and Reference' or 'On Meaning and Nominatum') introduced a distinction that has structured the philosophy of language ever since.Frege began with a puzzle: the planet Venus can be referred to as 'the morning star' (the bright object visible in the eastern sky before dawn) or as 'the evening star' (the bright object visible in the western sky after dusk). These are, as an astronomical discovery of antiquity revealed, the same object. If a name simply referred directly to its object, then 'the morning star = the evening star' would say the same thing as 'the morning star = the morning star' — a trivially empty tautology. But discovering that the morning star and the evening star are the same object was a genuine empirical discovery, not a tautology. Something must distinguish the two expressions beyond what they merely refer to.Frege's solution distinguished between the Bedeutung (reference or meaning-as-denotation) of an expression — the actual object in the world it picks out — and the Sinn (sense or mode of presentation) — the way in which the expression presents or specifies that object. 'The morning star' and 'the evening star' share the same reference (Venus) but differ in sense: one presents Venus as the bright star seen in the morning, the other presents it as the bright star seen in the evening. The identity statement 'the morning star = the evening star' is informative rather than trivial because it connects two different senses to reveal a single reference.This distinction has multiple ramifications. It implies that names are not merely tags attached to objects but carry descriptive information about how the object is presented or identified. It raises questions about what happens when a name or description lacks a reference: Frege concluded that expressions like 'the current king of France' (France being a republic) have a sense but no reference, and that sentences containing such expressions lack a truth value. The subsequent debate about empty names and definite descriptions — pursued by Russell, then by Strawson, then by Kripke — is one of the central threads of twentieth-century philosophy of language. Frege's logic, developed in the Begriffsschrift (1879) and the Grundgesetze der Arithmetik, introduced modern predicate logic and quantification theory, which Russell would build on and which underpins all subsequent formal work in logic, linguistics, and computer science.
What was Russell's theory of descriptions and how did it respond to Frege?
Bertrand Russell (1872-1970), in his 1905 paper 'On Denoting' — which has been called by some philosophers the most important paper in the history of analytic philosophy — proposed an alternative treatment of definite descriptions that differed fundamentally from Frege's sense-reference framework. Russell was troubled by Frege's conclusion that expressions lacking reference have sense but no truth value. The sentence 'The present king of France is bald' seems to express a genuine claim that is either true or false. If France has no king, what is it actually saying, and why does it seem meaningful?Russell's solution was to analyze definite descriptions — expressions of the form 'the F' — not as genuine singular referring expressions at all, but as disguised quantificational claims. 'The present king of France is bald' does not refer to any individual and then attribute a property to them. Instead, it makes three simultaneous claims: there exists at least one thing that is presently king of France; there is at most one such thing (uniqueness); and that thing is bald. Symbolically: there exists an x such that x is currently king of France, nothing else is currently king of France, and x is bald. When France has no king, the first conjunct is false, making the whole conjunction false — no mysterious lack of truth value, no problematic entity 'the present king of France' hovering in a Fregean limbo of sense without reference.Russell also developed a solution to puzzles about negative existential statements. 'The golden mountain does not exist' seems paradoxical: to say something doesn't exist, you must refer to it; but if you can refer to it, how can it not exist? Russell's analysis dissolves this: 'The golden mountain does not exist' means it is not the case that there is exactly one thing that is both golden and a mountain — a perfectly consistent claim about the world that involves no problematic reference to a non-existent entity.P.F. Strawson challenged Russell's theory in his 1950 paper 'On Referring,' arguing that Russell confused the meaning of an expression with its use on a specific occasion. A sentence containing an empty description, Strawson argued, does not express a false proposition but rather fails to express a proposition at all, because the presupposition required for successful reference has not been met. This debate between Russell's semantic treatment and Strawson's pragmatic treatment of presupposition remains live in contemporary philosophy and linguistics.
What changed between early and late Wittgenstein, and what are language games?
Ludwig Wittgenstein (1889-1951) is the rare philosopher who is considered to have produced two genuinely distinct and important philosophical systems, often called early and late Wittgenstein. The Tractatus Logico-Philosophicus (1921) and the Philosophical Investigations (published posthumously in 1953) represent not merely different views but almost opposite orientations toward language and philosophy.The early Wittgenstein of the Tractatus held what is called the picture theory of meaning. The theory holds that language is capable of meaning because propositions picture or represent facts about the world, just as a model used in a courtroom to reconstruct an accident pictures the spatial relationships among objects. A proposition shares a logical form with the fact it represents; it is meaningful insofar as it correctly or incorrectly depicts how things stand. The logical structure of language, properly analyzed, mirrors the logical structure of reality. From this picture theory, Wittgenstein drew a stark conclusion: what can be said at all can be said clearly; what cannot be said (ethics, aesthetics, the meaning of life, the mystical) must be passed over in silence. The Tractatus is famous for ending: 'Whereof one cannot speak, thereof one must be silent.' Philosophy's task is to police the boundary between sense and nonsense, showing up as confused those metaphysical propositions that transgress it.The late Wittgenstein rejected this view almost entirely. The Philosophical Investigations opens with a critique of a simple referential theory of language — one Wittgenstein associates with Augustine's description of how he learned language as a child, by adults pointing at objects and saying their names. Wittgenstein argued that this picture captures only a small fragment of how language actually functions. Words are not labels on objects; they have meaning only within the context of the social practices — the 'forms of life' — in which they are used. He introduced the concept of 'language games' (Sprachspiele): the multiplicity of different activities in which language plays a role — making reports, giving orders, asking questions, telling jokes, singing, speculating, praying, cursing, describing experiences, making promises, playing games. The meaning of a word is not an object it refers to or an image it conjures; rather, as Wittgenstein famously put it, 'the meaning of a word is its use in the language.' There is no single essence to 'games,' but rather a family of overlapping and criss-crossing similarities — what Wittgenstein called 'family resemblances.' The attempt to define a word by discovering its essence is typically a philosophical confabulation. Many traditional philosophical puzzles, Wittgenstein argued, arise from 'language going on holiday' — from words being used outside the language games that give them meaning, producing the illusion of deep problems where there are only conceptual confusions to be dissolved.
What is speech act theory and how did Austin and Searle develop it?
Speech act theory, developed by the Oxford philosopher J.L. Austin (1911-1960) and extended by his student John Searle (born 1932), shifted attention in the philosophy of language from the question of what sentences mean in isolation to the question of what speakers do when they utter them. The founding text is Austin's William James Lectures at Harvard in 1955, published posthumously as How to Do Things with Words (1962).Austin began with an observation about a class of utterances that had been neglected by the prevailing semantic framework: performatives, utterances that do not describe a state of affairs but perform an action in being uttered. When a registrar says 'I now pronounce you married,' a judge says 'I sentence you to five years,' or someone says 'I promise to return the money,' these utterances are not true or false reports of a pre-existing fact. They constitute the events they appear to describe: by saying 'I promise,' one makes a promise; one does not merely describe a mental state of promising. Austin initially distinguished performative utterances from constative utterances (statements of fact), but he eventually found this distinction too crude and replaced it with a tripartite analysis of every speech act.Every utterance has a locutionary act — the act of making a meaningful statement with a certain sense and reference. It has an illocutionary act — the act performed in making the utterance: asserting, questioning, promising, warning, ordering, requesting, apologizing. And it has a perlocutionary act — the effect the utterance has on the hearer: persuading, alarming, amusing, inspiring. The illocutionary force of an utterance is what Austin and subsequent theorists have found most philosophically interesting: the same locution ('The door is open') can be used to make a statement, to issue an invitation, to issue a command, or to make a complaint depending on context.Searle systematized Austin's framework in Speech Acts (1969) and introduced the notion of illocutionary force indicators and the conditions that must be met for a speech act to be successfully and sincerely performed — the 'felicity conditions' Austin had identified. Searle also distinguished between direct speech acts (where literal meaning and illocutionary force coincide) and indirect speech acts (where they diverge: 'Can you pass the salt?' is literally a question about ability but is conventionally understood as a polite request). Speech act theory has had major influence on linguistics, cognitive science, legal theory, and the philosophy of artificial intelligence, where questions about what it means for a machine to 'assert' something or 'commit' to a claim have obvious practical stakes.
What are Grice's maxims and what is conversational implicature?
Paul Grice (1913-1988), in his 1967 William James Lectures at Harvard (published as Studies in the Way of Words, 1989), provided an account of how speakers communicate far more than the literal content of their words — how context, shared knowledge, and rational inference generate meaning that goes beyond what is explicitly said. His central innovation was the concept of conversational implicature.Grice proposed that successful communication rests on a Cooperative Principle: make your conversational contribution such as is required, at the stage at which it occurs, by the accepted purpose or direction of the talk exchange. This principle is articulated through four maxims. The maxim of Quantity requires that one be as informative as required and no more informative than required. The maxim of Quality requires that one not say what one believes to be false and not say things for which one lacks evidence. The maxim of Relation (or Relevance) requires that one's contribution be pertinent to the current exchange. The maxim of Manner requires that one be clear, orderly, and brief, avoiding obscurity and ambiguity.The power of Grice's framework lies in what happens when these maxims are apparently violated. If a speaker says something that seems to violate a maxim, a rational hearer, assuming the speaker is still being cooperative, will infer that the apparent violation is generating a meaning beyond the literal content. This inferred meaning is a conversational implicature. Consider: someone asks 'Did John do well on the exam?' and the answer is 'Well, he didn't fail.' The literal content is simply that John did not fail, which is consistent with him having done very well. But the speaker, who is presumably trying to be as informative as required, could have said 'He passed' or 'He did quite well' if those were true. The choice of the weaker 'didn't fail' implicates that John did not do particularly well — perhaps barely passed — even though this is not what the words literally say.Grice distinguished implicatures from entailments (logical consequences that must be true if the statement is true) and from conventional implicatures (meaning conventionally attached to a word, like the contrastive force of 'but'). Conversational implicatures are cancellable (one can say 'He didn't fail — actually he got top marks' without contradiction), non-detachable (they attach to the content rather than to the particular words used), and calculable (they can in principle be derived rationally from the maxims and context). Grice's framework influenced subsequent pragmatics research, including relevance theory (Sperber and Wilson's 1986 account, which reduces Grice's multiple maxims to a single principle of relevance), and remains central to both philosophy of language and linguistic pragmatics.
What is Kripke's contribution to philosophy of language and what are rigid designators?
Saul Kripke (born 1940) published Naming and Necessity in 1980 (based on 1970 lectures), one of the most influential philosophy books of the twentieth century, which revolutionized the theory of reference and reopened questions about necessity, identity, and the relationship between language and metaphysics that logical positivism had thought definitively settled.Kripke's central argument was directed against the description theory of names, the view — associated with Frege and later with Russell — that a proper name like 'Aristotle' is equivalent in meaning to some description or cluster of descriptions: 'the teacher of Alexander the Great,' 'the author of the Nicomachean Ethics,' 'the Macedonian philosopher who founded the Lyceum.' On this view, when we use the name 'Aristotle,' we are referring to whoever happens to satisfy those descriptions. Kripke offered a series of arguments against this theory. First, we can coherently suppose that Aristotle might not have taught Alexander (he might have died young, or Alexander's father might never have hired him). If 'Aristotle' meant 'the teacher of Alexander,' then 'Aristotle might not have taught Alexander' would be equivalent to 'the teacher of Alexander might not have taught Alexander' — which is either necessarily false or trivially true. But we intend to say something substantive and contingent about the man Aristotle, not about whoever satisfies a description. Second, we typically lack a uniquely identifying description for most names we use successfully: who was Peano? Most people use the name successfully without knowing enough to uniquely identify him.Kripke proposed instead that proper names are rigid designators: expressions that pick out the same individual in every possible world in which that individual exists, as opposed to definite descriptions, which are non-rigid and can pick out different individuals in different possible worlds. 'The teacher of Alexander' picks out Aristotle in the actual world but might pick out someone else in a counterfactual world. 'Aristotle' picks out Aristotle in every world where he exists. Reference is fixed not by description but by a causal-historical chain: someone baptizes the object with a name, and the name is transmitted from speaker to speaker through use, with each speaker's use causally connected to that original baptism.This framework had a startling consequence: Kripke showed that there are necessary truths that can only be known a posteriori, through empirical investigation. The statement 'Hesperus is Phosphorus' (the morning star is the evening star, both being Venus) is necessarily true — in every possible world, the thing referred to by 'Hesperus' is the same thing referred to by 'Phosphorus,' since both are rigid designators picking out Venus. Yet this is something we could only have discovered empirically, through astronomical observation. Kant had assumed that all necessary truths were knowable a priori; Kripke showed this was wrong, dissolving a cornerstone of Kantian epistemology.