[CG] Re: Differential Logic

Differential Logic • 17 • https://inquiryintoinquiry.com/2024/11/22/differential-logic-17-a/ Enlargement and Difference Maps — Continuing with the example pq : X → B, the following venn diagram shows the enlargement or shift map E(pq) : EX → B in the same style of field picture we drew for the tacit extension ε(pq) : EX → B. Enlargement E(pq) : EX → B • https://inquiryintoinquiry.files.wordpress.com/2024/11/field-picture-pq-enl… E(pq) = p ∙ q ∙ (dp)(dq) + p ∙ (q) ∙ (dp) dq + (p) ∙ q ∙ dp (dq) + (p) ∙ (q) ∙ dp dq A very important conceptual transition has just occurred here, almost tacitly, as it were. Generally speaking, having a set of mathematical objects of compatible types, in this case the two differential fields εf and Ef, both of the type EX → B, is very useful, because it allows us to consider those fields as integral mathematical objects which can be operated on and combined in the ways we usually associate with algebras. In the present case one notices the tacit extension εf and the enlargement Ef are in a sense dual to each other. The tacit extension εf indicates all the arrows out of the region where f is true and the enlargement Ef indicates all the arrows into the region where f is true. The only arc they have in common is the no‑change loop (dp)(dq) at pq. If we add the two sets of arcs in mod 2 fashion then the loop of multiplicity 2 zeroes out, leaving the 6 arrows of D(pq) = ε(pq) + E(pq) shown in the following venn diagram. Differential D(pq) : EX → B • https://inquiryintoinquiry.files.wordpress.com/2024/11/field-picture-pq-dif… D(pq) = p ∙ q ∙ ((dp)(dq)) + p ∙ (q) ∙ (dp) dq + (p) ∙ q ∙ dp (dq) + (p) ∙ (q) ∙ dp dq Resources — Logic Syllabus • https://inquiryintoinquiry.com/logic-syllabus/ Survey of Differential Logic • https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/ Regards, Jon cc: https://www.academia.edu/community/lP1a2M cc: https://www.researchgate.net/post/Differential_Logic_The_Logic_of_Change_an…