Logical Reasoning with Diagrams

Logical Reasoning with Diagrams

3.5 (2 ratings by Goodreads)
By (author)  , By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 4 business days
When will my order arrive?


One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information.show more

Product details

  • Hardback | 286 pages
  • 165.1 x 236.2 x 22.9mm | 521.64g
  • Oxford University Press Inc
  • New York, United States
  • English
  • New.
  • numerous line figures
  • 0195104277
  • 9780195104271
  • 1,459,760

Review quote

This book intends to clarify the relationship between visuals and information for professionals, researchers, and students in computer science, philosophy, and logic to develop an understanding of these tools. Zentralblatt fur Didaktik der Mathematik Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move. * Dov Gabbay, Department of Computing, Imperial College *show more

Table of contents

PART A: THEORETICAL ISSUES ; 1. Visual Information and Valid Reasoning ; 2. Operational Constraints in Diagrammatic Reasoning ; 3. Diagrams and the Concept of Logical System ; PART B: CASE STUDIES ; 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams ; 5. Towards a Model Theory of Venn Diagrams ; 6. Peircean Graphs for Propositional Logic ; 7. A Diagrammatic Subsystem of Hilbert's Geometry ; PART C: HETEROGENOUS SYSTEMS ; 8. Heterogenous Logic ; 9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware ; 10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoningshow more

Rating details

2 ratings
3.5 out of 5 stars
5 0% (0)
4 50% (1)
3 50% (1)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X