Cf: Animated Logical Graphs • 51 http://inquiryintoinquiry.com/2020/12/20/animated-logical-graphs-51/
Fig. 1. Animated Proof of Peirce's Law https://inquiryintoinquiry.files.wordpress.com/2012/01/peirces-law-2-0-animation.gif Synchronicity being what it is, a long-running discussion on the Peirce List just gave me a handy bridge to a topic I've been meaning to take up in several other connections. So I'm adding my comment to this series, along with links to additional resources. Re: Peirce List https://list.iupui.edu/sympa/arc/peirce-l/2020-11/thrd1.html#00022 https://list.iupui.edu/sympa/arc/peirce-l/2020-11/thrd2.html#00037 https://list.iupui.edu/sympa/arc/peirce-l/2020-12/thrd1.html#00004 https://list.iupui.edu/sympa/arc/peirce-l/2020-12/thrd3.html#00063 Pursuing the discussion of many things: of laws — and graphs — and reasoning — of contradictions — and abducations — and why the third is given not — and whether figs have wings — It might not be non sequitur to remember that place in Peirceland where we walk the line between classical and intuitionistic logic, namely, the boundary marked by the principle we have come to call Peirce's Law. Here's links to bits of fol-de-rule, with graphs and everything — • Peirce's Law • https://inquiryintoinquiry.com/2008/10/06/peirces-law/ • https://oeis.org/wiki/Peirce%27s_law 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 • Survey of Animated Logical Graphs • https://inquiryintoinquiry.com/2020/08/23/survey-of-animated-logical-graphs-3/ • 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.
