SOPhiA 2022

Salzburgiense Concilium Omnibus Philosophis Analyticis

SOPhiA ToolsDE-pageEN-page

Programm - Vortrag

A Vindication of the Universal Set
(Logic/Philosophy of Mathematics, Englisch)

The universal set is the set of absolutely everything. It serves as a domain for absolutely unrestricted quantification and as the extension of the most general concepts, like OBJECT. This notion is metaphysically appealing and useful, but is beset by paradoxes. Quine's "New Foundations" (NF) system is the most well-known set theory which admits a universal set as a bona fide and (apparently) paradox-free object. I will defend NF from the common charge that it is unmotivated and artificial. To do this I advance two arguments. First, that NF can be regarded as a development of the "logical" conception of sets, as opposed to the "iterative" conception embodied by Zermelo-Fraenkel and related systems. Second, that NF inherits (and actually surpasses) the intuitive motivation of type theory. Both the iterative and the logical conceptions of set, I will maintain, are equally valid notions of set and can coexist peacefully on a pluralist (or more precisely dualist) approach to the philosophy of sets. If this is a cogent view, then the notion of a universal set should not be said to be intrinsically incoherent, and is thereby vindicated as suitable for the aforementioned theoretical roles.

Chair: Leon Commandeur
Zeit: 12:00-12:30, 09. September 2022 (Freitag)
Ort: SR 1.006

Alejandro Gracia Di Rienzo
(University of Santiago de Compostela , Spain)

Testability and Meaning deco