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.
|Publisher:||Center for the Study of Language and Inf|
|Series:||Center for the Study of Language and Information - Lecture Notes Series , #120|
|Edition description:||73rd ed.|
|Product dimensions:||6.00(w) x 9.00(h) x 0.60(d)|
About the Author
Cleo Condoravdi is professor of linguistics at Stanford University, specializing in natural language semantics and pragmatics.
Table of Contents
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