El. knyga: Proper Treatment of Events [Wiley Online]

Figures		ix
Preface		xi
Part I Time, Events, and Cognition		1	(32)
Time		3	(12)
Psychology of Time		4	(6)
Why Do We Have the Experience of Time at All?		10	(5)
Events and Time		15	(12)
The Analogy Between Events and Objects		15	(2)
The Russell-Kamp Construction of Time from Events		17	(3)
Walker's Construction		20	(1)
Richer Languages for Events		21	(2)
Some Linguistic Applications		23	(2)
Continuous Time from Events		25	(1)
Conclusion		26	(1)
Language, Time, and Planning		27	(6)
Part II The Formal Apparatus		33	(46)
Events Formalized		35	(14)
A Calculus of Events		36	(3)
The Axiom System EC		39	(4)
Scenarios		43	(4)
Minimal Models		47	(2)
Computing with Time and Events		49	(22)
Logic Programming with Constraints		52	(4)
Minimal Models Revisited		56	(5)
How to Get to the Other Side of a Street		61	(2)
When Do Causes Take Effect?		63	(1)
Da Capo, with Feeling		64	(7)
Exercises for Chapters 4 and 5		67	(4)
Finishing Touches		71	(8)
Coding VPs as Fluents and Events		71	(2)
Consistency, Truth, and Partiality		73	(6)
Part III A Marriage Made in Heaven -- Linguistics and Robotics		79	(150)
Aktionsart		83	(14)
Eventualities		84	(1)
Formal Definition of Aktionsarten		85	(8)
Perfective and Imperfective Eventualities		93	(4)
Tense		97	(34)
Reichenbach's Reference Time R		98	(6)
Event Time and the Sentence		104	(1)
Present Tense		105	(4)
Past Tense		109	(5)
Future Tense		114	(17)
Exercises		129	(2)
Tense in French: Passe Simple and Imparfait		131	(20)
Introduction		131	(1)
Data		132	(6)
Formalizing the Passe Simple and Imparfait		138	(11)
Coda		149	(2)
Exercises		150	(1)
Grammatical Aspect		151	(18)
The Perfect		151	(5)
The Progressive		156	(4)
A Computational Proof		160	(1)
Comments on the Literature		160	(9)
Exercises		168	(1)
Coercion		169	(16)
Additive Coercion		171	(1)
Subtractive Coercion		172	(1)
Cross-Coercion		173	(4)
Temporal Adverbials: `in' and `for'		177	(4)
Coercion and Intensionality		181	(4)
Exercises		183	(2)
Nominalization		185	(44)
Two Types of English Gerunds		185	(11)
History of the English Gerundive System		196	(9)
Nominalizations Formalized I: Denotation Types		205	(16)
Nominalizations Formalized II: Lexical Meaning		221	(8)
Exercises		224	(5)
Appendix: The Basics of Logic Programming		229	(10)
Logic Programming for Propositional Logic		230	(6)
Logic Programming for Predicate Logic		236	(3)
References		239	(6)
Index		245

Michiel van Lambalgen is Professor of Logic and Cognitive Science at the University of Amsterdam.





Fritz Hamm is Assistant Professor of General Linguistics at the University of Tübingen.