Kripke Models

In Alan Berger (ed.), Saul Kripke. Cambridge University Press (2011)
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. 1 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.2 2. 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. Consideration of the familiar case of classical sentential logic should make these ideas clear. Here a formula, say (p & q) ∨ ¬p ∨ ¬q, will be valid if for all statements P..
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 24,392
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Kai F. Wehmeier (1996). Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37 (3):452-461.
Theodore Sider (2002). The Ersatz Pluriverse. Journal of Philosophy 99 (6):279-315.
Philippe Schlenker (2010). Super Liars. Review of Symbolic Logic 3 (3):374-414.

Monthly downloads

Added to index


Total downloads

41 ( #117,924 of 1,924,687 )

Recent downloads (6 months)

1 ( #417,767 of 1,924,687 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.