## Forcing and the Universe of Sets : Must We Lose Insight?

No Thumbnail Available
##### Files
There are no files associated with this item.
2020
Journal article
Published
##### Published in
Journal of Philosophical Logic ; 49 (2020), 4. - pp. 575-612. - Springer. - ISSN 0022-3611. - eISSN 1573-0433
##### Abstract
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 forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems to necessitate the addition of subsets 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 analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions.
100 Philosophy
##### Keywords
Foundations of mathematics, Set theory, Forcing, Potentialism, Multiversism
##### Cite This
ISO 690BARTON, Neil, 2020. Forcing and the Universe of Sets : Must We Lose Insight?. In: Journal of Philosophical Logic. Springer. 49(4), pp. 575-612. ISSN 0022-3611. eISSN 1573-0433. Available under: doi: 10.1007/s10992-019-09530-y
BibTex
@article{Barton2020Forci-52665,
year={2020},
doi={10.1007/s10992-019-09530-y},
title={Forcing and the Universe of Sets : Must We Lose Insight?},
number={4},
volume={49},
issn={0022-3611},
journal={Journal of Philosophical Logic},
pages={575--612},
author={Barton, Neil}
}

RDF
<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#" >
<dc:rights>terms-of-use</dc:rights>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dc:creator>Barton, Neil</dc:creator>
<dc:language>eng</dc:language>
<dc:contributor>Barton, Neil</dc:contributor>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-01T12:39:20Z</dc:date>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-01T12:39:20Z</dcterms:available>
<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 forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems to necessitate the addition of subsets 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 analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions.</dcterms:abstract>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<dcterms:title>Forcing and the Universe of Sets : Must We Lose Insight?</dcterms:title>
<dcterms:issued>2020</dcterms:issued>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52665"/>
</rdf:Description>
</rdf:RDF>

Yes
Yes