Saul Kripke { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies and introductions to philosophers and explanations on a number of topics. Accredited homeschooling online at Northgate Academy.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WOLI offers immigration law course online - fully accredited. ACE credits online at EES.



Philosophy Topics




Saul Kripke

Saul Kripke (1940—) is a logician and professor of philosophy best known for his contributions to logic, epistemology and philosophy of language.

Kripke semantics

Kripke semantics is a method of providing semantics for non-classical logical systems. In the 1930s, Alfred Tarski provided a model theory for classical logics, but until Kripke, no such theory existed for modal logic. To remedy this, Kripke created the possible world semantics, which described the modal operators of neccessity and possibility in the context of truth in multiple possible worlds.

Kripke described a model in modal logic as an object consisting of a set of possible worlds, W, a set of binary relations between them, R and a relation between individual worlds and formulae that are true in those worlds, . Such a model is expressed through the notation 〈W, R, 〉.

Thus, necessity and possibility can be semantically defined: Something is necessarily true in some world when it is true in all worlds accessible to that world, and something is possibly true in a world when it is true in at least one possible world accessible to it.

Kripke's semantics have drawn a renewed interest in modal logic and many developments in their study. It has also brought questions from those such as Quine, who ask to what one is referring when discussing possible worlds, and whether or not such semantics commit one to affirming their existence.



Name: Saul Kripke
Born: November 13, 1940, Nebraska
Degrees: B.A. Mathematics (Harvard)
Several honourary degress
Awards: Schock Prize, Logic and Philosophy, 2001