$G$-systems and 4E Cognitive Science

Abstract

We introduce a class dynamical systems called $G$-systems equipped with a coupling operation. We use $G$-systems to define the notions of dependence (borrowed from dependence logic) and causality (borrowed from Pearl) for dynamical systems. As a converse to coupling we define decomposition or ``reducibility''. We give a characterization of reducibility in terms of the dependence "atom". We do all this with the motivation of developing mathematical foundations for 4E cognitive science, see introductory sections.