Logical Graphs • Discussion 1

Re: Laws of FormJohn Mingers

I find it very frustrating not to be able to draw crosses and expressions within emails or Word documents.  Does anyone know of any software or apps that can do this?  If not, with so many computer scientists on this group, could someone produce something?

Dear John, All …

People with backgrounds in computing, combinatorics, or graph theory would immediately recognize Spencer Brown’s expressions are isomorphic to what graph theorists know and love as “trees”, more specifically “rooted trees”, with a particular manner of attaching letters to the nodes to be described later.  In those fields there’s a standard way of mapping trees to strings of parentheses and letters.  That operation is called “traversing the tree” when one passes from trees to strings and the reverse operation is called “parsing the string” when one passes from strings to trees.

The transformation of Spencer Brown’s simple closed figures in the plane or his formal expressions of “crosses” into rooted trees, together with the further transformation of those two forms to “pointer data structures” in computer memory, is discussed in the following post on my blog.

There’s a more formal presentation of logical graphs, working from the axioms or “initials” I borrowed with modifications from Peirce and Spencer Brown, in the following blog post.

Those two pieces are combined and extended in the following article.

The program I developed all through the 80s using those data structures in its logic module is documented so far as I’ve done to date on the following page.


cc: Category TheoryCyberneticsOntologStructural ModelingSystems Science
cc: FB | Logical GraphsLaws of FormPeirce List

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Logical Graphs • Discussion 1

  1. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

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.