#DifferentialLogic and #DynamicSystems • Overview
• https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-systems-overview/

In modeling #IntelligentSystems, natural or artificial, there is a tension between #DynamicParadigms & #SymbolicParadigms.

#DynamicModels afford a system #QuantitativeDescription, charting its #TimeEvolution via #DifferentialEquations.

#SymbolicModels afford a system #QualitativeDescription, deducing its #LogicalConsequences. So far these tend to be static models, awaiting a logical analogue of #DifferentialCalculus.