People are very creative in their use of language. This observation was made convincingly by Chomsky in the 1950s and is generally accepted in the scientific communities concerned with the study of language. Computers, on the other hand, are neither creative, flexible, nor adaptable. This is in spite of the fact that their ability to process language is based largely on the grammars developed by linguists and computer scientists. Thus, there is a mismatch between the observed human creativity and our ability as theorists to explain it. Language at Work examines grammars and other descriptions of language by combining the scientific and the practical. The scientific motivation is to unite distinct intellectual traditions, mathematics and descriptive social science, which have tried to provide an adequate explanation of language and its use on their own to no avail. This volume argues that Situation Theory, a theory of information couched in mathematics, has provided a uniform framework for the investigation of the creative aspects of language use. The application of Situation Theory in the study of language use in everyday communication to improve human/computer interaction is explored and espoused.

This volume is an outgrowth of the second Workshop on Logic, Language and Computation held at Stanford in the spring of 1993. The workshop brought together researchers interested in natural language to discuss the current state of the art at the borderline of logic, linguistics and computer science. The papers in this collection fall into three central research areas of the nineties, namely quantifiers, deduction, and context. Each contribution reflects an ever-growing interest in a more dynamic approach to meaning, which focuses on inference patterns and the interpretation of sentences in the context of a larger discourse. The papers apply either current logical machinery - such as linear logic, generalised quantifier theory, dynamic logic - or formal analyses of the notion of context in discourse to classical linguistic issues, with original and thought-provoking results deserving of a wide audience.

Situation theory and situation semantics are recent approaches to language and inforamtion, approaches first formulated by Jon Barwise amd John Perry in Situations and Attitudes (1983). The present volume collects some of Barwise's papers written since then, those directly concerned with relations between logic, situation theory, and situation semantics. Several appers appear here mfor the first time. JON BARWISE is director of the Symbolic Systems Program and professor of philosophy at Stanford University and a researcher at CSLI.