En savoir plus
Zusatztext 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 Klappentext One effect of information technology is the increasing needto present information visually. The trend raises intriguingquestions. What is the logical status of reasoning thatemploys visualization? What are the cognitive advantages andpitfalls of this reasoning? What kinds of tools can bedeveloped to aid in the use of visual representation? Thisnewest volume on the Studies in Logic and Computationseries addresses the logical aspects of the visualization ofinformation. The authors of these specially commissionedpapers explore the properties of diagrams, charts, and maps,and their use in problem solving and teaching basicreasoning skills. As computers make visual representationsmore commonplace, it is important for professionals,researchers and students in computer science, philosophy,and logic to develop an understanding of these tools; thisbook can clarify the relationship between visuals andinformation. Zusammenfassung 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. Inhaltsverzeichnis PART A: Theoretical Issues 1: Jon Barwise and John Etchemendy: Visual Information and Valid Reasoning 2: Atsushi Shimojima: Operational Constraints in Diagrammatic Reasoning 3: Jon Barwise and Eric Hammer: Diagrams and the Concept of Logical System PART B: Case Studies 4: Sun-Joo Shin: Situation-Theoretic Account of Valid Reasoning with Venn Diagrams 5: eric Hammer and Norman Danner: Towards a Model Theory of Venn Diagrams 6: Eric Hammer: Peircean Graphs for Propositional Logic 7: Isabel Luengo: A Diagrammatic Subsystem of Hilbert's Geometry PART C: Heterogenous Systems 8: Jon Barwise and John Etchemendy: Heterogenous Logic 9: Steven D. Johnson, Jon Barwise, and Gerard Allwein: Toward the Rigorous Use of Diagrams in Reasoning about Hardware 10: Kathi D. Fisler: Exploiting the Potential of Diagrams in Guiding Hardware Reasoning ...
