Logic, language, and computation. CSLI lecture notes; no. 58, 96, 111.

Seligman, Jerry:

ISBN 10: 1575861801 / ISBN 13: 9781575861807

Published by Stanford, CSLI Publications, 2000

About this Item

Gebrauchtes Buch aus ehem. Privatbesitz. GUTER Zustand, wenige Gebrauchsspuren. Used book, few traces of use. C07972 9781575861807 Sprache: Englisch Gewicht in Gramm: 1150.

Seller Inventory # 2494293

Bibliographic Details

• Title: Logic, language, and computation. CSLI lecture notes; no. 58, 96, 111.
• Publisher: Stanford, CSLI Publications
• Publication Date: 2000
• Language: English
• ISBN 10: 1575861801
• ISBN 13: 9781575861807
• Binding: Softcover
• Condition: Gut
• Weight: 1150 grams
• Seller catalogs:
  • AA Varia

About this title

Synopsis

Ideas from theoretical computer science continue to have an important influence on areas of philosophy and linguistics. The papers contained in this volume by some of the most influential computer scientists, linguists, logicians and philosophers of today cover subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief. The contributors include: Jon Barwise, who shows how the ideas of channel theory fit in with non-monotonic logic; Jelle Gerbrandy shows how ideas from dynamic logic can be used to study the notion of common knowledge among groups of agents; Wiebe van der Hoek and Maarten de Rijke provide ideas from theoretical computer science to a more philosophical area, belief revision; Rohit Parikh proposes a solution to one of the problems of belief revision; Paul Skokowski discusses Fred Dretske's theory of content; and Thomas Ede Zimmermann discusses the notions of discourse referent and information states.

About the Author

Lawrence S. Moss is professor of mathematics; director of the Program in Pure and Applied Logic; an adjunct professor of computer science, informatics, linguistics, and philosophy; and a member of the Programs in Cognitive Science and Computational Linguistics, all at Indiana University, Bloomington.