Unrestricted quantification and the structure of type theory

Salvatore Florio, Nicholas Jones

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
151 Downloads (Pure)

Abstract

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that un- restricted quantification is available in all but the most permissive kind of type theory.
Original languageEnglish
Pages (from-to)44-64
Number of pages21
JournalPhilosophy and Phenomenological Research
Volume102
Issue number1
Early online date8 Aug 2019
DOIs
Publication statusPublished - Jan 2021

ASJC Scopus subject areas

  • Philosophy
  • History and Philosophy of Science

Fingerprint

Dive into the research topics of 'Unrestricted quantification and the structure of type theory'. Together they form a unique fingerprint.

Cite this