Re: Differential Logic • 1
Re: FB | Pattern Languages for Systemic Transformation • Steve Kramer
- 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.
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.
The following series provides a more systematic treatment of substantial issues.
- Differential Logic • Part 1 • Part 2 • Part 3
cc: Cybernetics • Ontolog • Peirce (1) (2) (3) (4) • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form
Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 4 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 5 | Inquiry Into Inquiry