- ホーム
- > 洋書
- > 英文書
- > Philosophy
Full Description
This volume explores the use of higher-order logics in metaphysics. Higher-order logics are natural extensions of the common systems of predicate logic, with a history going back to the very beginnings of formal logic. Such logics are well suited to formalize metaphysical views and arguments. Over the last decade, there has been a resurgence of interest in higher-order metaphysics.
Seventeen original essays are grouped under five headings. Three introductory chapters present higher-order languages and motivate their use in metaphysics. Three chapters on pure higher-order metaphysics discuss different options of higher-order languages and logics which may be used in metaphysics. Three chapters on applied higher-order metaphysics consider the application of higher-order logic to various central topics of metaphysics. Three historical chapters trace the development of higher-order logic as it relates to metaphysics over the last 150 years. The volume concludes with a discussion, containing two chapters criticizing the use of higher-order logic in metaphysics, as well as responses to these criticisms by two authors.
Contents
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)
