Jon Awbrey · @Inquiry
184 followers · 1221 posts · Server mathstodon.xyzDifferential Logic and Dynamic Systems • Overview 4
• https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-systems-overview/
Logic-based systems have tended to be static in character, largely because we have lacked a proper logical analogue of differential calculus. The work laid out in this series of posts is intended to address that lack.
#Logic #DifferentialLogic #DiscreteDynamicalSystems
#LogicalTransformations #TransformationsOfDiscourse
#IntelligentSystems #InquiryDrivenSystems #Semiotics
#semiotics #InquiryDrivenSystems #IntelligentSystems #transformationsofdiscourse #LogicalTransformations #DiscreteDynamicalSystems #DifferentialLogic #logic
Jon Awbrey · @Inquiry
184 followers · 1220 posts · Server mathstodon.xyzDifferential Logic and Dynamic Systems • Overview 3
• https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-systems-overview/
Symbolic models use logical methods to describe systems and their agents in qualitative terms, deriving logical consequences of a system’s description or an agent’s state of information.
#Logic #DifferentialLogic #DiscreteDynamicalSystems
#LogicalTransformations #TransformationsOfDiscourse
#IntelligentSystems #InquiryDrivenSystems #Semiotics
#semiotics #InquiryDrivenSystems #IntelligentSystems #transformationsofdiscourse #LogicalTransformations #DiscreteDynamicalSystems #DifferentialLogic #logic
Jon Awbrey · @Inquiry
184 followers · 1219 posts · Server mathstodon.xyzDifferential Logic and Dynamic Systems • Overview 2
• https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-systems-overview/
Dynamic models take their cue from physics, using quantitative measures and differential equations to model the evolution of a system’s state through time.
#Logic #DifferentialLogic #DiscreteDynamicalSystems
#LogicalTransformations #TransformationsOfDiscourse
#IntelligentSystems #InquiryDrivenSystems #Semiotics
#semiotics #InquiryDrivenSystems #IntelligentSystems #transformationsofdiscourse #LogicalTransformations #DiscreteDynamicalSystems #DifferentialLogic #logic
Jon Awbrey · @Inquiry
184 followers · 1218 posts · Server mathstodon.xyzDifferential Logic and Dynamic Systems • Overview 1
• https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-systems-overview/
In modeling intelligent systems, whether we are trying to understand a natural system or engineer an artificial system, there has long been a tension or trade-off between dynamic paradigms and symbolic paradigms.
#Logic #DifferentialLogic #DiscreteDynamicalSystems
#LogicalTransformations #TransformationsOfDiscourse
#IntelligentSystems #InquiryDrivenSystems #Semiotics
#semiotics #InquiryDrivenSystems #IntelligentSystems #transformationsofdiscourse #LogicalTransformations #DiscreteDynamicalSystems #DifferentialLogic #logic
Jon Awbrey · @Inquiry
156 followers · 802 posts · Server mathstodon.xyzTransformations of Discourse
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3#Transformations_of_Discourse
❝The same thing cannot, however, be said about mathematics; for here we have the new method of thought, pure intellect, the very well‑spring of the times, the fons et origo of an unfathomable transformation.❞
— Robert #Musil • #TheManWithoutQualities
#Logic #DifferentialLogic #DiscreteDynamicalSystems
#LogicalTransformations #TransformationsOfDiscourse
(3/3)
#transformationsofdiscourse #LogicalTransformations #DiscreteDynamicalSystems #DifferentialLogic #logic #themanwithoutqualities #musil
Jon Awbrey · @Inquiry
156 followers · 800 posts · Server mathstodon.xyzTransformations of Discourse
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3#Transformations_of_Discourse
… ❝for he no more needs to be capable of applying to his own personal soul what is daring and new in the soul of his subject than a machine is in fact capable of applying to itself the differential calculus on which it is based.❞ …
— Robert #Musil • #TheManWithoutQualities
#Logic #DifferentialLogic #DiscreteDynamicalSystems
#LogicalTransformations #TransformationsOfDiscourse
(2/3)
#transformationsofdiscourse #LogicalTransformations #DiscreteDynamicalSystems #DifferentialLogic #logic #themanwithoutqualities #musil
Jon Awbrey · @Inquiry
38 followers · 134 posts · Server mathstodon.xyzSurvey of #DifferentialLogic
• https://inquiryintoinquiry.com/2022/11/20/survey-of-differential-logic-4/
This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account.
#Logic
#LogicalGraphs
#CactusLanguage
#QualitativeDynamics
#PropositionalCalculus
#LogicalTransformations
#MinimalNegationOperators
#DiscreteDynamicalSystems
#TransformationsOfDiscourse
#DifferentialPropositionalCalculus
#DifferentialAnalyticTuringAutomata
#DifferentialAnalyticTuringAutomata #DifferentialPropositionalCalculus #transformationsofdiscourse #DiscreteDynamicalSystems #MinimalNegationOperators #LogicalTransformations #PropositionalCalculus #QualitativeDynamics #CactusLanguage #LogicalGraphs #logic #DifferentialLogic
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