Logical reasoning with diagrams
This chapter examines the role of diagrams in reasoning. It exposes the tension between formal and informal use of diagrams. Diagrams are a complementary representation to symbolic formulae. Since choosing the right representation may be essential to solving a problem, we study diagrams as one of such suitable choices. We analyse algorithmic and computational approaches to formalising the logic of diagrams, and present some of modern implementations of diagrammatic reasoning systems.
Is Part Of