and had it published a year later. After graduating from high school in 1958, Kripke attended Harvard University and graduated summa cum laude in 1962 with a bachelor's degree in mathematics. During his sophomore year at Harvard, he taught a graduate-level logic course at nearby MIT. Upon graduation he received a Fulbright Fellowship, and in 1963 was appointed to the Society of Fellows. Kripke later said, "I wish I could have skipped college. I got to know some interesting people but I can't say I learned anything. I probably would have learned it all anyway just reading on my own." After briefly teaching at Harvard, Kripke moved in 1968 to Rockefeller University in New York City, where he taught until 1976. In 1978 he took a chaired professorship at Princeton University. In 1988 he received the university's Behrman Award for distinguished achievement in the humanities. In 2002 Kripke began teaching at the CUNY Graduate Center, and in 2003 he was appointed a distinguished professor of philosophy there. Kripke has received honorary degrees from the University of Nebraska, Omaha (1977), Johns Hopkins University (1997), University of Haifa, Israel (1998), and the University of Pennsylvania (2005). He was a member of the American Philosophical Society and an elected Fellow of the American Academy of Arts and Sciences, and in 1985 was a Corresponding Fellow of the British Academy. He won the Schock Prize in Logic and Philosophy in 2001. Kripke was married to philosopher Margaret Gilbert. He is the second cousin once removed of television writer, director, and producer Eric Kripke. Kripke died of pancreatic cancer on September 15, 2022, in Plainsboro, New Jersey, at the age of 81. Work 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). Modal logic Two of Kripke's earlier works, "A Completeness Theorem in Modal Logic" (1959) and "Semantical Considerations on Modal Logic" (1963), the former written when he was a teenager, were on modal logic. The most familiar logics in the modal family are constructed from a weak logic called K, named after Kripke. Kripke introduced the now-standard Kripke semantics (also known as relational