Revising Carnap's semantic conception of modality

Meadows, Toby (2012) Revising Carnap's semantic conception of modality. Studia Logica, 100 3: 497-515. doi:10.1007/s11225-012-9412-0

Author Meadows, Toby
Title Revising Carnap's semantic conception of modality
Journal name Studia Logica   Check publisher's open access policy
ISSN 0039-3215
Publication date 2012-06-01
Year available 2012
Sub-type Article (original research)
DOI 10.1007/s11225-012-9412-0
Open Access Status Not Open Access
Volume 100
Issue 3
Start page 497
End page 515
Total pages 19
Place of publication Dordrecht, Netherlands
Publisher Springer Netherlands
Language eng
Abstract 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.
Keyword Carnap
Generalised (normal, faithful) models
Modal logic
Second order logic
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Non-UQ

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Historical and Philosophical Inquiry
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 17 Jun 2016, 02:54:15 EST by Anthony Yeates on behalf of Learning and Research Services (UQ Library)