Higher-Order Counterfactual Logic

Abstract

This paper axiomatizes higher-order counterfactual logic, proves the equivalence of various of its fragments to existing higher-order modal systems, and establishes some of its metaphysically significant implications. Most controversially, it entails that logically equivalent expressions can be substituted in the antecedents of counterfactuals, that all counterpossibles are vacuously true, that the Barcan and Converse Barcan both hold, and that everything necessarily exists.

Author's Profile

Samuel Elgin
University of California, San Diego

Analytics

Added to PP
2023-02-18

Downloads
157 (#58,366)

6 months
68 (#25,825)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?