The rapid innovations in digital technology deeply influence views on language and information processing. These exciting developments raise many questions for researchers, and shed new light on old approaches. Researchers are drawn to closely investigate the relation between form and content, the ways that linguistic utterances change information content, and the dynamics of information change. Logic, as an established method of valid argumentation, is a tool that researchers can use to gain insight in these questions of language and computation.
In answer to these linguistic and computational questions, this book presents a broad range of logical investigations into language and information processing. The topics surveyed include the notion of 'reasonable belief' in commonsense reasoning, perceptual reports in natural languages, and the logic of creation and modification of objects. The book also presents work on the verification of temporal aspects of reactive systems, analysis of scope by combining model theory and situation semantics and semantic analysis of the information articulation of linguistic statements. This volume exemplifies the abundant development of logical methods and tools in an interdisciplinary context.
is a researcher at the Xerox Palo Alto Research Center and a consulting assistant professor at Stanford. is in the department of computer science at Groningen University. Read an excerpt from this book.
- 1 Non-novel Indefinites in Adverbial Quantification
- 2 Dependent Indefinites and Direct Scope
- 3 Universal Concessive Conditionals and Alternative NPs in English
- 4 Information Articulation and Truth Conditions of Existential Sentences
- 5 Cofinal Circumscription
- 6 A Logic of Vision: Premliminaries
- 7 A Logic of Modification and Creation
- 8 Model Checking and Deduction for Infinite-State Systems