New Foundations for Branching Space-Times
| dc.contributor.author | Belnap, Nuel | |
| dc.contributor.author | Müller, Thomas | |
| dc.contributor.author | Placek, Tomasz | |
| dc.date.accessioned | 2020-09-11T09:15:20Z | |
| dc.date.available | 2020-09-11T09:15:20Z | |
| dc.date.issued | 2021-04 | |
| dc.description.abstract | The theory of branching space-times, put forward by Belnap (Synthese 92, 1992), considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the (local) possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is interesting to develop a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. | eng |
| dc.description.version | published | de |
| dc.identifier.doi | 10.1007/s11225-020-09905-2 | eng |
| dc.identifier.ppn | 1755385862 | |
| dc.identifier.uri | https://kops.uni-konstanz.de/handle/123456789/50796 | |
| dc.language.iso | eng | eng |
| dc.rights | Attribution 4.0 International | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.subject.ddc | 100 | eng |
| dc.title | New Foundations for Branching Space-Times | eng |
| dc.type | JOURNAL_ARTICLE | de |
| dspace.entity.type | Publication | |
| kops.citation.bibtex | @article{Belnap2021-04Found-50796,
year={2021},
doi={10.1007/s11225-020-09905-2},
title={New Foundations for Branching Space-Times},
number={2},
volume={109},
issn={0039-3215},
journal={Studia Logica},
pages={239--284},
author={Belnap, Nuel and Müller, Thomas and Placek, Tomasz}
} | |
| kops.citation.iso690 | BELNAP, Nuel, Thomas MÜLLER, Tomasz PLACEK, 2021. New Foundations for Branching Space-Times. In: Studia Logica. Springer. 2021, 109(2), pp. 239-284. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-020-09905-2 | deu |
| kops.citation.iso690 | BELNAP, Nuel, Thomas MÜLLER, Tomasz PLACEK, 2021. New Foundations for Branching Space-Times. In: Studia Logica. Springer. 2021, 109(2), pp. 239-284. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-020-09905-2 | eng |
| kops.citation.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#" >
<rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/50796">
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-09-11T09:15:20Z</dcterms:available>
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/50796/1/Belnap_2-1kyghv5od8l5d5.pdf"/>
<dc:rights>Attribution 4.0 International</dc:rights>
<dcterms:issued>2021-04</dcterms:issued>
<dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/>
<dc:creator>Müller, Thomas</dc:creator>
<dc:contributor>Placek, Tomasz</dc:contributor>
<dc:contributor>Belnap, Nuel</dc:contributor>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dc:language>eng</dc:language>
<dc:contributor>Müller, Thomas</dc:contributor>
<dcterms:title>New Foundations for Branching Space-Times</dcterms:title>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dc:creator>Placek, Tomasz</dc:creator>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/50796/1/Belnap_2-1kyghv5od8l5d5.pdf"/>
<dc:creator>Belnap, Nuel</dc:creator>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/50796"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-09-11T09:15:20Z</dc:date>
<dcterms:abstract xml:lang="eng">The theory of branching space-times, put forward by Belnap (Synthese 92, 1992), considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the (local) possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is interesting to develop a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle.</dcterms:abstract>
</rdf:Description>
</rdf:RDF> | |
| kops.description.openAccess | openaccesshybrid | eng |
| kops.flag.isPeerReviewed | true | eng |
| kops.flag.knbibliography | true | |
| kops.identifier.nbn | urn:nbn:de:bsz:352-2-1kyghv5od8l5d5 | |
| kops.sourcefield | Studia Logica. Springer. 2021, <b>109</b>(2), pp. 239-284. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-020-09905-2 | deu |
| kops.sourcefield.plain | Studia Logica. Springer. 2021, 109(2), pp. 239-284. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-020-09905-2 | deu |
| kops.sourcefield.plain | Studia Logica. Springer. 2021, 109(2), pp. 239-284. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-020-09905-2 | eng |
| relation.isAuthorOfPublication | 63074fc8-db93-42c7-afb8-32486f9fcacc | |
| relation.isAuthorOfPublication.latestForDiscovery | 63074fc8-db93-42c7-afb8-32486f9fcacc | |
| source.bibliographicInfo.fromPage | 239 | |
| source.bibliographicInfo.issue | 2 | |
| source.bibliographicInfo.toPage | 284 | |
| source.bibliographicInfo.volume | 109 | |
| source.identifier.eissn | 1572-8730 | eng |
| source.identifier.issn | 0039-3215 | eng |
| source.periodicalTitle | Studia Logica | eng |
| source.publisher | Springer | eng |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- Belnap_2-1kyghv5od8l5d5.pdf
- Größe:
- 581.12 KB
- Format:
- Adobe Portable Document Format
- Beschreibung:
