The Logical Status of Diagrams