Cf: Charles Sanders Peirce, George Spencer Brown, and Me • 16 http://inquiryintoinquiry.com/2022/01/15/charles-sanders-peirce-george-spen… Re: Conceptual Graphs https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org… ::: Gary Zhu https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org… <QUOTE GZ:> I'm quite confused on why people are interested in Laws of Form. What is LOF trying to do? Is it just rewriting logic or is there something more fundamental. e.g. a universal algebraic system? What does GSB has to do with DNA, or DNA computing? What does Lou's work in topology has to do with GSB? What does GSB's theory has to do with knot theory? What does GSB's theory has to do with quaternions? How can GSB's theory be used for designing circuits? What's wrong with Frege? </QUOTE> Dear Gary, I am deep in the middle of other work right now, but here's a smattering of resources relevant to the relation between Peirce's logical graphs and Spencer Brown's calculus of indications, at least so far as the core subjects of boolean functions and propositional calculus are concerned. Survey of Animated Logical Graphs https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs… As far as the extension to relations and quantification, I start from where Peirce started in 1870 and follow up several of his more radical ideas, ones he himself did not fully develop. That is what I'm doing on the 1870 Logic of Relatives thread. Peirce's 1870 “Logic of Relatives” • Overview https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-o… Regards, Jon