Cf: Differential Propositional Calculus • Overview At: http://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-%e2%80%a2-overview/
|| The most fundamental concept in cybernetics is that of "difference", || either that two things are recognisably different or that one thing || has changed with time. || || W. Ross Ashby : An Introduction to Cybernetics || ( http://pespmc1.vub.ac.be/books/IntroCyb.pdf ) Here's the outline of I sketch I wrote on differential propositional calculi, which extend propositional calculi by adding terms for describing aspects of change and difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe to a target universe. I wrote this as an intuitive introduction to differential logic, which is my best effort so far at dealing with ancient and persistent problems of dealing with diversity and mutability in logical terms. I'll be looking at ways to improve this draft as I serialize it to my blog. Part 1 ====== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1 ) Casual Introduction =================== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#Casual_Introduction ) Cactus Calculus =============== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#Cactus_Calculus ) Part 2 ====== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2 ) Formal_Development ================== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Formal_Development ) Elementary Notions ================== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Elementary_Notions ) Special Classes of Propositions =============================== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Special_Classes_of_Propositions ) Differential Extensions ======================= ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Differential_Extensions ) Appendices ========== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Appendices ) References ========== ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_References ) 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 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.
