Unrestricted Quantification and the Structure of Type Theory
“UNRESTRICTED QUANTIFICATION AND THE STRUCTURE OF TYPE THEORY"
(joint work with Nicholas Jones)
November 19th, 2018, 11.00-13.00
Università Vita-Salute San Raffaele
Via Olgettina 58, 20132 Milano
Room: Dibit 2, Room Origene.
Speaker: Salvatore Florio – University of Birmingham
In collaboration between:
IUSS/UniSR PhD Program in Cognitive Neuroscience and Philosophy of Mind
UniSR PhD Program in Philosophy
University of Milan
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 unrestricted quantification is available in all but the most permissive kind of type theory.