Which Modal Logic Is the Right One?
Notre Dame Journal of Formal Logic 40 (1):81-93 (1999)
| Abstract | The 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesTracy Lupher (2012). A Logical Choice. Southwest Philosophy Review 28 (1):237-246.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Yannis Stephanou (2000). Model Theory and Validity. Synthese 123 (2):165-193.
Rani Nelken & Chung-Chieh Shan (2006). A Modal Interpretation of the Logic of Interrogation. Journal of Logic, Language and Information 15 (3).
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Johan van Benthem (2004). What One May Come to Know. Analysis 64 (2):95–105.
Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora (2011). A New Deduction System for Deciding Validity in Modal Logic K. Logic Journal of IGPL 19 (2): 425-434.
Minghui Ma (2010). Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China 5 (2):294-311.
Lloyd Humberstone (2007). Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness. Journal of Philosophical Logic 36 (1):1 - 32.
John P. Burgess (2009). Philosophical Logic. Princeton University Press.
William H. Hanson (2006). Actuality, Necessity, and Logical Truth. Philosophical Studies 130 (3):437 - 459.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads23 ( #53,812 of 549,067 )Recent downloads (6 months)7 ( #10,311 of 549,067 )How can I increase my downloads? |
My notes
Discussion
