Revising Carnap's emantic conception of modality

Toby S D Meadows

Research output: Contribution to journalArticle (Academic Journal)peer-review


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.
Original languageEnglish
Pages (from-to)497-515
Number of pages19
JournalStudia Logica
Issue number3
Publication statusPublished - Jun 2012


Dive into the research topics of 'Revising Carnap's emantic conception of modality'. Together they form a unique fingerprint.

Cite this