| Sumario: | The last decade has seen a resurgence of interest in the use of higher-order logics in metaphysics. Characteristic of this trend is the use of higher-order languages to formulate metaphysical views and arguments. We call such uses of higher-order logic in metaphysics “higher-order metaphysics”. Often, higher-order quantifiers are used to formalize talk of propositions, properties and relations. This is the first volume of papers on this field, comprising 17 new essays by many of the leading contributors. The articles in this volume introduce and motivate higher-order metaphysics, discuss different choices of higher-order languages and logics, apply higher-order logic to a number of central metaphysical topics, discuss the history of higher-order logic in metaphysics, and debate the arguments for and against using higher-order logic in metaphysics --
|
|---|
