[CG] Re: Differential Propositional Calculus

Differential Propositional Calculus • 16 • https://inquiryintoinquiry.com/2024/12/14/differential-propositional-calcul… Differential Propositions • Qualitative Analogues of Differential Equations — A differential extension of a universe of discourse [†A†] is constructed by augmenting its alphabet ‡A‡ with a set of symbols for “differential features”, in effect “basic changes” capable of occurring in [†A†]. The additional symbols are taken to denote primitive features of change, qualitative attributes of motion, or proposals about the ways items in the universe of discourse may change or move in relation to features noted in the original alphabet. To give the new symbols a name, we define the “differential alphabet” or “tangent alphabet” d‡A‡ = {“da₁”, …, “daₙ”}, in principle just an arbitrary set of symbols, disjoint from the initial alphabet ‡A‡ = {“a₁”, …, “aₙ”} and given the meanings just indicated. In practice the precise interpretation of the symbols in d‡A‡ is conceived to be changeable from point to point of the underlying space A. Indeed, for all we know, the state space A might well be the state space of a language interpreter, one concerned with the idiomatic meanings of the dialect generated by ‡A‡ and d‡A‡. Resources — Differential Logic and Dynamic Systems • https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Differential Propositions • Qualitative Analogues of Differential Equations • https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Regards, Jon cc: https://www.academia.edu/community/V3K4OE cc: https://www.researchgate.net/post/Differential_Propositional_Calculus