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