Cf: Animated Logical Graphs • 34 http://inquiryintoinquiry.com/2020/08/11/animated-logical-graphs-34/
Re: Ontolog Forum ( https://groups.google.com/d/topic/ontolog-forum/7iwyulzDpFA/overview ) ::: John Sowa ( https://groups.google.com/d/msg/ontolog-forum/7iwyulzDpFA/dwlvIiMaBwAJ ) Re: Peirce List ( https://list.iupui.edu/sympa/arc/peirce-l/2020-08/thrd2.html#00051 ) ::: John Sowa ( https://list.iupui.edu/sympa/arc/peirce-l/2020-08/msg00051.html ) All, This adds a few resource links to an earlier reply on the Ontolog Forum and the Peirce List. I added it to my blog series on Animated Logical Graphs mostly just by way of reminding myself to get back to that. Dear John, I can't imagine why anyone would bother with Peirce's logic if it's just Frege and Russell in a different syntax, which has been the opinion I usually get from FOL fans. But the fact is Peirce's 1870 "Logic of Relatives" is already far in advance of anything we'd see again for a century, in principle in most places, in practice in many others, chock full of revolutionary ideas, not all of which he developed fully in subsequent work. Although I studied the 1870 Logic from early on I did not realize how far ahead of its time it was until I began reading approaches to logic from category-theoretic and computation-theoretic angles in the 1970s and 1980s. An indication of Peirce's innovations can be found in the series of selections and commentary I started on the 1870 Logic of Relatives. Here's the work in progress so far on the OEIS Wiki. * Peirce's 1870 Logic Of Relatives https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Overview * Part 1 https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_1 * Part 2 https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_2 * Part 3 https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_3 Here's the overview for a parallel series of blog posts. * Peirce's 1870 Logic Of Relatives • Overview https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-%e2%80%a2-overview/ Resources ========= * Logical Graphs https://oeis.org/wiki/Logical_Graphs * Proof Animations https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations * Survey of Theme One Program https://inquiryintoinquiry.com/2018/02/25/survey-of-theme-one-program-%e2%80%a2-2/ * Survey of Animated Logical Graphs https://inquiryintoinquiry.com/2019/05/22/survey-of-animated-logical-graphs-%e2%80%a2-2/ * Propositional Equation Reasoning Systems https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems 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 peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu 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.