Logical Reasoning with Diagrams
Seiten
1996
Oxford University Press Inc (Verlag)
978-0-19-510427-1 (ISBN)
Oxford University Press Inc (Verlag)
978-0-19-510427-1 (ISBN)
A research monograph, this book addresses the logical aspects of the visualization of information with papers specially commissioned for this book. The authors explore the logical properties of diagrams, charts, maps, and the like, and their use in problem solving and in teaching basic reasoning skills.
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.
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.
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 Reasoning
| Erscheint lt. Verlag | 18.7.1996 |
|---|---|
| Reihe/Serie | Studies in Logic and Computation ; 6 |
| Zusatzinfo | numerous line figures |
| Verlagsort | New York |
| Sprache | englisch |
| Maße | 234 x 156 mm |
| Gewicht | 581 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-19-510427-7 / 0195104277 |
| ISBN-13 | 978-0-19-510427-1 / 9780195104271 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
