New Book: WORDS, PROOFS, AND DIAGRAMS

Christine Sosa sosa at CSLI.STANFORD.EDU
Wed Oct 2 20:05:18 UTC 2002


CSLI Publications is pleased to announce the publication of:

WORDS, PROOFS, AND DIAGRAMS; WORDS, PROOFS, AND DIAGRAMS; Dave
Barker-Plummer (Stanford University's Center for the Study of
Language and Information), David I. Beaver (Stanford University),
Johan van Benthem (Amsterdam University and Stanford University) and
Patrick Scotto di Luzio (Stanford University), eds.;paper ISBN:
1-57586-406-1, $25.00, cloth ISBN: 1-57586-405-3, $67.50, 286 pages.
CSLI Publications 2002. http://cslipublications.stanford.edu , email:
pubs at csli.stanford.edu.

To order this book, contact The University of Chicago Press. Call
their toll free order number 1-800-621-2736  (U.S. & Canada only)  or
order online at http://www.press.uchicago.edu/ (use the search
feature to locate the book, then order).

Book description:

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
provide the total picture of the field today.


------------------------------



More information about the Funknet mailing list