Tangentially, Peirce has a diagrammatic logical system that's built entirely on conjunction and negation which is isomorphic to propositional logic. He also def

Tangentially, Peirce has a diagrammatic logical system that's built entirely on conjunction and negation which is isomorphic to propositional logic. He also defined extensions for what we now call predicate logic and modal logic. John Sowa annotated Peirce's tutorial and it's quite interesting[1]. [1] https://www.jfsowa.com/pubs/egtut.pdf https://www.jfsowa.com/pubs/egtut.pdf