Transition Semantics for Branching Time

Rumberg, Antje

Transition Semantics for Branching Time

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2016

Autor:innen

Rumberg, Antje

DOI (zitierfähiger Link)

10.1007/s10849-015-9231-6

EU-Projektnummer

263227

Projekt

Indeterminism Ltd. An intervention on the free will debate

Sammlungen

Philosophie
Linguistik

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

Journal of Logic, Language and Information ; 25 (2016), 1. - S. 77-108. - ISSN 0925-8531. - eISSN 1572-9583

Zusammenfassung

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth.

Fachgebiet (DDC)

100 Philosophie

Zitieren

ISO 690

RUMBERG, Antje, 2016. Transition Semantics for Branching Time. In: Journal of Logic, Language and Information. 25(1), pp. 77-108. ISSN 0925-8531. eISSN 1572-9583. Available under: doi: 10.1007/s10849-015-9231-6

BibTex

@article{Rumberg2016-03Trans-33624,
  year={2016},
  doi={10.1007/s10849-015-9231-6},
  title={Transition Semantics for Branching Time},
  number={1},
  volume={25},
  issn={0925-8531},
  journal={Journal of Logic, Language and Information},
  pages={77--108},
  author={Rumberg, Antje}
}

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/33624">
    <dcterms:abstract xml:lang="eng">In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth.</dcterms:abstract>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:issued>2016-03</dcterms:issued>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/45"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Rumberg, Antje</dc:contributor>
    <dcterms:title>Transition Semantics for Branching Time</dcterms:title>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/45"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/33624"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2016-04-20T07:09:47Z</dc:date>
    <dc:language>eng</dc:language>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2016-04-20T07:09:47Z</dcterms:available>
    <dc:creator>Rumberg, Antje</dc:creator>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja