Words, Proofs and Diagrams

by Barker-Plummer, Dave; Beaver, David I.; Van Benthem, Johan; Di Luzio, Patrick Scotto

• ISBN13: 9781575864068
• ISBN10: 1575864061
• Format: Paperback
• Copyright: 2002-07-01
• Publisher: Stanford Univ Center for the Study

Summary

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.

Table of Contents

Contributors	vii
Foreword	ix
Diagrammatic Reasoning
Editorial Introduction	1	(4)
Dave Barker-Plummer
Logical Patterns in Space	5	(22)
Marco Aiello
Johan van Benthem
Diagrams and Computational Efficacy	27	(20)
Kathi Fisler
Comparing the Efficacy of Visual Languages	47	(28)
Oliver Lemon
Computation
Editorial Introduction	71	(4)
Johan van Benthem
Taking the Sting out of Subjective Probability	75	(20)
Peter Grunwald
Constraint Programming in Computational Linguistics	95	(28)
Alexander Koller
Joachim Niehren
Lineales: Algebras and Categories in the Semantics of Linear Logic	123	(20)
Valeria de Paiva
Proof Tree Automata	143	(24)
Hans-Joerg Tiede
Logic & Language
Editorial Introduction	163	(4)
David I. Beaver
Questions Under Cover	167	(24)
Maria Aloni
Pragmatics, and That's an Order	191	(26)
David I. Beaver
Meaning, Interpretation and Semantics	217	(24)
Martin Stokhof
On the Compositionality of Idioms	241	(32)
Dag Westerstahl
Index	273