Differential Propositional Calculus • Discussion 2

The most fundamental concept in cybernetics is that of “difference”, either that two things are recognisably different or that one thing has changed with time.

W. Ross Ashby • An Introduction to Cybernetics

The times are rife with distraction, so let’s pause and retrace how we got to this place.

Our last reading in Cybernetics brought us in sight of a convergence or complementarity between the triadic relations in Peirce’s semiotics and those in Ashby’s regulator games.  There’s a lot more to explore in that direction and I plan to get back to it soon.

The two threads intertwined here, Cybernetics and Differential Logic, both spun off a thread on Pragmatic Truth, asking what theories of truth are compatible with Peircean disciplines of pragmatic thinking.  That’s a topic with a tangled history but the latest local tangle is documented in the following posts and excerpts.

Pragmatic Theory Of Truth • 13

Pragmatic inquiry into a candidate concept of truth would begin by applying the pragmatic maxim to clarify the concept as far as possible and a pragmatic definition of truth, should any result, would find its place within Peirce’s theory of logic as formal semiotics, in other words, stated in terms of a formal theory of triadic sign relations.

Pragmatic Theory Of Truth • 14

There are many conceptions of truth — linguistic, model-theoretic, proof-theoretic — for the moment I’m focused on cybernetics, systems, and experimental sciences and this is where the pragmatic conception of truth fits what we naturally do in those sciences remarkably well.

The main thing in those activities is the relationship among symbol systems, the world, and our actions, whether in thought, among ourselves, or between ourselves and the world.  So the notion of truth we want here is predicated on three dimensions:  the patch of the world we are dealing with in a given application, the systems of signs we are using to describe that domain, and the transformations of signs we find of good service in bearing information about that piece of the world.

Pragmatic Theory Of Truth • 18

We do not live in axiom systems.  We do not live encased in languages, formal or natural.  There is no reason to think we will ever have exact and exhaustive theories of what’s out there, and the truth, as we know, is “out there”.  Peirce understood there are more truths in mathematics than are dreamt of in logic and Gödel’s realism should have put the last nail in the coffin of logicism, but some ways of thinking just never get a clue.

That brings us to the question —

  • What are formalisms and all their embodiments in brains and computers good for?

For that I’ll turn to cybernetics …

Survey of Cybernetics

The Survey linked above recaps the reading of Ashby’s Cybernetics up to the present date.

Meanwhile, the inquiry into Pragmatic Truth branched off at another point when a question from Stephen Paul King demanded an answer in terms of Differential Logic.  That point of departure is documented in the following post.

Differential Logic • Comment 4

This updates the state of the threads linking pragmatic truth, cybernetics, and differential logic.  Disentangling them to any large extent has always been difficult if not impossible, at least for me.

Resources

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

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.

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.