page_title: Saul Kripke
section_title: Work
hierarchical_section_title: Saul Kripke / Work
caption_attribution_description: LTL model example
context_page_description: Saul Aaron Kripke is an American philosopher and logician in the analytic tradition. He is a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Since the 1960s, Kripke has been a central figure in a number of fields related to mathematical logic, modal logic, philosophy of language, philosophy of mathematics, metaphysics, epistemology, and recursion theory. Much of his work remains unpublished or exists only as tape recordings and privately circulated manuscripts.
  Kripke has made influential and original contributions to logic, especially modal logic. His principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics. He received the 2001 Schock Prize in Logic and Philosophy.
  Kripke is also partly responsible for the revival of metaphysics after the decline of logical positivism, claiming necessity is a metaphysical notion distinct from the epistemic notion of a priori, and that there are necessary truths that are known a posteriori, such as that water is H₂O.
context_section_description: Kripke's contributions to philosophy include:
  Kripke semantics for modal and related logics, published in several essays beginning in his teens.
  His 1970 Princeton lectures Naming and Necessity (published in 1972 and 1980), which significantly restructured philosophy of language.
  His interpretation of Wittgenstein.
  His theory of truth.
  He has also contributed to recursion theory (see admissible ordinal and Kripke–Platek set theory).
caption: Example Kripke model for linear temporal logic, a particular modal logic
exif: {}