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)
  Copy   BIBTEX

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.

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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
2017-06-09

Downloads
520 (#34,080)

6 months
68 (#64,170)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fabio Lampert
University of Vienna

References found in this work

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 Kripke - 1980 - Philosophy 56 (217):431-433.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.

View all 22 references / Add more references