This book is an in-depth exposition of diagrammatic reasoning — the understanding of concepts and ideas by using diagrams and imagery. Diagrammatic reasoning is opposed to linguistic and algebraic reasoning, and allows us to construct representations which can be stored and processed by computers. This book brings together the cognitive, logical, and computational characteristics of diagrammatic representation and the reasoning that can be done with them.
