Switch to: References

Citations of:

Double Time References: Speech-act Reports as a Modalitites in an Indeterminist Setting

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 37-58 (2002)

Add citations

You must login to add citations.
  1. The Problem of Index-Initialisation in the Tempo-Modal Semantics.Jacek Wawer - 2019 - Studia Semiotyczne—English Supplement 30:21-41.
    In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization of the semantic index. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Problem ustalania indeksu w semantyce temporalno-modalnej.Jacek Wawer - 2017 - Studia Semiotyczne 31 (1):109-130.
    W ramach semantyk Kripkego dla języków modalnych wartość logiczna zdania może zmieniać się wraz ze zmianą parametru indeksu semantycznego. Oznacza to, że stosując tego typu semantykę do analizy zdań języka naturalnego, musimy wskazać indeks istotny dla analizy semantycznej. Zwykło się przyjmować, że odpowiedni indeks jest ustalany przez kontekst wypowiedzi. Pomysł ten został odrzucony przez semantyków analizujących języki temporalno-modalne w kontekście indeterminizmu, co wygenerowało problem ustalania indeksu. W artykule przedstawię argument owych semantyków, a następnie zarysuję kilka odpowiedzi na problem ustalania indeksu. (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Branching with Uncertain Semantics: Discussion Note on Saunders and Wallace, 'Branching and Uncertainty'.N. Belnap & T. Muller - 2010 - British Journal for the Philosophy of Science 61 (3):681-696.
    (No abstract is available for this citation).
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Two Moves Take Newtonian Determinism to Branching Space-Times.Nuel Belnap - unknown
    “Branching space-times” is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its relativistic theory of spatio-temporal relations; this ability is essential for the representation of local indeterminism. This essay indicates how BST might be seen to grow out of Newton ’s deterministic and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Branching in the Landscape of Possibilities.Thomas Müller - 2012 - Synthese 188 (1):41-65.
    The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby sketching a landscape of possibilities. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Indeterminism is a Modal Notion: Branching Spacetimes and Earman’s Pruning. [REVIEW]T. Placek - 2012 - Synthese 187 (2):441-469.
    The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against the model-theoretic characterization of indeterminism that Montague (1962) introduced into the philosophy of science. It delineates BST branching against the background provided by Earman's (2008) distinction between individual vs. ensemble branching. It describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to criticism leveled against BST by addressing some semantical (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • How Causal Probabilities Might Fit Into Our Objectively Indeterministic World.Matthew Weiner & Nuel Belnap - 2006 - Synthese 149 (1):1-36.
    We suggest a rigorous theory of how objective single-case transition probabilities fit into our world. The theory combines indeterminism and relativity in the “branching space–times” pattern, and relies on the existing theory of causae causantes (originating causes). Its fundamental suggestion is that (at least in simple cases) the probabilities of all transitions can be computed from the basic probabilities attributed individually to their originating causes. The theory explains when and how one can reasonably infer from the probabilities of one “chance (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  • BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Some Problems with the Russellian Open Future.Jacek Wawer - 2018 - Acta Analytica 33 (4):413-425.
    In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Alternatives to Histories? Employing a Local Notion of Modal Consistency in Branching Theories.Thomas Müller - 2014 - Erkenntnis 79 (S3):1-22.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Possibilities Without Possible Worlds/Histories.Tomasz Placek - 2011 - Journal of Philosophical Logic 40 (6):737-765.
    The paper puts forward a theory of historical modalities that is framed in terms of possible continuations rather than possible worlds or histories. The proposal is tested as a semantic theory for a language with historical modalities, tenses, and indexicals.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Perspectival Act Utilitarianism.John Horty - unknown
    This paper works within a particular framework for reasoning about actions—sometimes known as the framework of “stit semantics”—originally due to Belnap and Perloff, based ultimately on the theory of indeterminism set out in Prior’s indeterministic tense logic, and developed in full detail by Belnap, Perloff, and Xu [3]. The issues I want to consider arise when certain normative, or decision theoretic, notions are introduced into this framework: here I will focus on the notion of a right action, and so on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Propensities and Probabilities.Nuel Belnap - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3):593-625.
    Popper’s introduction of ‘‘propensity’’ was intended to provide a solid conceptual foundation for objective single-case probabilities. By considering the partly opposed contributions of Humphreys and Miller and Salmon, it is argued that when properly understood, propensities can in fact be understood as objective single-case causal probabilities of transitions between concrete events. The chief claim is that propensities are well-explicated by describing how they fit into the existing formal theory of branching space-times, which is simultaneously indeterministic and causal. Several problematic examples, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • BH-CIFOL: Case-Intensional First Order Logic: Branching Histories.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (5):835-866.
    This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the familiar (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark