Natural Deduction for Diagonal Operators

In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51 (2017)
Authors
Fabio Lampert
University of California, Irvine
Abstract
We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case.
Keywords Modal Logic  Two-Dimensional Semantics  A priori  Actuality  Natural Deduction  Necessity  Two-Dimensional Modal Logic  Epistemic Logic
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
Fitch-Style Natural Deduction for Modal Paralogics.Hans Lycke - 2009 - Logique Et Analyse 52 (207):193-218.
A Natural Deduction System for Sentential Modal Logic.Howard J. Sobel - 1979 - Philosophy Research Archives 5:611-622.
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
A New S4 Classical Modal Logic in Natural Deduction.Maria Paz N. Medeirodas - 2006 - Journal of Symbolic Logic 71 (3):799-809.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Natural Deduction for Modal Logic of Judgment Aggregation.Tin Perkov - 2016 - Journal of Logic, Language and Information 25 (3-4):335-354.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
A Way Of Making World Quantification Explicit.Stefano Baratella & Andrea Masini - 2004 - Logic Journal of the IGPL 12 (3):199-225.
How Many Notions of Necessity?Jordan Stein - 2013 - Philosophical Studies 165 (2):605-627.

Analytics

Added to PP index
2017-06-09

Total views
43 ( #157,427 of 2,312,517 )

Recent downloads (6 months)
14 ( #39,904 of 2,312,517 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature