Cf: Animated Logical Graphs • 53 http://inquiryintoinquiry.com/2021/01/22/animated-logical-graphs-53/
Praeclarum Theorema Proof Animation https://inquiryintoinquiry.files.wordpress.com/2012/01/praeclarum-theorema-2-0-animation.gif All, A good deal of the work I've been doing on the C.S. Peirce/Spencer Brown approach to “the mathematical hypostases laying the grounds for logic” currently flies under the banner of Animated Logical Graphs. There's a Survey of related resources I update from time to time at the following location. • Survey of Animated Logical Graphs https://inquiryintoinquiry.com/2020/08/23/survey-of-animated-logical-graphs-3/ Resources ========= • Logic Syllabus ( https://oeis.org/wiki/Logic_Syllabus ) • Ampheck ( https://oeis.org/wiki/Ampheck ) • Logical Graphs ( https://oeis.org/wiki/Logical_Graphs ) • One ( https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/ ) • Two ( https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/ ) • Propositions As Types Analogy ( https://oeis.org/wiki/Propositions_As_Types_Analogy ) • Propositional Equation Reasoning Systems ( https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems ) • Survey of Abduction, Deduction, Induction, Analogy, Inquiry ( https://inquiryintoinquiry.com/2020/12/16/survey-of-abduction-deduction-induction-analogy-inquiry-2/ ) Regards, Jon
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with no subject, and with the sole line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
