Modal logic

Paul Gochet
Table of contents

Standard elementary logic studies the deductive inferences which rest on two sets of logical constants: the connectives ‘not’, ‘and’, ‘either … or …’, ‘if … then …’ and the quantifiers ‘all’ and ‘some’. Modal logic extends the logical lexicon in order to account for the validity or non-validity of inferences which depends on the presence of modal terms such as ‘necessarily’ or ‘possibly’. With respect to arguments involving these terms, intuition cannot be trusted. Even the best logicians and philosophers fall prey to fallacies in this area. For instance, Etchemendy (1990: 87) discovered a hidden fallacious move in Tarski's account of logical consequence, where he went from a statement of the form ‘Necessarily if p and q, then not r’ to a statement of the form ‘if p then necessarily if q then not r’.

Full-text access is restricted to subscribers. Log in to obtain additional credentials. For subscription information see Subscription & Price.

References

Ackrill, J.L.
(ed.) 1963 Aristotle's Categories and De interpretatione. Oxford University Press. Google Scholar logo with link to Google Scholar
Aristotle
: see Ackrill (ed.) 1963 and Ross (ed.) 1928 Google Scholar logo with link to Google Scholar
Barcan Marcus, R.
1946 A functional calculus of first order based on strict implication. The Journal of Symbolic Logic 11: 1–17. Google Scholar logo with link to Google Scholar
Bar-Hillel, Y.
1970 Aspects of Language. North Holland.  BoPGoogle Scholar logo with link to Google Scholar
1971 Pragmatics of natural languages. Reidel.  BoPGoogle Scholar logo with link to Google Scholar
Blackburn, P., M. De Rijke & Y. Venema
2001 Modal Logic. Cambridge University Press. Google Scholar logo with link to Google Scholar
Van Benthem, J.
1977 Tense logic and standard logic. Logique et Analyse 80: 395–437. Google Scholar logo with link to Google Scholar
1983 The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Reidel. Google Scholar logo with link to Google Scholar
Carnap, R.
1946 Modalities and Quantification. The Journal of Symbolic Logic 11: 33–64. Google Scholar logo with link to Google Scholar
1963 Carnap's Intellectual autobiography. In P.A. Schilpp (ed.) The Philosophy of Rudolf Carnap. Open Court. Google Scholar logo with link to Google Scholar
Fitting, M. & R. Mendelsohn
1998 First-Order Modal Logic. Kluwer. Google Scholar logo with link to Google Scholar
Gabbay, D.
1974 Tense Logic and the Tenses of English. In J. Moravcsik (ed.) Logic and Philosophy for Linguists: 177–186. Mouton. Google Scholar logo with link to Google Scholar
1976 Investigations in modal and tense logics. With applications to Problems in Philosophy and Linguistics. Reidel. Google Scholar logo with link to Google Scholar
Gabbay, D. & J. Woods
(eds.) 2006 The Handbook of History of Logic, vol. 7 Logic and the Modalities in the Twentieth Century. Elsevier. Google Scholar logo with link to Google Scholar
Garson, J.
2006 Modal Logic for Philosophers. Cambridge University Press. Google Scholar logo with link to Google Scholar
Goranko, V.
1996 Hierarchies of Modal and Temporal Logic with Reference. The Journal of Logic, Language and Information 5: 1–24. Google Scholar logo with link to Google Scholar
Hughes, G.E. & M.J. Cresswell
1996 A new introduction to modal logic. Methuen. Google Scholar logo with link to Google Scholar
Kamp, H
1971 Formal Properties of ‘Now’. Theoria 37: 227–273. Google Scholar logo with link to Google Scholar
Lewis, I. & C.H. Langford
(1959) [1932] Symbolic logic. Dover. Google Scholar logo with link to Google Scholar
Lyons, J.
1977 Semantics, vol. 2. Cambridge University Press.  BoPGoogle Scholar logo with link to Google Scholar
Mctaggart, J.M.E.
1908 The Unreality of Time. Mind: 457–474. Google Scholar logo with link to Google Scholar
Moisil, G.
1972 Essai sur les logiques non chrysipiennes. Académie Socialiste de Roumanie. Google Scholar logo with link to Google Scholar
Palmer, F.R
1979 Modality and the English modals. Longman.  BoPGoogle Scholar logo with link to Google Scholar
Reichenbach, H.
(1974) [1947] Analysis of Conversational Language. In J. Moravcsik (ed.) Logic and Philosophy for Linguists: 122–141. Mouton. Google Scholar logo with link to Google Scholar
Ross, W.D.
(ed.) 1928 The works of Aristotle: Analytica Priora. Clarendon. Google Scholar logo with link to Google Scholar
Scott, D.
1971 On engendering an illusion of understanding. Journal of Philosophy 68(21): 787–807. Google Scholar logo with link to Google Scholar
Wolper, P.
1983 Temporal Logic Can Be More Expressive. Information and Control 56: 72–99. Google Scholar logo with link to Google Scholar
 
Mobile Menu Logo with link to supplementary files background Layer 1 prag Twitter_Logo_Blue