Cf: Differential Logic and Dynamic Systems • Discussion 4
https://inquiryintoinquiry.com/2021/05/26/differential-logic-and-dynamic-systems-discussion-4/
Re: Laws of Form
https://groups.io/g/lawsofform/topic/differential_propositional/81172986
::: Lyle Anderson
https://groups.io/g/lawsofform/message/162
https://groups.io/g/lawsofform/message/163
Dear Lyle,
I've been meaning to get back to your comments linked above — the connections you observed to finite difference
calculus, ordinary and partial differential equations, and differential geometry are very apt — but preparing the ground
for a smooth transition to differential logic takes time, plus I needed to deal with the details of the En ↔ Ex logical
graph duality I've been wanting to give their due for decades.
The flat out fastest key to the highway of differential logic is still the “Casual Introduction” I wrote for
“Differential Propositional Calculus”. It affords direct access to the basic intuitions and motivations of the
subject but stops short of the syntactic mechanics needed to really take off.
The jump from this point to the more aggressive approaches of “Differential Logic” and “Differential Logic and Dynamic
Systems” has long been a challenge. I went looking for materials to bridge the gap and was pleased to find a few old
writings I had almost forgotten but wrote when I myself was passing through a similar transition. Perhaps one of these
will help the intrepid reader hit the ground running in this field.
I'll take up one of those pieces next time.
To be continued …
Resources
=========
Differential Propositional Calculus • Part 1
https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1
Casual Introduction
https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#Casual_Introduction
Differential Logic
https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview
Differential Logic and Dynamic Systems
https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview
Regards,
Jon
_ _ _ _ _ _ _ _ _ _
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON
PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] .
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected]
with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the
body. More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and
co-managed by him and Ben Udell.
