![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Unrestricted Quantification and the Structure of Type Theory
Unrestricted Quantification and the Structure of Type TheoryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Noam Zeilberger. 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. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsEPS - College Research Teas Medical Imaging Research Seminars Astrophysics Talks SeriesOther talksTBA TBA Wave turbulence in the Schrödinger-Helmholtz equation Life : it’s out there, but what and why ? Ultrafast Spectroscopy and Microscopy as probes of Energy Materials Control variates for computing transport coefficients |