Jon Awbrey
unread,Mar 11, 2023, 2:40:33 PMMar 11Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Sign in to report message as abuse
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Cybernetic Communications, Laws of Form, Ontolog Forum, Structural Modeling, SysSciWG
Cf: Differential Logic and Dynamic Systems • Overview
https://inquiryintoinquiry.com/2023/03/04/differential-logic-and-dynamic-systems-overview-2/
All,
I was never on Twitter but I saw a lot of people I follow elsewhere
on the web were moving from there to various places in the so-called
Fediverse, especially to Mathstodon where they have LaTeX formatting,
so I went ahead and tagged along. The 500 character limit was a bit
of a challenge but it was an interesting experiment to see if I could
get anything across in a channel like that. At any rate, Mathstodon
just upped their limit to 1729 characters, more like a decent-sized
paragraph, so I'm looking at revising and serializing a few basic
articles in chunks of that order.
For starters, the blog post linked above and the transcript below update
the introduction to my article on Differential Logic and Dynamic Systems.
⁂ ⁂ ⁂
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.
Dynamic models take their cue from physics, using quantitative measures
and differential equations to model the evolution of a system’s state
through time. 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-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.
Mathstodon Links —
•
https://mathstodon.xyz/@Inquiry
Differential Logic Tag
•
https://mathstodon.xyz/tags/DifferentialLogic
Differential Logic and Dynamic Systems Thread
•
https://mathstodon.xyz/@Inquiry/109910069319800532
Regards,
Jon