×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Logical Reasoning with Diagrams
     

Logical Reasoning with Diagrams

by Barwise Allwein
 

ISBN-10: 0195104277

ISBN-13: 9780195104271

Pub. Date: 06/28/1996

Publisher: Oxford University Press, USA

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

Overview

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.

Product Details

ISBN-13:
9780195104271
Publisher:
Oxford University Press, USA
Publication date:
06/28/1996
Series:
Studies in Logic and Computation Series , #6
Pages:
288
Product dimensions:
6.38(w) x 9.56(h) x 0.72(d)

Table of Contents

PART A: Theoretical Issues
1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy
2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima
3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer
PART B: Case Studies
4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin
5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner
6. Peircean Graphs for Propositional Logic, Eric Hammer
7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo
PART C: Heterogenous Systems
8. Heterogenous Logic, Jon Barwise and John Etchemendy
9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware, Steven D. Johnson, Jon Barwise, and Gerard Allwein
10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning, Kathi D. Fisler

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews