Differential Logic • Discussion 7

Re: Differential Logic • 1
Re: FB | Pattern Languages for Systemic TransformationSteve 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.

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.

Resources

cc: CyberneticsOntolog • Peirce (1) (2) (3) (4)Structural ModelingSystems Science
cc: FB | Differential LogicLaws of Form

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Differential Logic • Discussion 7

  1. Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.