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
An axiomatization for the linear logic of knowledge and time LTK r with intransitive time relation
TL;DR: The main result of the article is the proof of the fact that the finite set of formulas proposed by the authors is an axiomatization of the logic LTKr with reflexive intransitive time relation.
4
Hybrid Ockhamist temporal logic
P. Blackburn,Valentin Goranko +1 more
- 14 Jun 2001
TL;DR: This work provides a complete (with respect to bundled trees semantics) axiomatic system for the basic hybrid Ockhamist temporal logic (HOT) and for some of its extensions including the full hybrid Ockshamists temporal logic.
Future Reference and Epistemic Modality in Hindi: The gaa particle
Dave Kush
- 01 Feb 2016
TL;DR: In this article, the interpretation of the Hindi particle gaa, referred to as the ''future tense'' is discussed, and a univocal analysis of gaa is presented that specifies the semantic contribution of the morpheme in both plain future and epistemic utterances.
•Proceedings Article
Cumulativity, Identity and Time in Deontic Logic
Xavier Parent
- 01 Nov 2001
TL;DR: It is shown that the introduction of the futurity dimension is not indispensable in the elimination of the identity principle and an account of defeasible conditional obligation based on the "and next" operator is developed.
4
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