CSLI Publications logo
new books
catalog
series
knuth books
contact
for authors
order
search
CSLI Publications
Facebook
 
Logical Perspectives on Language and Information cover

Logical Perspectives on Language and Information

edited by Cleo Condoravdi and Gerard Renardel de Lavalette

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.

Cleo Condoravi is a researcher at the Xerox Palo Alto Research Center and a consulting assistant professor at Stanford. Gerard Renardel de Lavalette is in the department of computer science at Groningen University.

Read an excerpt from this book.

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: Premliminaries 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. Simpa, Tom ás E. Uribe and Zohar Manna
  • Index

3/1/2001

ISBN (Paperback): 1575862840 (9781575862842)
ISBN (Cloth): 1575862832 (9781575862835)

Subject: Language and logic

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu