Cf: Charles Sanders Peirce, George Spencer Brown, and Me • 5 https://inquiryintoinquiry.com/2017/08/12/charles-sanders-peirce-george-spencer-brown-and-me-5/
All, | Continuing the salvage and update of posts lost when Yahoo! Groups defuncted. | That's just the way the internet cookie crumbles when capitalism incorpulent | takes over the web that a science-minded ARPA once built at taxpayer expense. Peirce's Law Proof Animation https://inquiryintoinquiry.files.wordpress.com/2012/01/peirces-law-2-0-animation.gif Here are blog and wiki versions of an article I wrote on Peirce’s Law, an axiom or theorem (depending on your choice of logical basis) which distinguishes classical from intuitionistic propositional calculus. Aside from its pivotal logical status it affords a nice illustration of several important features of logical graphs in the style of Peirce and Spencer Brown. Peirce’s Law ============ • Inquiry Blog ( https://inquiryintoinquiry.com/2008/10/06/peirces-law/ ) • OEIS Wiki ( https://oeis.org/wiki/Peirce%27s_law ) • MyWikiBiz ( http://mywikibiz.com/Peirce's_law ) • Wikiversity ( https://en.wikiversity.org/wiki/Peirce's_law ) Here's another resource on the relationship between Classical and Intuitionistic Propositional Calculus: Propositions As Types Analogy • https://oeis.org/wiki/Propositions_As_Types_Analogy 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.