Differential Propositional Calculus • 22
•
https://inquiryintoinquiry.com/2024/12/19/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 “differential inference rules”.
For example, relative to a frame of observation to be elaborated more fully in time,
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/546DOv
cc:
https://www.researchgate.net/post/Differential_Propositional_Calculus