It’s been a while since I threaded this thread — and then there were all the delightful distractions of the holiday convergence — so let me refresh my memory as to what drew me back to these environs.
I’m still in the middle of trying to catch up on some long put-off work, but recent discussions of logical graphs and physics and the like on the list have bestirred me from my grindstone long enough to pass on a few links to the things I’ve been doing along those lines. This is all “Alpha” as far as Peirce’s graphology goes, but one of the things we’ve learned in recent decades from computational complexity theory is just how key a role problems like propositional calculus play in solving many other problems of practical interest, so I won’t make any further apology for focusing attention on this “zeroth order” level. I don’t have much to say about physics per se but if we generalize our concept of dynamics and speak of systems theory as a study of media and populations that move through their state spaces over spans of time, then I think it is useful to take up that perspective on the time evolution of logical media informed by logical signs.
Good — logic and time, the time evolution of inquiry driven systems. I’ll do my best to stay focused on that interplay of subjects.
Let me start with a different set of articles this time. You will notice a lot of redundancy among these articles, as I’ve written many invitations to the subject over the years. Some of these were originally written for people who were already familiar with Spencer-Brown’s Laws of Form, so I jumped right in with the formal equations that would have been recognizable to them.
- Logical Graphs : Informal Introduction
- Logical Graphs : Formal Development
- Logical Graphs + Proof Animations
- Propositional Equation Reasoning Systems