Quantifiers, Deduction, and Context

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.

This collection comprises the most recent innovations in logic, linguistics and computer science.