Re: Differential Logic • 1
Re: FB | Pattern Languages for Systemic Transformation • Steve Kramer

SK:

Can differential logic be described using category theory?  To what other logical or mathematical modalities does differential logic relate?  Give an example.  Partial credit will be given.

Dear Steve,

The ultimate category-theoretic generalization of the functional derivative in calculus and the tangent vector in differential geometry is called a tangent functor.  Finding the proper logical analogue of a tangent functor is the main business of my essay on Differential Logic and Dynamic Systems.

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

But that’s a lot to take in at once so over the years I’ve written a number of easier pieces to work up to it more gradually.  The first intuitive inklings of the subject are provided by the following overture.

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

The following series provides a more systematic treatment of substantial issues.

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

Resources

• Logic Syllabus
• Logical Graphs
• Minimal Negation Operators

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