CSLI Publications logo
new books
knuth books
for authors
CSLI Publications
Words, Proofs, and Diagrams cover

Words, Proofs, and Diagrams

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

The last 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.

The volume is divided into three parts: Diagrammatic Reasoning, Computation, and Logic and Language. Each of these parts is headed by an editorial introduction that maps out the relation of the papers to each other and to the wider field. While each chapter provides an angle on the logic of information, it is their interconnections that provides the total picture of the field today.

Dave Barker-Plummer is a research scientist at Stanford Universit’s Center for the Study of Language and Information. David I. Beaver is on the faculty of the Department of Linguistics at Stanford University. Johan van Benthem is a professor of computer science at Amsterdam University and a professor of philosophy at Stanford University. Patrick Scotto di Luzio earned his Ph.D. in philosophy at Stanford University.

Read an excerpt from this book.


  • Contributors
  • Foreword
  • 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
  • Diagrammatic Reasoning
  • 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
  • Logic & 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


ISBN (Paperback): 1575864061 (9781575864068)
ISBN (Cloth): 1575864053 (9781575864051)

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu