Saul Kripke
Un nom renvoie à la même chose dans toute situation possible, de sorte que certaines vérités sont nécessaires bien que nous les ayons découvertes par l’expérience.
Repères
La logique des noms propres : les noms sont des désignateurs rigides ; il existe des vérités nécessaires a posteriori.
Idées clés
- Désignateurs rigides
- Mondes possibles
- Paradoxe du suivi de règle
Ouvrir dans la carte stellaire
Influence
Influences reçues de 3
David Hume
influencé par ✓
Kripke modelled the ‘sceptical solution’ he ascribed to Wittgenstein on Hume’s treatment of causation: a sceptical paradox about meaning is answered by community practice, not facts (1982). S. A. Kripke, Wittgenstein on Rules and Private Language (1982); D. Hume, An Enquiry concerning Human Understanding (1748); SEP “Rule-Following and Intentionality”
Attestation: aussi dans Wikidata · Wikidata
David Hume › 1711–1776
Ludwig Wittgenstein
influencé par ✓
Kripke presented Wittgenstein’s rule-following remarks as a sceptical paradox – no fact fixes that ‘plus’ means addition – stressing it was the argument ‘as it struck Kripke’ (1982). S. A. Kripke, Wittgenstein on Rules and Private Language (1982); L. Wittgenstein, Philosophische Untersuchungen (publ. 1953); SEP “Rule-Following and Intentionality”
Ludwig Wittgenstein › 1889–1951
Ruth Barcan Marcus
influencé par contesté
Kripke’s models for quantified modal logic (1959, 1963) took up Barcan’s systems and formula (1946); whether rigid designation derives from her ‘tags’ (1961) is disputed. R. C. Barcan, “A Functional Calculus of First Order Based on Strict Implication”, Journal of Symbolic Logic 11 (1946); R. Barcan Marcus, “Modalities and Intensional Languages”, Synthese 13 (1961); S. A. Kripke, “Semantical Considerations on Modal Logic” (1963); Naming and Necessity (lectures 1970; publ. 1972, 1980); Q. Smith and S. Soames, Synthese 104 (1995); SEP “Ruth Barcan Marcus”
Attestation: brouillon IA
Ruth Barcan Marcus › 1921–2012
A influencé 1
David Chalmers
a influencé
Chalmers took up Kripke’s modal argument against mind–brain identity and explained a posteriori necessities like ‘water is H₂O’ with two-dimensional semantics (The Conscious Mind, 1996). D. J. Chalmers, The Conscious Mind (1996); S. A. Kripke, Naming and Necessity (1980); SEP “Zombies”
Attestation: brouillon IA
David Chalmers › né(e) en 1966
Critique
Critiques reçues de 1
David Lewis
critiqué par
Lewis rejected Kripke’s view that possible worlds are stipulated and share individuals, defending counterpart theory against the ‘Humphrey objection’ (On the Plurality of Worlds, 1986, ch. 4). D. Lewis, On the Plurality of Worlds (1986), ch. 4; “Counterpart Theory and Quantified Modal Logic”, Journal of Philosophy 65 (1968); S. Kripke, Naming and Necessity (1980)
Attestation: brouillon IA
David Lewis › 1941–2001
Critiques adressées à 5
Gottlob Frege
a critiqué
Kripke rejected the Fregean view that a name’s descriptive sense fixes its reference: names are rigid designators, tied to bearers by a causal chain (Naming and Necessity, 1972/1980). S. Kripke, Naming and Necessity (1972; book 1980), Lectures I–II
Attestation: brouillon IA
Gottlob Frege › 1848–1925
Bertrand Russell
a critiqué
Kripke rejected Russell’s view that ordinary names are disguised descriptions: ‘Aristotle’ names Aristotle even in worlds where he did nothing we describe him by (Naming and Necessity, 1972/1980). S. Kripke, Naming and Necessity (1972; 1980), Lectures I–II; B. Russell, “Knowledge by Acquaintance and Knowledge by Description” (1911)
Attestation: brouillon IA
Bertrand Russell › 1872–1970
Alfred Tarski
a critiqué
Kripke judged Tarski’s language hierarchy unfit for natural language and built, via fixed points, a language containing its own truth predicate (‘Outline of a Theory of Truth’, 1975). S. Kripke, “Outline of a Theory of Truth”, Journal of Philosophy 72 (1975), 690–716
Attestation: brouillon IA
Alfred Tarski › 1901–1983
Willard Van Orman Quine
a critiqué
Kripke rejected Quine’s claim that quantified modal logic and essentialism are unintelligible: with rigid designators, de re necessity is coherent and intuitively grounded (Naming and Necessity, 1972/1980). S. Kripke, Naming and Necessity (1972; 1980), Lecture I; “Identity and Necessity” (1971)
Attestation: brouillon IA
Willard Van Orman Quine › 1908–2000
John Searle
a critiqué
Kripke rejected Searle’s cluster theory of names: no weighted set of descriptions fixes reference, since the bearer might satisfy none of them (Naming and Necessity, 1972/1980). S. Kripke, Naming and Necessity (1972; 1980), Lecture I; J. R. Searle, “Proper Names”, Mind 67 (1958)
Attestation: brouillon IA
John Searle › 1932–2025
Œuvres
Les noms sont des désignateurs rigides – contre la théorie des descriptions.
Le paradoxe sceptique du suivi de règle.
Position
Très tôt, Kripke donna à la logique modale – la logique de la nécessité et de la possibilité – ce qui devint sa sémantique standard en termes de mondes possibles. Dans La Logique des noms propres, il renversa la thèse dominante de Frege et de Russell selon laquelle les noms propres abrègent des descriptions. Les noms, soutenait-il, sont des « désignateurs rigides » : « Aristote » désigne la même personne dans tous les mondes possibles, quoi que cette personne ait pu faire. La référence est fixée par une chaîne causale remontant à un « baptême » initial. Il en découla la thèse frappante qu’il existe des vérités nécessaires connues seulement par l’expérience, comme « l’eau est H₂O ». Sa lecture ultérieure des considérations de Wittgenstein sur le suivi de règle provoqua un long débat. Kripke a contribué à rendre de nouveau respectable la métaphysique dans la philosophie analytique.
Vie et contexte
Kripke naquit en 1940 sur Long Island et grandit à Omaha. Encore adolescent, il publia une preuve de complétude pour la logique modale qui fit sa réputation. Il étudia à Harvard et enseigna à l’université Rockefeller et à Princeton, puis à la City University of New York. Ses conférences sur la nomination, données à Princeton en 1970, furent publiées en 1972, puis en livre en 1980.
Autres œuvres principales
- Semantical Considerations on Modal Logic (traduction propre : « Considérations sémantiques sur la logique modale », 1963)
- Outline of a Theory of Truth (traduction propre : « Esquisse d’une théorie de la vérité », 1975)
État en novembre 2026 · Sources · Améliorer cette page · Comment Agora est faite