Implementing Logics in Diagrams

We have been developing a general cognitive theory of graphics from this starting point. Our aim in this paper is to lay out the outlines of our theory so that it can be compared and contrasted with other approaches at this workshop. We will give a brief exposition of the logical treatment and then illustrate the theory in the domain of an Euler’s Circles based system for solving syllogisms.