Saul Kripke is an American logician and philosopher born in New York in 1940. After earning a BA from Harvard University in 1962, he held positions at Harvard, Rockefeller, Princeton, New York Universities, and elsewhere.

Modal Logic

Saul Kripke has worked in many branches of logic (higher recursion theory, set theory, models of arithmetic, and relevance logic), but the work best known to philosophers, and much cited in the literature of linguistic semantics, computer science, and other disciplines, is his development of Kripke models for modal and related logics. At the level of sentential logic such a model consists of a set X (of "states of the world," often misleadingly called "worlds"), a binary relation R (of "relative possibility") thereon, plus an assignment to each atomic formula p of the set of those x in X at which p is true. The assignment extends to all...