Australasian Journal of Logic 17 (2):123 (2020)

Authors
Max Cresswell
Victoria University of Wellington
Abstract
In 1945 J.C.C. McKinsey produced a ‘semantics’ for modal logic based on necessity defined in terms of validity. The present papers looks at how to update F.R. Drake’s completeness proof for McKinsey’s semantics by comparing McKinsey ‘models’ with the now standard Kripke models. It also looks at the motivation behind the system McKinsey called S4.1, but which we now call S4M; and use this motivation to produce a McKinsey semantics for that system. One lesson which emerges from this work is an appreciation of the superiority of the current possible worlds semantics based on frames and models, both in terms of an intuitive understanding of modality, and also in terms of the ease of working with particular systems.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v17i2.4073
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,118
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

Mathematical Modal Logic: A View of its Evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Modalities and Quantification.Rudolf Carnap - 1948 - Journal of Symbolic Logic 13 (4):218-219.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Incompatibility Arguments and Semantic Self Knowledge.Henry Jackman - 2007 - Southwest Philosophy Review 23 (1):173-180.
The Genesis of Possible Worlds Semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
McKinsey on Kripke's Assault on Cluster Theories.Rod Bertolet - 1980 - Philosophy Research Archives 6:466-473.

Analytics

Added to PP index
2020-04-29

Total views
3 ( #1,241,036 of 2,324,548 )

Recent downloads (6 months)
3 ( #309,669 of 2,324,548 )

How can I increase my downloads?

Downloads

My notes