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...

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...

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...

Southview High School in 1992. His cousin was Saul Kripke, an influential philosopher and logician. Kripke often created home movies with friends to show...

information. Ergo, there is more to have than that, and Physicalism is false. Saul Kripke has a well-known argument for some kind of property dualism. Using the...

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

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...

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...