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

• Logical Graphs • Introduction
• Logical Graphs • Formal Development

Elements

• Logic Syllabus
• Logical Graphs
• Minimal Negation Operators
• Propositional Equation Reasoning Systems

Examples

• Peirce’s Law
• This Blog • OEIS Wiki
• Praeclarum Theorema
• This Blog • OEIS Wiki
• Proof Animations

Excursions

• Cactus Language
• Futures Of Logical Graphs

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)

• Logical Graphs
• Discussions • (1) • (2) • (3) • (4)

• Logical Graphs, Iconicity, Interpretation • (1) • (2)

• Logical Graphs, Truth Tables, Venn Diagrams • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)

• Minimal Negation Operators • (1) • (2) • (3) • (4)
• Discussions • (1) • (2)

• Genus, Species, Pie Charts, Radio Buttons • (1)
• Discussions • (1) • (2) • (3) • (4) • (5)

Anamnesis

• CSP, GSB, & Me • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16)