Worlds and Models in Bayart and Carnap

Australasian Journal of Logic 13 (1) (2016)
  Copy   BIBTEX


In the early days of the semantics for modal logic the `possible worlds' were thought of as models or interpretations. This was particularly so when the interpretation was of emph{logical} necessity or possibility, where this was understood in terms of validity. Arnould Bayart in 1958 may have been the first modal logician to argue explicitly against the identification of necessity and validity. This note contrasts his semantics with that provided by Rudolf Carnap in 1946, and examines Bayart's proof that if you identify necessity with validity then certain theorems of S5 are not valid. The proof is then examined using Carnap's semantics.



    Upload a copy of this work     Papers currently archived: 91,386

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

Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
The Completeness of Carnap's Predicate Logic.Max Cresswell - 2014 - Australasian Journal of Logic 11 (1).
Possible Worlds for Modal Primitivists.Louis deRosset - 2014 - Journal of Philosophical Logic 43 (1):109-131.
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.
Carnap, the necessary a priori, and metaphysical anti-realism.Stephen Biggs & Jessica M. Wilson - 2016 - In Stephen Blatti & Sandra Lapointe (eds.), Ontology after Carnap. Oxford: pp. 81-104.
Modal Semantics without Worlds.Craig Warmke - 2016 - Philosophy Compass 11 (11):702-715.


Added to PP

28 (#555,203)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Max Cresswell
Victoria University of Wellington

Citations of this work

Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.

Add more citations

References found in this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.
[Omnibus Review].S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.

View all 8 references / Add more references