Higher-Order Metaphysics

& (eds.)
Oxford University Press (2024)
  Copy   BIBTEX

Abstract

This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.

Categories

Keywords

Reprint years

ISBN(s)

9780192894885   0192894889
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

My notes

Chapters

A Case For Higher-Order Metaphysics.Andrew Bacon
Classicism.Andrew Bacon & Cian Dorr
A fictionalist theory of universals.Tim Button & Robert Trueman
Constructive Type Theory, an appetizer.Laura Crosilla
Symmetry and Hybrid Contingentism.Maegan Fairchild
Higher-Order Metaphysics: An Introduction.Peter Fritz & Nicholas K. Jones
Higher-order logic as metaphysics.Jeremy Goodman
Higher-Order Metaphysics in Frege and Russell.Kevin C. Klement
Higher-order metaphysics and propositional attitudes.Harvey Lederman
Pure Logic and Higher-order Metaphysics.Christopher Menzel
Against Second-Order Primitivism.Bryan Pickel

Similar books and articles

Higher-order metaphysics and the tropes versus universals dispute.Lukas Skiba - 2021 - Philosophical Studies 178 (9):2805-2827.
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
Should a higher-order metaphysician believe in properties?David Liggins - 2021 - Synthese 199 (3-4):10017-10037.
Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
Comparing Approaches To Resolution Based Higher-Order Theorem Proving.Christoph Benzmüller - 2002 - Synthese 133 (1-2):203-335.
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.
Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
Consciousness, higher-order content, and the individuation of vehicles.Uriah Kriegel - 2003 - Synthese 134 (3):477-504.
Higher-Order Defeat and Doxastic Resilience.Asbjørn Steglich-Petersen - 2019 - In Mattias Skipper & Asbjørn Steglich-Petersen (eds.), Higher-Order Evidence: New Essays. Oxford, United Kingdom: Oxford University Press.
(Almost) all evidence is higher-order evidence.Brian Hedden & Kevin Dorst - 2022 - Analysis 82 (3):417-425.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Whither Higher-Order Evidence?Daniel Whiting - 2019 - In Mattias Skipper & Asbjørn Steglich-Petersen (eds.), Higher-Order Evidence: New Essays. Oxford, United Kingdom: Oxford University Press.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.

Analytics

Added to PP
2021-12-16

Downloads
37 (#409,683)

6 months
37 (#94,543)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Peter Fritz
Australian Catholic University
Nicholas K. Jones
University of Oxford

Citations of this work

First-Order Logic with Adverbs.Tristan Grøtvedt Haze - forthcoming - Logic and Logical Philosophy:1-36.
Possible Worlds as Propositions.Daniel Deasy - forthcoming - The Philosophical Quarterly.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references