The Logic Of Time: A Model-theoretic Investigation Into The Varieties Of Temporal Ontology And Temporal Discourse (synthese Library)
by Johan van Benthem /
2010 / English / DjVu
2.3 MB Download
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.
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.