Kripke, Saul (1940-) - Research Article from Encyclopedia of Philosophy

This encyclopedia article consists of approximately 7┬ápages of information about Kripke, Saul (1940–).
This section contains 2,042 words
(approx. 7 pages at 300 words per page)
Buy the Kripke, Saul (1940-) Encyclopedia Article

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

(read more)

This section contains 2,042 words
(approx. 7 pages at 300 words per page)
Buy the Kripke, Saul (1940-) Encyclopedia Article
Copyrights
Macmillan
Kripke, Saul (1940-) from Macmillan. Copyright © 2001-2006 by Macmillan Reference USA, an imprint of the Gale Group. All rights reserved.
Follow Us on Facebook