Possible worlds semantics

Paul Gochet
Table of contents

In 1919, Irving Lewis axiomatically introduced the connective , rendered as ‘Necessarily if … then …’ or ‘It is impossible for … to be the case and for … not to be the case’, and called strict implication. It was explained as follows: “the relation of strict implication expresses precisely that relation which holds when valid deduction is possible and fails to hold when valid deduction is not possible” (Lewis & Langford 1932: 247).

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

References

Van Benthem, J. & F. Veltman
1990 Intensional logics. Ms.Google Scholar
Carnap, R.
1956 Meaning and necessity. Phoenix Books.  BoPGoogle Scholar
Couturat, L.
(ed.) 1903 Opuscules et fragments de Leibniz. Alcan.Google Scholar
Cresswell, M.J.
1973 Logics and language. Methuen.  BoPGoogle Scholar
1978 Semantic competence. In Guenthner & Guenthner-Reutter (eds.) Meaning and translation: 9–27. Duckworth.Google Scholar
1985 Structured meanings. MIT Press.Google Scholar
1990 Entities and indices. Kluwer. DOI logoGoogle Scholar
Cresswell, M.J. & G.E. Hughes
1984 A companion to modal logic. Methuen.Google Scholar
Hintikka, J.
1973 Grammar and logic. In J. Hintikka et al. (eds.) Approaches to natural language: 197–214. Reidel. DOI logoGoogle Scholar
Kripke, S.
1963a Semantical analysis of modal logic I. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik: 67–96. DOI logoGoogle Scholar
1963b Semantic considerations on modal logic. Acta Philosophica Fennica: 83–94.Google Scholar
Kaplan, D.
1977 On the Logic of demonstratives. In P. French et al. (eds.) Contemporary perspectives in the philosophy of language. University of Minnesota Press.  BoPGoogle Scholar
Lemmon, E.J.
1959 Is there only one correct system of modal logic? The Aristotelian Society Supplementary Volume: 23–40. Harrisson.Google Scholar
Lewis, D.
1972 General semantics. In D. Davidson & G. Harman (eds.) Semantics of natural language: 169–218. Reidel. DOI logo  BoPGoogle Scholar
1973 Counterfactuals. Blackwell.  BoPGoogle Scholar
Lewis, I. & C. Langford
1932 Symbolic logic. Dover.Google Scholar
Montague, R.
1974 Formal philosophy. Yale University Press.  BoPGoogle Scholar
Quine, W.V.O.
1976 Worlds away. The Journal of Philosophy 73: 859–863. DOI logoGoogle Scholar