Inquiry 3 (1-4):259 – 269 (1960)
Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Citations of this work BETA
The Genesis of Possible Worlds Semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
Meredith, Prior, and the History of Possible Worlds Semantics.B. Jack Copeland - 2006 - Synthese 150 (3):373-397.
Similar books and articles
Knowledge of Possibility and of Necessity.Bob Hale - 2002 - Proceedings of the Aristotelian Society 103 (1):1–20.
Possible Ideas of Necessity in Indian Logic.Sundar Sarukkai - 2011 - Journal of Philosophical Logic 40 (5):563-582.
A Challenge to the Kripke/Putnam Distinction Between Epistemic and Metaphysical Necessity.Brian MacPherson - 1997 - Southwest Philosophy Review 13 (2):113--128.
Which Modal Models Are the Right Ones (for Logical Necessity)?John P. Burgess - 2003 - Theoria 18 (2):145-158.
Added to index2009-03-08
Total downloads89 ( #56,583 of 2,153,830 )
Recent downloads (6 months)11 ( #60,325 of 2,153,830 )
How can I increase my downloads?