CSLI Publications logo
new books
catalog
series
knuth books
contact
for authors
order
search
CSLI Publications
Facebook
 
Logic and Visual Information cover

Logic and Visual Information

Eric M. Hammer

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.

Eric M. Hammer is a postdoctoral scholar at the Center for the Study of Language and Information at Stanford University.

Contents

  • Introduction
  • 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
  • Conclusion
  • Bibliography
  • Name Index
  • Subject Index

8/1/95

ISBN (Paperback): 1881526992 (9781881526995)
ISBN (Cloth): 1881526879 (9781881526872)
ISBN (Electronic): 1684000084 (9781684000081)

Subject: Philosophy; Conceptual Structures; Logic Representation

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu