[CG] Re: Differential Propositional Calculus

Differential Propositional Calculus • 22 • https://inquiryintoinquiry.com/2023/12/14/differential-propositional-calcul… A One-Dimensional Universe (cont.) The “first order differential extension” of †X† is E†X† = {x₁, dx₁} = {A, dA}. If the feature A is interpreted as applying to some object or state then the feature dA may be taken as an attribute of the same object or state which tells it is changing “significantly” with respect to the property A, as if it bore an “escape velocity” with respect to the state A. In practice, differential features acquire their meaning through a class of “temporal inference rules”. For example, relative to a frame of observation to be left implicit for now, if A and dA are true at a given moment, it would be reasonable to assume (A) = ¬A will be true in the next moment of observation. Taken all together we have the fourfold scheme of inference shown below. Differential Inference Rules • https://inquiryintoinquiry.files.wordpress.com/2023/12/differential-logic-e… Resources — Differential Logic and Dynamic Systems • https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Differential Logic • One-Dimensional Universe • https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Regards, Jon cc: https://www.academia.edu/community/LpJeY5