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
Schedules in a Temporal Interpretation of Modals
TL;DR: The temporal interpretation of modals in Condoravdi 2002 is reformulated to bring out what it is about eventualities and worlds that is essential to the account.
7
Essays in formal metaphysics
Daniel Rubio
- 01 Jan 2019
TL;DR: In this article, the dissertation essays in formal metaphysics are annotated with abstractions from formal metaphysics and formal logic, including the following abstractions and definitions:
7
In defense of the timeless solution to the problem of human free will and divine foreknowledge
Ciro De Florio,Aldo Frigerio +1 more
TL;DR: In this paper, the authors defend a particular version of the timeless solution to the problem of divine foreknowledge and human freedom, grounded on a particular temporal framework, which models the flow of time and a libertarian understanding of freedom.
7
A Temporal Logic for Sortals
TL;DR: In this paper, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated, and a completeness proof for the system is constructed and its absolute consistency proved.
7
Taking agents seriously
TL;DR: The background to and nature of stit are set out, including a discussion of agentive sentences, branching time semantics, and the semantics specific to stit.
7
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