PhilSci Archive

Alternatives to histories? Employing a local notion of modal consistency in branching theories

Müller, Thomas (2011) Alternatives to histories? Employing a local notion of modal consistency in branching theories. [Preprint]

PDF - Accepted Version
Download (514Kb) | Preview


    Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories--complete possible courses of
    events--ground the notion of modal consistency: a set of events is modally consistent iff there is a history containing that set.

    We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, "big" objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the
    common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time.

    Export/Citation:EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
    Social Networking:

    Item Type: Preprint
    Keywords: modality, consistency, branching histories, transitions, future contingents
    Subjects: General Issues > Determinism/Indeterminism
    Specific Sciences > Physics > Relativity Theory
    Depositing User: Dr. Thomas Müller
    Date Deposited: 19 Nov 2011 04:51
    Last Modified: 19 Nov 2011 04:51
    Item ID: 8908

    Actions (login required)

    View Item

    Document Downloads