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.

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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 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
513 (#22,494)

6 months
186 (#5,152)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Lukas Skiba
Universität Hamburg

Citations of this work

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.
Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2023 - In Peter Fritz & Nicholas Jones (eds.), Higher-Order Metaphysics. Oxford: Oxford University Press.
Against Representational Levels.Nicholas K. Jones - 2023 - Philosophical Perspectives 36 (1):140-157.
Naturalness: Abundant and Sparse Properties.Elanor Taylor - forthcoming - In Anna-Sofia Maurin & Anthony Fisher (eds.), Routledge Handbook on Properties.

View all 12 citations / Add more citations

References found in this work

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
The Problems of Philosophy.Bertrand Russell - 1912 - Portland, OR: Barnes & Noble.
Philosophy of logic.Willard Van Orman Quine - 1986 - 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 74 references / Add more references