Call Boomerang Books 1300 36 33 32

Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proofs. This book challenges this prejudice against visualisation in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation equipped with its own syntax and semantics and specifies rules of transformation that make this system sound and complete. The system is then extended to the equivalent of a first-order monadic language. The soundness of these diagrammatic systems refutes the contention that graphical representation is misleading in reasoning. The validity of the transformation rules ensures that the correct application of the rules will not lead to fallacies. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems. This groundbreaking work will have important influence on research in logic, philosophy and knowledge representation.

Buy The Logical Status of Diagrams book by Sun-Joo Shin from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521461573
ISBN-10: 052146157X
Format: Hardback
(228mm x 152mm x 16mm)
Pages: 212
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 27-Jan-1995
Country of Publication: United Kingdom

Other Editions


» Have you read this book? We'd like to know what you think about it - write a review about Logical Status of Diagrams book by Sun-Joo Shin and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review

Books By Author Sun-Joo Shin

Logical Status of Diagrams by Sun-Joo Shin

The Logical Status of Diagrams

Paperback, March 2009
Iconic Logic of Peirces Graphs by Sun-Joo Shin

The Iconic Logic of Peirces Graphs

Hardback, June 2002