Cf: Differential Logic • Overview https://inquiryintoinquiry.com/2020/03/20/differential-logic-overview/
LoF Group, | The following series of posts on Differential Logic were | shared to my other lists back in 2020 when the LoF Group | was experiencing its bout of “listlessness”. I'll copy | them here partly by way of general background and also | for context in answering Lyle's last set of questions. The previous series of posts on Differential Propositional Calculus ( https://inquiryintoinquiry.com/?s=Differential+Propositional+Calculus ) brought us to the threshold of the subject without quite stepping over, but I wanted to lay out the necessary ingredients in the most concrete, intuitive, and visual way possible before taking up the abstract forms. One of my readers on Facebook told me “venn diagrams are obsolete” and of course we all know they become unwieldy as our universes of discourse expand beyond four or five dimensions. Indeed, one of the first lessons I learned when I set about implementing CSP's graphs and GSB's forms on the computer was that 2-dimensional representations of logic are a death trap in numerous conceptual and computational ways. Still, venn diagrams do us good service in visualizing the relationships among extensional, functional, and intensional aspects of logic. A facility with those relationships is critical to the computational applications and statistical generalizations of logic commonly used in mathematical and empirical practice. At any rate, intrepid readers will have amped up their visual imaginations well enough at this point to pick their way through the cactus patch ahead. The link above or the transcript below outlines my last, best introduction to Differential Logic, which I'll be working to improve as I serialize it to my blog. Resource ======== Differential Logic https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview Part 1 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1 ) Part 2 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2 ) Part 3 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3 ) Regards, Jon inquiry into inquiry: https://inquiryintoinquiry.com/ academia: https://independent.academia.edu/JonAwbrey oeiswiki: https://www.oeis.org/wiki/User:Jon_Awbrey facebook page: https://www.facebook.com/JonnyCache
_ _ _ _ _ _ _ _ _ _ ► 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 UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
