Abstract

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic ). The straightforward construction of a presheaf category \ of cuts-only Existential Graphs provides a basis for the further construction of the category \ which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the formal investigation of relations between syntax and semantics in such diagrammatic systems.