Differential Logic and Dynamic Systems • Discussion 4

Re: Differential Propositional Calculus • Discussions • (1)(2)(3)
Re: Laws of FormLyle Anderson (1) (2)

Dear Lyle,

I’ve been meaning to get back to your comments linked above — the connections you observed to finite difference calculus, ordinary and partial differential equations, and differential geometry are very apt — but preparing the ground for a smooth transition to differential logic takes time, plus I needed to deal with the details of the \mathrm{En} \leftrightarrow \mathrm{Ex} logical graph duality I’ve been wanting to give their due for decades.

The flat out fastest key to the highway of differential logic is still the Casual Introduction I wrote for Part One of Differential Propositional Calculus.  It affords direct access to the basic intuitions and motivations of the subject but stops short of the syntactic mechanics needed to really take off.  The jump from that point to the more aggressive approaches of Differential Logic and Differential Logic and Dynamic Systems has long been a challenge.  I went looking for materials to bridge the gap and was pleased to find a few old writings I had almost forgotten but wrote when I myself was passing through a similar transition.  Perhaps one of those will help the intrepid reader hit the ground running in this field.

I’ll take up one of those pieces next time.


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

This entry was posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

4 Responses to Differential Logic and Dynamic Systems • Discussion 4

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

  2. Pingback: Differential Logic and Dynamic Systems • Discussion 5 | Inquiry Into Inquiry

  3. Pingback: Differential Logic and Dynamic Systems • Discussion 6 | Inquiry Into Inquiry

  4. Pingback: Differential Logic • Discussion 15 | 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 )

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.