# Survey of Differential Logic

3 views

### Jon Awbrey

Apr 25, 2023, 11:00:31 AMApr 25
to Cybernetic Communications, Laws of Form, Ontolog Forum, Structural Modeling, SysSciWG
Cf: Survey of Differential Logic • 5
https://inquiryintoinquiry.com/2023/04/25/survey-of-differential-logic-5/

All,

This is a Survey of work in progress on Differential Logic,
material I'm developing toward a more systematic account.

Differential logic is the component of logic whose object is
the description of variation — the aspects of change, difference,
distribution, and diversity — in universes of discourse subject
to logical description. A definition as broad as that naturally
incorporates any study of variation by way of mathematical models,
but differential logic is especially charged with the qualitative
aspects of variation pervading or preceding quantitative models.
To the extent a logical inquiry makes use of a formal system, its
differential component treats the use of a differential logical
calculus — a formal system with the expressive capacity to describe
change and diversity in logical universes of discourse.

Articles and blog series on the core ideas are linked below.

Differential Propositional Calculus
https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview
1 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1
2 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2
https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/

Differential Logic
https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview
1 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1
2 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2
3 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3
https://inquiryintoinquiry.com/2020/03/20/differential-logic-overview/

Differential Logic and Dynamic Systems
https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview
1 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_1
2 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2
3 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3
4 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_4
5 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_5
https://inquiryintoinquiry.com/2023/03/04/differential-logic-and-dynamic-systems-overview-2/

Regards,

Jon
https://mathstodon.xyz/@Inquiry