Revisiting McKinsey's 'Syntactical' Construction of Modality

  • 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.

Downloads

Download data is not yet available.

Author Biography

Max Cresswell, Victoria University of Wellington
Emeritus Professor of the University Professor of Philosophy
Published
2020-04-24
How to Cite
CRESSWELL, Max. Revisiting McKinsey's 'Syntactical' Construction of Modality. The Australasian Journal of Logic, [S.l.], v. 17, n. 2, p. 123-140, apr. 2020. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4073>. Date accessed: 02 july 2020. doi: https://doi.org/10.26686/ajl.v17i2.4073.