[CG] Differential Propositional Calculus

Differential Propositional Calculus • Overview • https://inquiryintoinquiry.com/2024/11/27/differential-propositional-calcul… ❝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 Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse. In accord with the strategy of approaching logical systems in stages, first gaining a foothold in propositional logic and advancing on those grounds, we may set our first stepping stones toward differential logic in “differential propositional calculi” — propositional calculi extended by sets of 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. What follows is the outline of a sketch on differential propositional calculus intended as an intuitive introduction to the larger subject of differential logic, which amounts in turn to my best effort so far at dealing with the ancient and persistent problems of treating diversity and mutability in logical terms. Note. I'll give just the links to the main topic heads below. Please follow the link at the top of the page for the full outline. 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#… Cactus Calculus • https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#… 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#… Elementary Notions • https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#… Special Classes of Propositions • https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#… Differential Extensions • https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#… Appendices — • https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Appendi… References — • https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Referen… Regards, Jon cc: https://www.academia.edu/community/lepagz cc: https://www.researchgate.net/post/Differential_Propositional_Calculus