[CG] Logical Graphs • Formal Development

Logical Graphs • Formal Development 1 • https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development… Recap — A first approach to logical graphs was outlined in the article linked below. Logical Graphs • First Impressions • https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-… That introduced the initial elements of logical graphs and hopefully supplied 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. Resources — Survey of Animated Logical Graphs • https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs… Regards, Jon cc: https://www.academia.edu/community/ld361R cc: https://mathstodon.xyz/@Inquiry/113129787112676868