Saul Kripke

Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.
Kripke 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 was also partly responsible for the revival of metaphysics and essentialism 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 H2O. A 1970 Princeton lecture series, published in book form in 1980 as Naming and Necessity, is considered one of the most important philosophical works of the 20th century. It introduced the concept of names as rigid designators, designating (picking out, denoting, referring to) the same object in every possible world, as contrasted with descriptions.