A Two-Dimensional Logic for Two Paradoxes of Deontic Modality

Review of Symbolic Logic (forthcoming)
  Copy   BIBTEX


In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Note on the Modal and Temporal Logics for N -Dimensional Spacetime.John F. Phillips - 1998 - Notre Dame Journal of Formal Logic 39 (4):545-553.
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.
Agential Free Choice.Melissa Fusco - 2020 - Journal of Philosophical Logic 50 (1):57-87.
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.
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Modal Logics for Integral Spacetime.John F. Phillips - 1999 - Dissertation, The University of Wisconsin - Madison


Added to PP

885 (#9,971)

6 months
236 (#3,421)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Melissa Fusco
Columbia University
Alexander W. Kocurek
Cornell University

Citations of this work

No citations found.

Add more citations

References found in this work

Reasons and Persons.Derek Parfit - 1984 - Oxford, GB: Oxford University Press.
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.
Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Transformative Experience.Laurie Ann Paul - 2014 - Oxford, GB: Oxford University Press.
Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.

View all 28 references / Add more references