Book Chapter10.1007/978-94-017-0462-5_3
Combinations of Tense and Modality
Richmond H. Thomason
- 01 Jan 2002
- pp 205-234
296
TL;DR: The case in which all functions from times to world-states are allowed is uninteresting; there are too many such functions, and the theory has not begun until we have begun to restrict them.
read more
Abstract: Physics should have helped us to realise that a temporal theory of a phenomenon X is, in general, more than a simple combination of two components: the statics of X and the ordered set of temporal instants. The case in which all functions from times to world-states are allowed is uninteresting; there are too many such functions, and the theory has not begun until we have begun to restrict them. And often the principles that emerge from the interaction of time with the phenomena seem new and surprising. The most dramatic example of this, perhaps, is the interaction of space with time in relativistic space-time.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL*
Philippe Balbiani,Emiliano Lorini +1 more
- 20 Aug 2013
TL;DR: The semantics on which OPDL is based provides a unifying framework for making the dynamic logic family and the temporal logic family converge in a single logical framework.
Indexed flows in temporal /spl times/ modal logic with functional semantics
Alfredo Burrieza,I.P. de Guzman,E. Munoz +2 more
- 07 Jul 2002
TL;DR: A new kind of frame that extends the one introduced in Burrieza et al. (2002) is studied, whose semantics are given by ind-functional frames in which accessibility functions are used in order to interconnect time-flows.
5
Performative updates and the modeling of speech acts
TL;DR: A way to model performative speech acts within a framework of dynamic semantics is developed, introducing a distinction between performative and informative updates, where informative updates filter out indices of context sets, whereas performative updates change their indices.
5
The abundance of the future. A paraconsistent approach to future contingents
Roberto Ciuni,Carlo Proietti +1 more
TL;DR: In this article, the authors explore the notion of abundance of the future and show that the logic resulting from it is a non-adjunctive paraconsistent formalism based on subvaluations, which preserves some important features of classical logic when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum.
References
Scorekeeping in a Language Game
TL;DR: It’s not as easy as you might think to say something that will be unacceptable for lack of required presuppositions, and straightway that presupposition springs into existence, making what you said acceptable after all.
2.2K
A Theory of Conditionals
Robert Stalnaker
- 01 Jan 1968
TL;DR: A conditional sentence expresses a proposition which is a function of two other propositions, yet not one which is truth function of those propositions as mentioned in this paper, which has given rise to a number of philosophical problems.
1.9K
The Many-worlds interpretation of quantum mechanics
Bryce S. DeWitt,Neill Graham +1 more
- 31 Jan 2015
TL;DR: This volume contains Dr. Everett's short paper from 1957, "'Relative State' Formulation of Quantum Mechanics," and a far longer exposition of his interpretation, entitled "The Theory of the Universal Wave Function," never before published.
1.4K
Counterfactual Dependence and Time’s Arrow
TL;DR: In fact, it is at best doubtful whether the past depends counterfactually on the present, whether the present depends on the future, and in general whether the way things are earlier depends on how things will be later.
What ‘must’ and ‘can’ must and can mean
TL;DR: This paper argues for a relative concept of modality underlying modal words like ‘must’ and ‘can’ in natural language and gives preliminary definitions of the meaning of these words which are formulated in terms of logical consequence and compatibility, respectively.
1K
Related Papers (5)
Nuel D. Belnap,Michael Perloff +1 more
Nuel D. Belnap,Mitchell S. Green +1 more
Angelika Kratzer
- 28 Jan 2008