Gerard Allwein, Jon Barwise.
Mathematical Reasoning with Diagrams.
OUP. 1996
One effect of information technology is the increasing use
of visual displays to present large amounts of information.
This trend raises intriguing questions.
What is the logical status of reasoning that employs visualizaton?
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 in the Studies in Logic and Computation series
addresses the logical aspects of the visualization of information.
The authors 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 clarifies the relationship between visuals and information.