Pending

August 26, 2019

Re: John BaezCivilizational Collapse (Part 4)

Moral of the Story ☞ Resistance To Information Can Be Hazardous To Humanity

December 8, 2012

Re: R.J. Lipton and K.W. ReganMounting or Solving Open Problems

The following primer on differential logic uses the cactus graph syntax to represent propositions (boolean functions f : \mathbb{B}^n \to \mathbb{B}) and the operators on propositions that arise in developing the subject of differential propositional calculus.

The cactus graph syntax for propositional calculus is based on minimal negation operators.

March 17, 2012

Re: Michael ShapiroThe Pragmatistic Force of Analogy in Language Structure

Some work I started on Aristotle, Peirce, Inquiry, Analogy, etc.

February 18, 2012

Re: Azimuth • Quantropy (Part 3)

Another approach to discrete dynamics is by way of differential logic, where we take the pragmatic or topological attitude of ignoring all the differences that don’t make a difference.

If p is a proposition, a boolean variable, that characterizes — holds true of and only of the points in — a region P of the relevant state space X, then \mathrm{d}p is a proposition that characterizes the equivalence class of paths that cross the boundary of P in either direction in the relevant interval of time.

The crux of the matter is getting the proper definition of a tangent functor. There are a few expositions at these places:

January 30, 2012

Re: Gyre & Gimble • Abstract Objects

The transformation on logical relations that C.S. Peirce described as “hypostatic abstraction” is key to understanding the realm of abstract objects, in particular, mathematical objects. It is an example of a reflective operation, one that links a relation of a given arity to a relation of the next higher arity, and it appears to be involved in many, if not all, acts of reflective practice, formally, if not always consciously.

Here is a blog post I wrote on the subject.

January 28, 2012

Re: Gyre & Gimble • Representations

The concept of representation in general is one of the things that Charles Sanders Peirce developed his theory of triadic sign relations to cover, borrowing the name “semiotics” (in various spellings) from Locke and reconstituting a number of earlier traditions within the framework of mathematical relation theory.

Our usual notions of representation in mathematics are a special case of what he had in mind, since they refer to functions and functions are dyadic relations. They fall very roughly into the category of analogical or iconic representations.

I’m not really sure these comments are getting through, so I’ll break off here and try to post a few links later.

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.