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 computation. 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, Peirce 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 are discussed, such as the relationship between language and visually-presented information.
"synopsis" may belong to another edition of this title.
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 computation.
"This nice and clearly written book is an appropriate introduction to the contemporary subject of visual representation of logical systems." Branislav Boricic, Mathematical Reviews
"Hammer is very clear and meticulous in presenting the technical material. His logicca analysis of diagrammatic systems will serve as future reference for anybody trying to formalize and legitimize the use of any particular kind of diagram." Isabel Luengo, Journal of symbolic Journal
"About this title" may belong to another edition of this title.
Shipping:
US$ 26.85
From Spain to U.S.A.
Seller: LIBRERÍA OESTE, MADRID, MADRI, Spain
Condition: Muy Bueno. 135. Center for the Study of Language and Inf, 1995, 135pp. ALGUNAS PÁGINAS SUBRAYADAS A LÁPIZ. . Seller Inventory # 2820749577857070
Quantity: 1 available