This volume collects leading-edge work on the semantics and pragmatics of natural language, including contributions from Eve Clark, Paul Kiparsky, Stanley Peters, Dag Westerstahl and Arnold M. Zwicky. The research covers a number of languages - English, Mandarin, Japanese, Korean and Quechua - and phenomena, including adverbial modification, classifiers, constructional meaning, control phenomena, evidentiality, events semantics, focus, presupposition, and quantification. This is a valuable volume for anyone interested in the latest developments in the study of meaning.

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.