Charles Sanders Peirce (1839-1914), a philosopher, logician and scientist, was one of the founders of modern symbolic logic. In particular, he developed a form of predicate logic. Peirce devised a graphical notation, known as existential graphs, to represent logical calculi. There were three systems of such graphs: the system alpha, to represent propositional logic, the system beta, to represent predicate logic, and the system gamma, to represent modal logic.
Geraldine Brady and Todd Trimble have given a category theoretic interpretation of the alpha and beta systems. The latter, a form of string diagrammatic notation, was developed (PontoShul) into a string diagram notation for indexed monoidal categories.
Fernando Zalamea (2012), Peirce’s Logic of Continuity: A Conceptual and Mathematical Approach
Frederik Stjernfelt (2014), Natural Propositions: The Actuality of Peirce’s Doctrine of Dicisigns
Rosa Maria Perez-Teran Mayorga (2008), From Realism to ‘Realicism’: The Metaphysics of Charles Sanders Peirce
Andrew Reynolds (2002), Peirce’s Scientific Metaphysics: The Philosophy of Chance, Law, and Evolution
Matthew Moore (ed) (2010), New Essays on Peirce’s Mathematical Philosophy
C.S. Peirce & Matthew Moore (ed) (2010), Philosophy of Mathematics: Selected Writings