Higher-order logic as metaphysics

In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press (2024)
  Copy   BIBTEX

Abstract

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions.

Author's Profile

Jeremy Goodman
Johns Hopkins University

Analytics

Added to PP
2022-09-01

Downloads
1,296 (#11,550)

6 months
286 (#6,046)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?