Differential Logic, Dynamic Systems, Tangent Functors • Discussion 8

Re: Systems ScienceLT

It’s been a while since I started this thread, with many sidetrips and tangents, so let me go back to the top and expand on the motivations I expressed there, addressing a few issues that have arisen in the meantime.

People interested in category theory as applied to systems may wish to check out the following article, reporting work I carried out while engaged in a systems engineering program at Oakland University.

  • Differential Logic and Dynamic Systems

    This article develops a differential extension of propositional calculus and applies it to a context of problems arising in dynamic systems.  The work pursued here is coordinated with a parallel application that focuses on neural network systems, but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.

Category theory, as working mathematicians understand it, is one of the chief conceptual frameworks for the development of mathematics today, the other being set theory.  Every graduate math course I ever took began with a two- or three-week review of set theory and category theory before launching into the main subject matter.  From a logical point of view, however, category theory has a history stretching back to Aristotle.

I once started writing a sketch on the “Precursors of Category Theory”, collecting a sample of historical landmarks through the centuries, from Aristotle to category theory’s modern mathematical avatars.  Here’s a link to a survey page on my blog:

To be continued …

Resources

cc: Structural ModelingOntolog ForumLaws of FormCybernetics

This entry was posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

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.