Carnap’s Problem for Modal Logic
Review of Symbolic Logic:1-29 (forthcoming)
Abstract
We take Carnap’s problem to be to what extent standard consequence relations in various formal languages fix the meaning of their logical vocabulary, alone or together with additional constraints on the form of the semantics. This paper studies Carnap’s problem for basic modal logic. Setting the stage, we show that neighborhood semantics is the most general form of compositional possible worlds semantics, and proceed to ask which standard modal logics (if any) constrain the box operator to be interpreted as in relational Kripke semantics. Except when restricted to finite domains, no modal logic characterizes all the Kripkean interpretation of P. Moreover, we show that, in contrast with the case of first-order logic, the obvious requirement of permutation invariance is not adequate in the modal case. After pointing out some known facts about modal logics that nevertheless force the Kripkean interpretation, we focus on another feature often taken to embody the gist of modal logic: locality. We show that invariance under point-generated subframes (properly defined) does single out the Kripkean interpretations, but only among topological interpretations, not in general. Finally, we define a notion of bisimulation invariance — another aspect of locality — that, together with a reasonable closure condition, gives the desired general result. Along the way, we propose a new perspective on normal neighborhood frames as filter frames, consisting of a set of worlds equipped with an accessibility relation, and a free filter at every world.Author Profiles
DOI
10.1017/s1755020321000083
My notes
Similar books and articles
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
Do Modal Distinctions Collapse in Carnap’s System?Genoveva Marti - 1994 - Journal of Philosophical Logic 23 (6):575 - 593.
Quine's interpretation problem and the early development of possible worlds semantics.Sten Lindström - 2001 - In Ondrey Majer (ed.), The Logica Yearbook 2000. Filosofia.
The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church.Adam Tamas Tuboly - 2018 - History and Philosophy of Logic 39 (3):289-304.
The Completeness of Carnap's Predicate Logic.Max Cresswell - 2014 - Australasian Journal of Logic 11 (1).
A modal view of the semantics of theoretical sentences.Holger Andreas - 2010 - Synthese 174 (3):367 - 383.
Carnapian extensions of S.Herbert E. Hendry & M. L. Pokriefka - 1985 - Journal of Philosophical Logic 14 (2):111 - 128.
Marti on Descriptions in Carnap’s S.Michael Kremer - 1997 - Journal of Philosophical Logic 26 (6):629-634.
Attempts To Rehabilitate Modal Logic: Rudolf Carnap AndQuantify Modal Logic.Marius Mureșan - 2005 - Annals of the University of Craiova, Series: Philosophy:25-32.
Carnap on theoretical terms: structuralism without metaphysics.Michael Friedman - 2011 - Synthese 180 (2):249 - 263.
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 265-292.
Analytics
Added to PP
2021-03-08
Downloads
36 (#326,335)
6 months
5 (#153,645)
2021-03-08
Downloads
36 (#326,335)
6 months
5 (#153,645)
Historical graph of downloads