The Logical Status of Diagrams
By
Sun-Joo Shin (Author)
Paperback
Available / dispatched within 1 - 2 weeks
Quantity
Description
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. 148 Line drawings, unspecified
More Details
- Contributor: Sun-Joo Shin
- Imprint: Cambridge University Press
- ISBN13: 9780521102773
- Number of Pages: 212
- Packaged Dimensions: 152x229x12mm
- Packaged Weight: 320
- Format: Paperback
- Publisher: Cambridge University Press
- Release Date: 2009-03-12
- Binding: Paperback / softback
Delivery Options
Home Delivery
Store Delivery
Free Returns
We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.