Kripke models

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Scopus citations


Introduction Saul Kripke has made fundamental contributions to a variety of areas of logic, and his name is attached to a corresponding variety of objects and results. For philosophers, by far the most important examples are “Kripke models,” which have been adopted as the standard type of models for modal and related non-classical logics. What follows is an elementary introduction to Kripke’s contributions in this area, intended to prepare the reader to tackle more formal treatments elsewhere. What is a model theory? Traditionally, a statement is regarded as logically valid if it is an instance of a logically valid form, where a form is regarded as logically valid if every instance is true. In modern logic, forms are represented by formulas involving letters and special symbols, and logicians seek therefore to define a notion of model and a notion of a formula’s truth in a model in such a way that every instance of a form will be true if and only if a formula representing that form is true in every model. Thus the unsurveyably vast range of instances can be replaced for purposes of logical evaluation by the range of models, which may be more tractable theoretically and perhaps practically.

Original languageEnglish (US)
Title of host publicationSaul Kripke
PublisherCambridge University Press
Number of pages22
ISBN (Electronic)9780511780622
ISBN (Print)9780521858267
StatePublished - Jan 1 2011

All Science Journal Classification (ASJC) codes

  • General Arts and Humanities


Dive into the research topics of 'Kripke models'. Together they form a unique fingerprint.

Cite this