Saul Kripke(1940 — 2022)

Saul Kripke

États-Unis

6 min read

PhilosophyPhilosophe20th CenturySecond half of the 20th century, the golden age of Anglo-American analytic philosophy

Saul Kripke (1940-2022) was an American philosopher and logician, considered one of the most influential thinkers in 20th-century analytic philosophy. A child prodigy, he revolutionized modal logic and the philosophy of language.

Frequently asked questions

The key thing to remember is that Saul Kripke (1940-2022) is one of the most influential thinkers in twentieth-century analytic philosophy. A child prodigy, he revolutionized modal logic with his possible-worlds semantics, now a standard tool not only in philosophy but also in theoretical computer science. What sets him apart is that he overturned our understanding of language and necessity, notably with his 1970 lectures at Princeton, published under the title Naming and Necessity.

Key Facts

  • Born in 1940 in Bay Shore (New York), recognized as a child prodigy in logic from his teenage years
  • From 1959 to 1963, develops a formal semantics for modal logic (Kripke semantics, or possible-worlds semantics)
  • Publishes 'Naming and Necessity' in 1972/1980, introducing the notion of the rigid designator
  • Professor at Princeton University and later at the City University of New York (CUNY)
  • Died in 2022 in Plainsboro (New Jersey)

Works & Achievements

A Completeness Theorem in Modal Logic (1959)

Early article proving the completeness of modal systems; it lays the foundations of possible-worlds semantics.

Semantical Considerations on Modal Logic (1963)

Key text formalizing “Kripke semantics” with possible worlds and an accessibility relation, now standard in logic.

Naming and Necessity (La logique des noms propres) (1970 / 1980)

Three lectures that revolutionized the philosophy of language: proper names as rigid designators, the necessary a posteriori, and the contingent a priori.

Outline of a Theory of Truth (1975)

A fixed-point theory of truth offering an influential solution to the liar paradox.

Wittgenstein on Rules and Private Language (1982)

A skeptical reading of Wittgenstein (the “Kripkenstein”) on what it means to follow a rule; a widely debated work.

Philosophical Troubles: Collected Papers, Vol. 1 (2011)

A collection of his major articles, gathering decades of contributions to logic and philosophy.

Possible-Worlds Semantics (1960s-1970s)

A conceptual framework that became central to modal logic, metaphysics, and theoretical computer science (temporal logics, verification).

Anecdotes

A child prodigy, Saul Kripke is said to have discovered algebra on his own around the age of nine by reading Descartes. As a teenager, he wrote articles on modal logic of such quality that at 17 he published a decisive work on the semantics of modal logic, laying the foundations of what would come to be called “Kripke semantics.”

It is said that even before finishing high school in Omaha, Nebraska, Harvard's mathematics department offered him a teaching position; Kripke reportedly replied that he first had to finish secondary school. The story illustrates the legendary precociousness that surrounded him.

His most famous ideas, set out in *Naming and Necessity*, came from three lectures given at Princeton University in 1970, delivered without notes prepared in advance. The published text is in fact a transcription of those oral presentations.

Kripke popularized the idea of the “rigid designator”: a proper name like “Aristotle” refers to the same person in every possible situation, unlike a description such as “the teacher of Alexander.” This thesis transformed the philosophy of language in the 1970s.

Deeply attached to the Jewish tradition, Kripke observed the Sabbath and, it is said, refused to travel or write on that day, which sometimes constrained the scheduling of his lectures and academic conferences.

Primary Sources

Naming and Necessity (La logique des noms propres) (1980 (lectures given in 1970))
Let us call a rigid designator a term that designates the same object in all possible worlds, and a non-rigid or accidental designator one that does not.
A Completeness Theorem in Modal Logic, Journal of Symbolic Logic (1959)
Article in which the young Kripke proves a completeness theorem for modal logic using a semantics grounded in possible worlds and an accessibility relation.
Wittgenstein on Rules and Private Language (Règles et langage privé) (1982)
Here Kripke formulates the famous sceptical paradox about following a rule: no past fact about my mind determines what “plus” means for me.
Outline of a Theory of Truth, The Journal of Philosophy (1975)
A proposal for a theory of truth grounded in the notion of a fixed point, making it possible to handle statements of the type “this sentence is false” (the liar paradox).

Key Places

Bay Shore, New York

Town in New York State where Saul Kripke was born in 1940.

Omaha, Nebraska

City where Kripke grew up, the son of a rabbi; he attended school there while already publishing works on logic.

Harvard University, Cambridge

Where Kripke studied mathematics and earned his degree in 1962, in a setting at the cutting edge of logic.

Princeton University

Site of the 1970 lectures and where he served as a professor; the heart of his American career.

Graduate Center, City University of New York

Institution he joined in 2007, home to the Saul Kripke Center dedicated to his work.

Plainsboro, New Jersey

Town where Saul Kripke died in 2022.

See also