Philosophical Status of Diagrams

This text explores the reasons why diagrams have been ignored in modern formal theories of axiomatic systems. By looking at the use of diagrams in logic and geometry it concludes that it is not technical incompatibility, but history and philosophy that restricts the use of diagrams in these fields.