The Proper Treatment of EventsISBN: 978-1-4051-1213-0
Hardcover
264 pages
January 2005, Wiley-Blackwell
This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.
Other Available Formats: Paperback
|
Preface.
Part I: Time, events and cognition.
Chapter 1: Time.
Psychology of time.
Why do we have the experience of time at all?.
Chapter 2: Events and time.
The analogy between events and objects.
The Russell-Kamp construction of time from events.
Walker’s construction.
Richer languages for events.
Some linguistic applications.
**Continuous time from events.
Conclusion.
Chapter 3: Language, time and planning.
Part II: The formal apparatus.
Chapter 4: Events formalized.
A calculus of events.
The axiom system EC.
Scenarios.
Minimal models.
Chapter 5: Computing with time and events.
Logic programming with constraints.
Minimal models revisited.
How to get to the other side of a street.
**When do causes take effect?.
Exercises for chapters 4 and 5.
Da capo, with feeling.
Chapter 6: Finishing touches.
Coding VPs as fluents and events.
Consistency, truth and partiality.
Part III: A marriage made in heaven – linguistics and robotics.
Chapter 7: Aktionsart.
Eventualities.
Formal definition of Aktionsarten.
Perfective and imperfective eventualities.
Chapter 8: Tense.
Reichenbach’s reference time R.
Event time and the sentence.
Present tense.
Past tense.
Future tense.
Exercises.
Chapter 9: Tense in French: Passé Simple and Imparfait.
Introduction.
Data.
Formalizing the Passé Simple and Imparfait.
Coda.
Exercises.
Chapter 10: Grammatical aspect.
The perfect.
The progressive.
**A computational proof.
Comments on the literature.
Exercises.
Chapter 11: Coercion.
Additive coercion.
Subtractive coercion.
Cross–coercion.
Temporal adverbials: ‘in’ and ‘for’.
Coercion and intensionality.
Exercises.
Chapter 12: Nominalization.
Two types of English Gerunds.
History of the English gerundive system.
Nominalizations formalized I: Denotation types.
Nominalizations formalized II: Lexical meaning.
Chapter 13: Appendix: the basics of logic programming.
Logic programming for propositional logic.
Logic programming for predicate logic.
References.
Index.