Saul Aaron Kripke (/ˈkrɪpki/; November 13, 1940 – September 15, 2022) was an American analytic philosopher and logician. He was Distinguished Professor...

books, and the mother of Saul Kripke Eric Kripke (born 1974), American television writer, director, and producer Madeline Kripke (1943–2020), American book...

non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later adapted...

structure is a variation of the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system. It consists...

The Kripke–Platek set theory (KP), pronounced /ˈkrɪpki ˈplɑːtɛk/, is an axiomatic set theory developed by Saul Kripke and Richard Platek. The theory can...

according to the hair of the pretender. In Reference and Existence, Saul Kripke argues that while Donnellan is correct to point out two uses of the phrase...

hierarchy (although bounded versions of the sentence are possible). Saul Kripke is credited with identifying this incompleteness in Tarski's hierarchy...

Rules and Private Language is a 1982 book by philosopher of language Saul Kripke in which he contends that the central argument of Ludwig Wittgenstein's...

and Philosophy. Cambridge University Press. ISBN 978-0-521-00868-6. Kripke, Saul (1982). Wittgenstein on Rules and Private Language. Harvard University...

proponent of direct reference theory. Saul Kripke defended direct reference theory when applied to proper names. Kripke claims that proper names do not have...