This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account.

Note.  One effect of the pandemic has been been to blot out my memory of much work I blogged over the year and many group discussions I have in mind as “recent” and “I’ll get back to it” actually occurred several months ago.  Thinking it will serve memory to recycle the more eddifying currents of water under the bridge, here’s an update of my Survey page on Differential Logic.

Elements

• Differential Propositional Calculus
• Part 1 • Part 2 • Appendices • References

• Differential Logic • Part 1 • Part 2 • Part 3

• Differential Logic and Dynamic Systems
• Part 1 • Part 2 • Part 3 • Part 4 • Part 5
• Appendices • References

Blog Series

• Differential Propositional Calculus • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)
• Discussions • (1) • (2) • (3) • (4) • (5) • (6)

• Differential Logic • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11)
• Comments • (1) • (2) • (3) • (4) • (5) • (6) • (7)
• Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16)

• Differential Logic and Dynamic Systems
• Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7)

• Differential Logic, Dynamic Systems, Tangent Functors • (1)
• Comments • (1) • (2)
• Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)

Architectonics

• Minimal Negation Operator
• Cactus Language • Part 1 • Part 2 • Part 3

Applications

• Differential Logic and Dynamic Systems
• Part 1 • Part 2 • Part 3 • Part 4 • Part 5
• Appendices • References
• Differential Analytic Turing Automata

Blog Dialogs

• The Present Is Big With The Future • Leibniz • (1) • (2)
• All Process, No Paradox • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)
• Time, Topology, Differential Logic • (1) • (2) • (3) • (4) • (5) • (6)

Explorations

• Frankl Conjecture • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12)

cc: Conceptual Graphs • Cybernetics • Ontolog • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form (1) (2)