Tutorial Overview
The major goals of this two-hour tutorial are to to give an overview of this formal perspective on diagrams, and to introduce and explain the techniques used by logicians to analyze reasoning with diagrammatic representations.
The tutorial will describe the questions asked by logicians when analyzing the properties of diagrammatic representations and the techniques used to reason with them. The three main questions concern: expressive completeness — the degree to which diagrams can be used to represent information about a given domain; soundness of inference — how we can guarantee the validity of conclusions reached by reasoning with diagrams, and completeness of inference — the range of conclusions that can be reached by using those techniques.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barker-Plummer, D. (2010). Diagrams: A Perspective from Logic. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds) Diagrammatic Representation and Inference. Diagrams 2010. Lecture Notes in Computer Science(), vol 6170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14600-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-14600-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14599-5
Online ISBN: 978-3-642-14600-8
eBook Packages: Computer ScienceComputer Science (R0)