- Re: Categorical Treatments of Existential Graphs
Cf: N. Haydon and P. Sobociński • Compositional Diagrammatic First-Order Logic
Thanks, Chad, for that extremely nice treatment of Peirce’s existential graphs at the β level, tantamount to predicate calculus or first order logic as we know it today.
The logic of relatives and the mathematics of relations appear in a different light from the perspective of Peirce’s own standpoint on logic, evolving as it does out of distinctive pragmatic and semiotic insights. The reflections of Spencer Brown afford a few angles Peirce anticipated but in a glass, darkly. And my own time tumbling recalcitrant calculi toward more ready tools for inquiry may add a few wrinkles, with luck to more than my own brow. All that will develop as we go.
- Logical Graphs
- Minimal Negation Operators
- Logical Graphs • Introduction
- Logical Graphs • Development
- Logic Syllabus • Zeroth Order Logic
- Survey of Animated Logical Graphs
cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) (17)
cc: Category Theory • Cybernetics (1) (2) • Ontolog Forum (1) (2)
cc: Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form