Words, Proofs and Diagrams

By: David Barker-Plummer (Editor), David I. Beaver (Editor), Johan van Benthem (Editor), Patrick Scotto di Luzio (Editor)

Write A Review

Paperback | 1 July 2002 | Edition Number 1

At a Glance

Paperback
286 Pages

Dimensions(cm)
22.9 x 15.2 x 1.6

Paperback

$77.75

or 4 interest-free payments of $19.44 with

Ships in 5 to 10 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

Contributors
Foreword
Diagrammatic Reasoning
Editorial Introduction
Logical Patterns in Space
Marco
Diagrams and Computational Efficacy
Kathi Fisler
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 and Language
Editorial Introduction
Questions Under Cover
Pragmatics, and That's an Order
Meaning, Interpretation and Semantics
On the Compositionality of Idioms
Dag Westerstaring;hl
Index
Table of Contents provided by Publisher. All Rights Reserved.

Words, Proofs and Diagrams

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Philosophy

The Meaning of Things

Applying Philosophy to life

On the Calculation of Volume III

God, the Science, the Evidence

Wisdom Takes Work

Timeless Stoic values from the multimillion-selling author of THE DAILY STOIC

The Holographic Universe

Big Panda and Tiny Dragon

The beautifully illustrated novel about friendship and hope

Simulacra and Simulation

The Body, In Theory: Histories of Cultural Materialism

Letters from a Stoic

The Ancient Classic

The Seeker and the Sage

Moral Ambition

Stop Wasting Your Talent and Start Making a Difference - from the presenter of the 2025 BBC 'Moral Revolution' Reith lectures

Quantum 2.0

The Past, Present, and Future of Quantum Physics

The Fourth Pillar

Modern Stoicism and the Philosophy of High Performance

The Art of War & Other Classics of Eastern Philosophy

Leather-bound Classics

The Boy, the Mole, the Fox and the Horse: The Animated Story

Winner 2023 Oscar for best animated short

The War on the West

How to Prevail in the Age of Unreason

Monsters

What Do We Do with Great Art by Bad People?

Living With Men

Reflections on the Pelicot Trial

Man's Search For Meaning

12 Rules for Life

Antidote to Chaos

The Silent Patient

The record-breaking, multimillion copy Sunday Times bestselling thriller and TikTok sensation

Bright Shining

how grace changes everything

The Live Your Values Deck

Sort Out, Honor, and Practice What Matters Most to You

Collins Classics - The Republic

Collins Classics

The Wisdom Of Insecurity

A Message for an Age of Anxiety

This product is categorised by