Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2023/09/15/logical-graphs-formal-development-1/

Recap —

A first approach to logical graphs can be found in the article linked below.

Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/

That introduces the initial elements of logical graphs and hopefully supplies the reader with an intuitive sense of their motivation and rationale.

Formal Development —

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

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.

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus