Part One: Introduction1. Higher-Order Metaphysics: An Introduction, Peter Fritz and Nicholas K. Jones2. A Case for Higher-Order Metaphysics, Andrew Bacon3. Higher-order logic as metaphysics, Jeremy GoodmanPart Two: Pure4. Classicism, Andrew Bacon and Cian Dorr5. Reality as tall and ne, not at and coarse, Ã~ystein Linnebo6. Constructive Type Theory, An Appetizer, Laura CrosillaPart Three: Applied7.

A fictionalist theory of universals, Tim Button and Robert Trueman8. Symmetry and Hybrid Contingentism, Maegan Fairchild9. Higher-order metaphysics and propositional attitudes, Harvey LedermanPart Four: History10. Higher-Order Metaphysics in Frege and Russell, Kevin C. Klement11. Against Second-Order Logic: Quine and Beyond, Fraser MacBride12. Ordinary Language meets Higher-Order Quantication, Adriane RiniPart Five: Discussion13. Pure Logic and Higher-order Metaphysics, Christopher Menzel14.

Menzel on Pure Logic and Higher-Order Metaphysics, Timothy Williamson15. Against Second-Order Primitivism, Bryan Pickel16. Pickel against Second-Order Primitivism, Timothy Williamson17. Why I am not an Absolutist (or a First-Orderist), Agustín Rayo.