Special Session
Conceptions of absolute generality
On-site
What is absolutely unrestricted quantification? Recent work on the possibility of absolute generality has highlighted that there are different legitimate answers to this question. Relying especially on [1], [2], and [3], I explore some of these answers, and their relations, in the context of different forms of type theory. The result is an initial analysis of different conceptions of absolute generality and of the theoretical value of the corresponding kinds of generalization.
References
- [1]
- Salvatore Florio and Nicholas K. Jones, Unrestricted quantification and the structure of type theory, Philosophy and Phenomenological Research, vol. 102 (2021), no. 1, pp. 44–64.
- [2]
- Tim Button and Robert Trueman, Against cumulative type theory, The Review of Symbolic Logic, forthcoming.
- [3]
- Salvatore Florio and Nicholas K. Jones, Two conceptions of absolute generality, manuscript.
This document was translated from LATEX by HEVEA.