Alpha Now, Omega Later : 5

Re: R.J. Lipton and K.W. ReganIsomorphism Is Where It’s At

  • “Are there more good cases of isomorphism to study?”

Just off the top of my head, a couple of examples come to mind.

Sign Relations.  In computational settings, a sign relation L is a triadic relation of the form L \subseteq O \times S \times I, where O is a set of formal objects under consideration and S and I are two formal languages used to denote those objects.  It is common practice to cut one’s teeth on the special case S = I before moving on to more solid diets.

Cactus Graphs.  In particular, a variant of cactus graphs known (by me, anyway) as painted and rooted cacti (PARCs) affords us with a very efficient graphical syntax for propositional calculus.

I’ll post a few links in the next couple of comments.

This entry was posted in C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Logic, Inquiry, Inquiry Driven Systems, Isomorphism, Logic, Logical Graphs, Peirce, Propositional Calculus, Semiotics, Sign Relations, Systems Theory and tagged , , , , , , , , , , , , , . Bookmark the permalink.

3 Responses to Alpha Now, Omega Later : 5

  1. Pingback: All Process, No Paradox : 2 | Inquiry Into Inquiry

  2. Pingback: Alpha Now, Omega Later : 7 | Inquiry Into Inquiry

  3. Pingback: All Process, No Paradox • 8 | Inquiry Into Inquiry

Leave a comment

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