Jon Awbrey · @Inquiry
23 followers · 67 posts · Server mathstodon.xyz#DifferentialPropositionalCalculus • Overview
https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/
By way of introduction to #DifferentialLogic, here begins a chapter on #DifferentialPropositionalCalculi, which augment #PropositionalCalculi with terms for describing aspects of change and difference, for example, processes taking place in a #UniverseOfDiscourse or #LogicalTransformations mapping a #SourceUniverse to a #TargetUniverse.
Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics
#DiscreteDynamics #QualitativeDynamics #systemstheory #cybernetics #TargetUniverse #SourceUniverse #LogicalTransformations #UniverseOfDiscourse #PropositionalCalculi #DifferentialPropositionalCalculi #DifferentialLogic #DifferentialPropositionalCalculus
Jon Awbrey · @Inquiry
22 followers · 51 posts · Server mathstodon.xyz#DifferentialPropositionalCalculus • #Overview
• https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/
By way of introduction to #DifferentialLogic, here begins a chapter on #DifferentialPropositionalCalculi, which augment #PropositionalCalculi with terms for describing aspects of change and difference, for example, processes taking place in a #UniverseOfDiscourse or #LogicalTransformations mapping a #SourceUniverse to a #TargetUniverse.
Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics
#DiscreteDynamics #QualitativeDynamics #systemstheory #cybernetics #TargetUniverse #SourceUniverse #LogicalTransformations #UniverseOfDiscourse #PropositionalCalculi #DifferentialPropositionalCalculi #DifferentialLogic #overview #DifferentialPropositionalCalculus