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.
Inhaltsverzeichnis
- Part One: Introduction
- 1: Peter Fritz and Nicholas K. Jones: Higher-Order Metaphysics: An Introduction
- 2: Andrew Bacon: A Case for Higher-Order Metaphysics
- 3: Jeremy Goodman: Higher-order logic as metaphysics
- Part Two: Pure
- 4: Andrew Bacon and Cian Dorr: Classicism
- 5: Øystein Linnebo: Reality as tall and ne, not at and coarse
- 6: Laura Crosilla: Constructive Type Theory, An Appetizer
- Part Three: Applied
- 7: Tim Button and Robert Trueman: A fictionalist theory of universals
- 8: Maegan Fairchild: Symmetry and Hybrid Contingentism
- 9: Harvey Lederman: Higher-order metaphysics and propositional attitudes
- Part Four: History
- 10: Kevin C. Klement: Higher-Order Metaphysics in Frege and Russell
- 11: Fraser MacBride: Against Second-Order Logic: Quine and Beyond
- 12: Adriane Rini: Ordinary Language meets Higher-Order Quantication
- Part Five: Discussion
- 13: Christopher Menzel: Pure Logic and Higher-order Metaphysics
- 14: Timothy Williamson: Menzel on Pure Logic and Higher-Order Metaphysics
- 15: Bryan Pickel: Against Second-Order Primitivism
- 16: Timothy Williamson: Pickel against Second-Order Primitivism
- 17: Agustín Rayo: Why I am not an Absolutist (or a First-Orderist)