About this product

Product Identifiers

PublisherOxford University Press, Incorporated

ISBN-100195104277

ISBN-139780195104271

eBay Product ID (ePID)349367

Product Key Features

Number of Pages288 Pages

LanguageEnglish

Publication NameLogical Reasoning with Diagrams

SubjectInformation Theory, Logic, Logic Design

Publication Year1996

TypeTextbook

AuthorJon Barwise

Subject AreaMathematics, Computers

SeriesStudies in Logic and Computation Ser.

FormatHardcover

Dimensions

Item Height0.7 in

Item Weight21.2 Oz

Item Length9.6 in

Item Width6.4 in

Additional Product Features

Intended AudienceCollege Audience

LCCN95-041885

Reviews"Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move." --Dov Gabbay, Department of Computing, Imperial College, "Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a goodpublication move." --Dov Gabbay, Department of Computing, Imperial College, "Such a theme is of interest not only to logic, philosophy, andlinguistics but also to practical computer areas such as robotics andmultimedia. The authors are famous and we can expect the book to draw theattention of several communities. I think the Allwein-Barwise book is a goodpublication move." --Dov Gabbay, Department of Computing, ImperialCollege, "Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move." --Dov Gabbay, Department of Computing, Imperial College"Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move." --Dov Gabbay, Department of Computing, Imperial College

Dewey Edition20

Series Volume Number6

IllustratedYes

Dewey Decimal153.43

Table Of ContentPART A: Theoretical Issues1. Visual Information and Valid Reasoning2. Operational Constraints in Diagrammatic Reasoning3. Diagrams and the Concept of Logical SystemPART B: Case Studies4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams5. Towards a Model Theory of Venn Diagrams6. Peircean Graphs for Propositional Logic7. A Diagrammatic Subsystem of Hilbert's GeometryPART C: Heterogenous Systems8. Heterogenous Logic9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning

SynopsisA 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.

LC Classification NumberQA9.L624 1996