Skip to main content

Distributed for Center for the Study of Language and Information

Logical Perspectives on Language and Information

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.

255 pages | 6 x 9 | © 2001

Lecture Notes

Language and Linguistics: General Language and Linguistics

Philosophy: Logic and Philosophy of Language


Table of Contents

Contributors
Preface
1. Non-novel Indefinites in Adverbial Quantification - Manfred Krifka
2. Dependent Indefinites and Direct Scope - Donka F. Farkas
3. Universal Concessive Conditionals and Alternative NPs in English - Jean Mark Gawron
4. Information Articulation and Truth Conditions of Existential Sentences - Yookyung Kim
5. Cofinal Circumscription - Tom Costello
6. A Logic of Vision: Preliminaries - Michiel van Lambalgen and Jaap van der Does
7. A Logic of Modification and Creation - Gerard R. Renardel de Lavalette
8. Model Checking and Deduction for Infinite-State Systems - Henny B. Sipma, Tomas E. Uribe and Zohar Manna
Index

Be the first to know

Get the latest updates on new releases, special offers, and media highlights when you subscribe to our email lists!

Sign up here for updates about the Press