## Logical Reasoning with DiagramsOne 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. |

### What people are saying - Write a review

User Review - Flag as inappropriate

my new book

### Other editions - View all

### Common terms and phrases

allows assignment assumptions atomic diagram B-circle Barwise and Etchemendy basic regions chapter circle labeled circuit diagrams closed curve consequence relation Cont(D counterpart deductive defined Definition diagram sites diagrammatic objects diagrammatic reasoning domain double cut edge enclosed erase erasure Euler Euler diagrams example existential graphs Figure finite first-order logic formal free ride geometry given grammatical hardware homomorphic Hyperproof icon tokens indicates infon input interlingua intersection JOHN ETCHEMENDY Jon Barwise juxtaposition Lemma linguistic logical consequence logical systems mathematical maximally consistent set minimal region names notation notion obtainable operational constraint overdetermined alternatives overlap Peirce's Peircean problem proof Proposition provable rectangle representation system rules of inference Scenario segment semantic convention semantics sentence sentential logic sequence set of diagrams shading Shin signal sort structure subgraph subset Suppose syntactic syntax target situations theorem valid Venn diagrams visual well-formed diagram X-sequence

### Popular passages

Page xi - I am grateful to friends there, and at the Center for the Study of Language and Information at Stanford University, for help in the development of some of the ideas presented in it.