Revising Carnap’s Semantic Conception of Modality

Studia Logica 100 (3):497-515 (2012)
  Copy   BIBTEX


I provide a tableau system and completeness proof for a revised version of Carnap's semantics for quantified modal logic. For Carnap, a sentence is possible if it is true in some first order model. However, in a similar fashion to second order logic, no sound and complete proof theory can be provided for this semantics. This factor contributed to the ultimate disappearance of Carnapian modal logic from contemporary philosophical discussion. The proof theory I discuss comes close to Carnap's semantic vision and provides an interesting counterpoint to mainstream approaches to modal logic. Despite its historical origins, my intention is to demonstrate that this approach to modal logic is worthy of contemporary attention and that current debate is the poorer for its absence



    Upload a copy of this work     Papers currently archived: 76,363

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

The Inaugural Address: Kantian Modality.Tom Baldwin - 2002 - Aristotelian Society Supplementary Volume 76 (1):1 - 24.
Explanation in the Semantic Conception of Theory Structure.Paul Thompson - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:286 - 296.
Reference and Modality.Leonard Linsky - 1971 - London: Oxford University Press.
Carnap and translational indeterminacy.William H. Berge - 1995 - Synthese 105 (1):115 - 121.
Positivism and the Pragmatic Theory of Observation.Thomas Oberdan - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:25 - 37.
On Quantifying Semantic Information.Simon D'Alfonso - 2011 - Information 2 (1):61-101.
Carnap, semantics and ontology.Gregory Lavers - 2004 - Erkenntnis 60 (3):295-316.
Carnap and Incommensurability.Stathis Psillos - 2008 - Philosophical Inquiry 30 (1-2):135-156.
Tolerance and Voluntarism.Paul Dicken - 2013 - Philosophical Papers 42 (1):25 - 48.
Changing the modal context.John Cantwell - 2008 - Theoria 74 (4):331-351.


Added to PP

93 (#134,323)

6 months
3 (#226,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Toby Meadows
University of California, Irvine

Citations of this work

No citations found.

Add more citations

References found in this work

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Symbolic Logic.Clarence Irving Lewis - 1932 - New York, NY, USA: Dover Publications.

View all 17 references / Add more references