Jon Awbrey · @Inquiry
57 followers · 186 posts · Server mathstodon.xyz#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.
#DifferentialCalculus #logicalconsequences #qualitativedescription #symbolicmodels #differentialequations #timeevolution #quantitativedescription #dynamicmodels #symbolicparadigms #dynamicparadigms #IntelligentSystems #dynamicsystems #DifferentialLogic