Philosophical Status of Diagrams

The use of diagrams in logic and geometry has encountered resistance in recent years. For a proof to be valid in geometry, it must not rely on the graphical properties of a diagram. In logic, the teaching of proofs depends on sentenial representations, ideas formed as natural language sentences such as "If A is true and B is true...." No serious formal proof system is based on diagrams.

This book explores the reasons why structured graphics have been largely ignored in contemporary form…