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
Upload history
Archival date: 2017-08-28
View other versions
Added to PP index
2017-08-28

Total views
515 ( #10,166 of 58,210 )

Recent downloads (6 months)
44 ( #17,419 of 58,210 )

How can I increase my downloads?

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