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)|
|Through your library||Configure|
Similar books and articles
Tracy 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.
Added to index2010-08-24
Total downloads23 ( #53,853 of 549,088 )
Recent downloads (6 months)7 ( #10,333 of 549,088 )
How can I increase my downloads?