Tense logic and time (Q791514): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 12:05, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tense logic and time |
scientific article |
Statements
Tense logic and time (English)
0 references
1984
0 references
This is a survey of recent developments in the logical study of time. The traditional approach in this area employs temporal orders of mathematical points. A systematic logical view is presented of suitable choices for such structures and their governing axioms, both elementary and higher- order. Next, the more recent interval models for time are introduced, in the same manner. Then, the two types of structure turn out to be mathematical duals, in the categorial sense. Various transfer theorems illustrate the back-and-forth mechanism. The resulting combined perspective becomes crucial in applications. Examples are presented concerning Russell's general philosophy of time and Kamp's discourse semantics for temporal constructions in natural language.
0 references
tense logic
0 references
categorical duality
0 references
temporal orders
0 references
interval models for time
0 references
philosophy of time
0 references
discourse semantics for temporal constructions in natural language
0 references