Notre Dame Journal of Formal Logic 40 (1):81-93 (1999)
AbstractThe question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, and a more speculative argument for the claim that it does not include S4.2 is also presented
Added to PP
Historical graph of downloads
References found in this work
Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
Extensions of the Lewis System S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
Citations of this work
Modal Pluralism and Higher-Order Logic.Justin Clarke-Doane & William McCarthy - forthcoming - Philosophical Perspectives.
What is the Correct Logic of Necessity, Actuality and Apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.
Similar books and articles
A Logical Choice: The Role of Modal Logics in the Modal Ontological Argument.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
A Modal Interpretation of the Logic of Interrogation.Rani Nelken & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (3):251-271.
The Modal Ontological Argument Meets Modal Fictionalism.Ted Parent - 2016 - Analytic Philosophy 57 (4):338-352.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
A New Deduction System for Deciding Validity in Modal Logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.