Journal of Philosophical Logic 51 (1):151-199 (2022)

Authors
Andrew Bacon
University of Southern California
Jin Zeng
University of Southern California
Abstract
We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic.
Keywords Modality  Higher-order Metaphysics  Modal metaphysics  Higher-order logic  Broadest necessity
Categories (categorize this paper)
Reprint years 2021, 2022
ISBN(s)
DOI 10.1007/s10992-021-09617-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and Other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. Oxford University Press. pp. 481-563.
Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Naming and Necessity.Saul A. Kripke - 1985 - Critica 17 (49):69-71.

View all 36 references / Add more references

Citations of this work BETA

Classicism.Andrew Bacon & Cian Dorr - forthcoming - In Peter Fritz & Nicholas K. Jones (eds.), Higher-order Metaphysics. Oxford University Press.

Add more citations

Similar books and articles

The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Logical Necessity.Ian Rumfitt - 2010 - In Bob Hale & Aviv Hoffmann (eds.), Modality: Metaphysics, Logic, and Epistemology. Oxford University Press.
Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Modality: Metaphysics, Logic, and Epistemology.Bob Hale & Aviv Hoffmann (eds.) - 2009 - Oxford, England: Oxford University Press.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Modal Science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.

Analytics

Added to PP index
2021-03-16

Total views
312 ( #33,733 of 2,507,869 )

Recent downloads (6 months)
119 ( #5,764 of 2,507,869 )

How can I increase my downloads?

Downloads

My notes