The Broadest Necessity

Journal of Philosophical Logic 47 (5):733-783 (2018)
Download Edit this record How to cite View on PhilPapers
Abstract
In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given.
ISBN(s)
PhilPapers/Archive ID
BACTBN
Revision history
Archival date: 2017-08-28
View upload history
References found in this work BETA
.Williamson, Timothy
Naming and Necessity.Kripke, Saul A.
Remarks on Counterpossibles.Brogaard, Berit & Salerno, Joe

View all 43 references / Add more references

Citations of this work BETA
Classical Opacity.Caie, Michael; Goodman, Jeremy & Lederman, Harvey

Add more citations

Added to PP index
2017-08-28

Total views
329 ( #9,280 of 40,679 )

Recent downloads (6 months)
100 ( #4,536 of 40,679 )

How can I increase my downloads?

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