Cloth $67.50 ISBN: 9781575864051 Published July 2002
Paper $26.00 ISBN: 9781575864068 Published July 2002

Words, Proofs and Diagrams

Edited by Dave Barker-Plummer, David I. Beaver, Johan van Benthem, and Patrick S

Words, Proofs and Diagrams
Bookmark and Share

Edited by Dave Barker-Plummer, David I. Beaver, Johan van Benthem, and Patrick S

Distributed for Center for the Study of Language and Information

286 pages | 6 x 9 | © 2002
Cloth $67.50 ISBN: 9781575864051 Published July 2002
Paper $26.00 ISBN: 9781575864068 Published July 2002
The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields are studying the same problem. Specifically, a common concern amongst researchers today is how logic sheds light on the nature of information. Ancient questions concerning how humans communicate, reason and decide, and modern questions about how computers should communicate, reason and decide are of prime interest to researchers in various disciplines.

Words, Proofs and Diagrams is a collection of papers covering active research areas at the interface of logic, computer science, and linguistics. Readers of the volume will find traditional research on process logics, issues in formal semantics, and language processing. In addition, the volume also highlights a particularly new area where all three disciplines meet—the study of images and graphics as information carriers and the diagrammatic reasoning supported by them.
Contents
Contributors
Foreword
I. Diagrammatic Reasoning
Editorial Introduction
Dave Barker-Plummer
Logical Patterns in Space
Marco Aiello and Johan van Benthem
Diagrams and Computational Efficacy
Kathi Fisler
Comparing the Efficacy of Visual Languages
Oliver Lemon
II. Computation
Editorial Introduction
Johan van Benthem
Taking the Sting out of Subjective Probability
Peter Grünwald
Constraint Programming in Computational Linguistics
Alexander Koller and Joachim Niehren
Lineales: Algebras and Categories in the Semantics of Linear Logic
Valeria de Paiva
Proof Tree Automata
Hans-Joerg Tiede
III. Logic and Language
Editorial Introduction
David I. Beaver
Questions Under Cover
Maria Aloni
Pragmatics, and That's an Order
David I. Beaver
Meaning, Interpretation and Semantics
Martin Stokhof
On the Compositionality of Idioms
Dag Westerståhl
Index
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed