This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.
Beginnings
Elements
Examples
- Peirce’s Law
- Praeclarum Theorema
- Proof Animations
Excursions
Applications
- Applications of a Propositional Calculator • Constraint Satisfaction Problems
- Exploratory Qualitative Analysis of Sequential Observation Data
- Differential Analytic Turing Automata
- Survey of Theme One Program
Blog Series
- Animated Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17) • (18) • (19) • (20) • (21) • (22) • (23) • (24) • (25) • (26) • (27) • (28) • (29) • (30) • (31) • (32) • (33) • (34) • (35) • (36) • (37) • (38) • (39) • (40) • (41) • (42) • (43) • (44) • (45) • (46) • (47) • (48) • (49) • (50) • (51) • (52) • (53) • (54) • (55) • (56) • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (67) • (68) • (69) • (70) • (71) • (72) • (73) • (74) • (75) • (76) • (77) • (78) • (79) • (80) • (81)
Anamnesis
- CSP, GSB, & Me • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16)
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
cc: FB | Logical Graphs • Mathstodon • Laws of Form • Ontolog Forum
cc: W3 | RDF Surfaces
Inquiry Into Inquiry 