This book examines the logical foundations of visual information: information presented in the form of diagrams, graphs, charts, tables, and maps. The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in compution.
Chapters of the book develop the logics of familiar systems of diagrams such as Venn diagrams and Euler circles. Other chapters develop the logic of higraphs, Pierce diagrams, and a system having both diagrams and sentences among its well-formed representations. Syntax, semantics , rules of inference and soundness and completeness results are provided for each of the systems.
In addition to developing the logic of diagrams, key questions about the status of visual information Hammer discusses, such as the relationship between the language and visually-presented information.
is a postdoctoral scholar at the Center for the Study of Language and Information at Stanford University.
- 1 Diagrams and Isomorphism
- 2 Diagrams and Languages
- 3 Diagrams and Rigor
- 4 Venn Diagrams
- 5 Venn Diagrams and First-Order Logic
- 6 Euler Circles
- 7 Higraphs
- 8 Pierce Diagrams
- Name Index
- Subject Index