Alice ter Meulen integrates current research in natural language semantics with detailed analyses of English discourse and logical tools into an information theory that provides the foundation for computational systems to reason about change and the flow of time. She offers a systematic account of how we use temporal information contained in a text or in discourse to reason about the flow of time. A new representational toolkit is designed to formalize an appropriately context-dependent notion of situated inference.
The combined study of logic and language goes back at least as far as the Middle Ages. In the last twenty-five years it has gained momentum with the formulation of Montague semantics and Generative Syntax, and the subsequent diversification of research programs.
The Handbook of Logic and Language is the first comprehensive survey of the field. The twenty chapters show both sides of the interaction between logic and language: how logical systems are designed and modified in response to linguistic needs, and how mathematical theory arises out of this process and affects subsequent linguistic theory.
Contributors: N. Asher, D. Beaver, W. Buszkowski, D. de Jongh, J. E. Fenstad, J. Groenendijk, H. Hendriks, J. Higginbotham, J. Hintikka, T. M. V. Janssen, H. Kamp, E. J. Keenan, J. T. Lønning, E. Martin, M. J. Moortgat, L. S. Moss, R. Muskens, D. Osherson, B. H. Partee, F. J. Pelletier, W. C. Rounds, G. Sandu, J. Seligman, M. Steedman, M. Stokhof, R. H. Thomason, R. Turner, J. van Benthem, J. van Eijck, A. Visser, D. Westerståhl