Higher‐order metaphysics

Philosophy Compass 16 (10):1-11 (2021)
  Copy   BIBTEX

Abstract

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, as well as on the metaphysics of modality.

Similar books and articles

A Note on Identity and Higher Order Quantification.Rafal Urbaniak - 2009 - Australasian Journal of Logic 7:48--55.
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Higher-order uncertainty.Kevin Dorst - 2019 - In Mattias Skipper & Asbjørn Steglich-Petersen (eds.), Higher-Order Evidence: New Essays. Oxford, United Kingdom: Oxford University Press.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Semantic values in higher-order semantics.Stephan Krämer - 2014 - Philosophical Studies 168 (3):709-724.

Analytics

Added to PP
2021-09-04

Downloads
857 (#16,356)

6 months
204 (#12,106)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Lukas Skiba
University of Bergen

Citations of this work

Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
In Defence of Hybrid Contingentism.Lukas Skiba - 2022 - Philosophers' Imprint 22 (4):1-30.
Engineering Existence?Lukas Skiba - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
Against relationalism about modality.Carlos Romero - 2023 - Philosophical Studies 180 (8):2245-2274.
Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.

View all 16 citations / Add more citations

References found in this work

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
The problems of philosophy.Bertrand Russell - 1912 - New York: Barnes & Noble.
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge, Mass.: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.

View all 81 references / Add more references