A Two-Dimensional Logic for Two Paradoxes of Deontic Modality

Review of Symbolic Logic (forthcoming)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
Archival date: 2020-08-23
View other versions
Added to PP index

Total views
686 ( #8,793 of 65,754 )

Recent downloads (6 months)
273 ( #1,555 of 65,754 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.