Disappearing Diamonds: Fitch-Like Results in Bimodal Logic

Journal of Philosophical Logic 48 (6):1003-1016 (2019)
Download Edit this record How to cite View on PhilPapers
Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, i.e. ⧫=¬■¬. Whenever (X) is of the form φ → ψ, let (X⧫) be φ→⧫ψ . (X⧫) can be thought of as the modally qualified counterpart of (X)—for instance, under the metaphysical interpretation of ⧫, where (X) says φ implies ψ, (X⧫) says φ implies possibly ψ. This paper shows that for various interesting instances of (X), fairly weak assumptions suffice for (X⧫) to imply (X)—so, the modally qualified principle is as strong as its unqualified counterpart. These results have surprising and interesting implications for issues spanning many areas of philosophy.
PhilPapers/Archive ID
Upload history
Archival date: 2019-02-13
View other versions
Added to PP index

Total views
471 ( #12,463 of 2,439,023 )

Recent downloads (6 months)
62 ( #10,683 of 2,439,023 )

How can I increase my downloads?

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