Erkenntnis 83 (3):403-443 (2018)

Authors
Fabio Lampert
University of California, Irvine
Abstract
In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate over different notions of validity such as local, general, and diagonal, besides being general enough for several two-dimensional logics proposed in the literature. We also motivate the introduction of a new operator into two-dimensional languages and explore some of the philosophical questions raised by it concerning the relations there are between actuality, necessity, and the a priori, that seem to undermine traditional intuitive interpretations of two-dimensional operators.
Keywords modal logic  two-dimensional semantics  a priori  actuality  tableaux  necessity  multidimensional modal logics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10670-017-9896-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,707
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and Other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. Oxford University Press. pp. 481-563.
Naming and Necessity.Saul A. Kripke - 1985 - Critica 17 (49):69-71.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
Epistemic Two-Dimensional Semantics.David J. Chalmers - 2004 - Philosophical Studies 118 (1-2):153-226.
Counterfactuals.David Lewis - 1974 - Tijdschrift Voor Filosofie 36 (3):602-605.

View all 39 references / Add more references

Citations of this work BETA

Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.

Add more citations

Similar books and articles

Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
Two-Dimensional Tableaux.David Gilbert - 2016 - Australasian Journal of Logic 13 (7).
Reference, Contingency, and the Two-Dimensional Framework.Martin Davies - 2004 - Philosophical Studies 118 (1-2):83-131.
Actually, Actually.S. Yalcin - 2015 - Analysis 75 (2):185-191.
A Cut-Free Sequent System for Two-Dimensional Modal Logic, and Why It Matters.Greg Restall - 2012 - Annals of Pure and Applied Logic 163 (11):1611-1623.
How Many Notions of Necessity?Jordan Stein - 2013 - Philosophical Studies 165 (2):605-627.
Multi-Dimensional Semantics for Modal Logics.Maarten Marx - 1996 - Notre Dame Journal of Formal Logic 37 (1):25-34.

Analytics

Added to PP index
2017-03-26

Total views
77 ( #120,219 of 2,333,192 )

Recent downloads (6 months)
8 ( #82,203 of 2,333,192 )

How can I increase my downloads?

Downloads

My notes