Differential Propositional Calculus
Cf: Differential Propositional Calculus • Overview
At: http://inquiryintoinquiry.com/2020/02/16/differentialpropositionalcalculus%e2%80%a2overview/  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

