Words, Proof and Diagrams

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

286 pages, parution le 29/10/2002

Ajouter à une liste

Indisponible

Résumé

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.

Contents

Diagrammatic Reasoning: Editorial Introduction
Logical Patterns in Space
Diagrams and Computational Efficacy
Comparing the Efficacy of Visual Languages
Computation: Editorial Introduction
Taking the Sting out of Subjective Probability
Constraint Programming in Computational Linguistics
Lineales: Algebras and Categories in the Semantics of Linear Logic
Proof Tree Automata
Logic & Language: Editorial Introduction
Questions Under Cover
Pragmatics, and That's an Order
Meaning, Interpretation and Semantics
On the Compositionality of Idioms
Index

L'auteur - Dave Barker-Plummer

Editor

L'auteur - David I. Beaver

Editor

L'auteur - Johan van Benthem

Editor

L'auteur - Patrick Scotto di Luzio

Editor

Caractéristiques techniques

	PAPIER
Éditeur(s)	CSLI
Auteur(s)	Dave Barker-Plummer, David I. Beaver, Johan van Benthem, Patrick Scotto di Luzio
Parution	29/10/2002
Nb. de pages	286
Format	15 x 23
Couverture	Broché
Poids	400g
Intérieur	Noir et Blanc
EAN13	9781575864068
ISBN13	978-1-57586-406-8