Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.

Formal Development

Logical Graphs • First Impressions gives an informal introduction to the initial elements of logical graphs and hopefully supplies the reader with an intuitive sense of their motivation and rationale.

The next order of business is to give the precise axioms used to develop the formal system of logical graphs.  The axioms derive from C.S. Peirce’s various systems of graphical syntax via the calculus of indications described in Spencer Brown’s Laws of Form.  The formal proofs to follow will use a variation of Spencer Brown’s annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.

Resources

• Survey of Animated Logical Graphs

cc: FB | Logical Graphs • Laws of Form • Ma^thstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science