Here’s the outline of a 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 the ancient and persistent problems of treating 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

Casual Introduction

Cactus Calculus

Part 2

Formal_Development

Elementary Notions

Special Classes of Propositions

Linear Propositions

Positive Propositions

Singular Propositions

Differential Extensions

Appendices

Appendices

Appendix 1. Propositional Forms and Differential Expansions

Table A1. Propositional Forms on Two Variables

Table A2. Propositional Forms on Two Variables

Table A3. Ef Expanded Over Differential Features

Table A4. Df Expanded Over Differential Features

Table A5. Ef Expanded Over Ordinary Features

Table A6. Df Expanded Over Ordinary Features

Appendix 2. Differential Forms

Table A7. Differential Forms Expanded on a Logical Basis

Table A8. Differential Forms Expanded on an Algebraic Basis

Table A9. Tangent Proposition as Pointwise Linear Approximation

Table A10. Taylor Series Expansion Df = df + d²f

Table A11. Partial Differentials and Relative Differentials

Table A12. Detail of Calculation for the Difference Map

Appendix 3. Computational Details

Operator Maps for the Logical Conjunction f₈(u, v)

Computation of εf₈

Computation of Ef₈

Computation of Df₈

Computation of df₈

Computation of rf₈

Computation Summary for Conjunction

Operator Maps for the Logical Equality f₉(u, v)

Computation of εf₉

Computation of Ef₉

Computation of Df₉

Computation of df₉

Computation of rf₉

Computation Summary for Equality

Operator Maps for the Logical Implication f₁₁(u, v)

Computation of εf₁₁

Computation of Ef₁₁

Computation of Df₁₁

Computation of df₁₁

Computation of rf₁₁

Computation Summary for Implication

Operator Maps for the Logical Disjunction f₁₄(u, v)

Computation of εf₁₄

Computation of Ef₁₄

Computation of Df₁₄

Computation of df₁₄

Computation of rf₁₄

Computation Summary for Disjunction

Appendix 4. Source Materials

Appendix 5. Various Definitions of the Tangent Vector

References

References

cc: FB | Differential Logic • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science