Universism and Extensions of V

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

ANTOS, Carolin, Neil BARTON, Sy-David FRIEDMAN, 2021. Universism and Extensions of V. In: The Review of Symbolic Logic. Cambridge University Press. 14(1), pp. 112-154. ISSN 1755-0203. eISSN 1755-0211. Available under: doi: 10.1017/S1755020320000271

@article{Antos2021Unive-54381, title={Universism and Extensions of V}, year={2021}, doi={10.1017/S1755020320000271}, number={1}, volume={14}, issn={1755-0203}, journal={The Review of Symbolic Logic}, pages={112--154}, author={Antos, Carolin and Barton, Neil and Friedman, Sy-David} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/54381"> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-07-21T15:16:11Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:contributor>Antos, Carolin</dc:contributor> <dc:creator>Friedman, Sy-David</dc:creator> <dc:creator>Antos, Carolin</dc:creator> <dc:creator>Barton, Neil</dc:creator> <dcterms:abstract xml:lang="eng">A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by providing a hitherto unexamined way for a Universist to interpret talk that seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist.</dcterms:abstract> <dcterms:title>Universism and Extensions of V</dcterms:title> <dc:contributor>Friedman, Sy-David</dc:contributor> <dcterms:issued>2021</dcterms:issued> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/54381"/> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/52"/> <dc:contributor>Barton, Neil</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-07-21T15:16:11Z</dc:date> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/52"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account