Words, Proofs and Diagrams

. Ed(s): Barker-Plummer, Dave; Beaver, David I.; Benthem, Johan van; Luzio, Patrick Scotto Di

ISBN 10: 1575864061 / ISBN 13: 9781575864068

Edité par The University of Chicago Press, 2002

A propos de cet article

Editor(s): Barker-Plummer, Dave; Beaver, David I.; Benthem, Johan van; Luzio, Patrick Scotto Di. Series: Lecture Notes. Num Pages: 288 pages, Illustrations. BIC Classification: CFX; HPL; JMAQ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 152 x 16. Weight in Grams: 398. . 2002. 2. Paperback. . . . . Books ship from the US and Ireland.

N° de réf. du vendeur V9781575864068

Détails bibliographiques

• Titre: Words, Proofs and Diagrams
• Éditeur: The University of Chicago Press
• Date de parution: 2002
• Langue: anglais
• ISBN à 10 chiffres: 1575864061
• ISBN à 13 chiffres: 9781575864068
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

Synopsis

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.

À propos des auteurs

Dave Barker-Plummer is a senior research scientist with the Openproof Project at the Center for the Study of Language and Information (CSLI).

Johan van Benthem is the University Professor of logic, emeritus at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and the Jin Yuelin Chaired Professor of Logic at Tsinghua University Beijing.