Does the deduction theorem fail for modal logic?

Synthese 187 (3):849-867 (2012)
  Copy   BIBTEX

Abstract

Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a way that restricts its use to cases in which the premiss does not depend on assumptions. This restriction is entirely analogous to the restriction of the rule of universal generalization of first-order logic. A necessitation rule with this restriction permits a proof of the deduction theorem in its usual formulation. Other suggestions presented in the literature to deal with the problem are reviewed, and the present solution is argued to be preferable to the other alternatives. A contraction-and cut-free sequent calculus equivalent to the Hubert system for basic modal logic shows the standard failure argument untenable by proving the underivability of DA from A

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Deductive completeness.Kosta Došen - 1996 - Bulletin of Symbolic Logic 2 (3):243-283.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.

Analytics

Added to PP
2012-09-28

Downloads
269 (#68,019)

6 months
24 (#97,351)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Raul Hakli
University of Helsinki

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.

View all 46 references / Add more references