nLab Saul Kripke

Saul Kripke was an American philosopher and logician (1940-2022). He is best known for his work on modal logic, in particular the possible worlds semantics discussed at geometric model for modal logics, and for related work in metaphysics, especially in Naming and Necessity.

Selected writings

On S4/S5-modal logic and its geometric models that came to be called Kripke frames/Kripke models/possible worlds semantics:

On the philosophy of language?:

category: people

Last revised on July 16, 2023 at 18:12:56. See the history of this page for a list of all contributions to it.