The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

The subject of Time has a wide intellectual appeal across different disĀ­ ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility.

Author(s): Johan van Benthem
Series: Synthese Library 156
Edition: 2nd
Publisher: Springer
Year: 1991

Language: English
Pages: 312
Tags: Logic; Computational Linguistics; Mathematical Logic and Foundations; Artificial Intelligence (incl. Robotics)

Front Matter....Pages i-xxii
Front Matter....Pages 1-1
Primitive Notions....Pages 3-13
Points....Pages 14-57
Periods....Pages 58-79
Points and Periods....Pages 80-112
Events....Pages 113-124
Front Matter....Pages 125-126
Choice of Languages....Pages 127-135
Instant Tense Logic....Pages 136-192
Extended Tense Logic....Pages 193-218
Point Talk and Period Talk....Pages 219-229
Back Matter....Pages 230-290