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 logo with link to Google Scholar
Carnap, R.
1956 Meaning and necessity. Phoenix Books.  BoPGoogle Scholar logo with link to Google Scholar
Couturat, L.
(ed.) 1903 Opuscules et fragments de Leibniz. Alcan.Google Scholar logo with link to Google Scholar
Cresswell, M.J.
1973 Logics and language. Methuen.  BoPGoogle Scholar logo with link to Google Scholar
1978 Semantic competence. In Guenthner & Guenthner-Reutter (eds.) Meaning and translation: 9–27. Duckworth.Google Scholar logo with link to Google Scholar
1985 Structured meanings. MIT Press.Google Scholar logo with link to Google Scholar
1990 Entities and indices. Kluwer. Google Scholar logo with link to Google Scholar
Cresswell, M.J. & G.E. Hughes
1984 A companion to modal logic. Methuen.Google Scholar logo with link to Google Scholar
Hintikka, J.
1973 Grammar and logic. In J. Hintikka et al. (eds.) Approaches to natural language: 197–214. Reidel. Google Scholar logo with link to Google Scholar
Kripke, S.
1963a Semantical analysis of modal logic I. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik: 67–96. Google Scholar logo with link to Google Scholar
1963b Semantic considerations on modal logic. Acta Philosophica Fennica: 83–94.Google Scholar logo with link to 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 logo with link to Google Scholar
Lemmon, E.J.
1959 Is there only one correct system of modal logic? The Aristotelian Society Supplementary Volume: 23–40. Harrisson.Google Scholar logo with link to Google Scholar
Lewis, D.
1972 General semantics. In D. Davidson & G. Harman (eds.) Semantics of natural language: 169–218. Reidel.  BoPGoogle Scholar logo with link to Google Scholar
1973 Counterfactuals. Blackwell.  BoPGoogle Scholar logo with link to Google Scholar
Lewis, I. & C. Langford
1932 Symbolic logic. Dover.Google Scholar logo with link to Google Scholar
Montague, R.
1974 Formal philosophy. Yale University Press.  BoPGoogle Scholar logo with link to Google Scholar
Quine, W.V.O.
1976 Worlds away. The Journal of Philosophy 73: 859–863. Google Scholar logo with link to Google Scholar
 
Mobile Menu Logo with link to supplementary files background Layer 1 prag Twitter_Logo_Blue