Algorithmic-informational systemics: toward a formal theory from mutually self-organizing partial structures

• Grant number: 21/14501-8
• Support Opportunities: Scholarships in Brazil - Post-Doctoral
• Start date: July 01, 2022
• End date: June 22, 2026
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Itala Maria Loffredo D'Ottaviano
• Grantee: Felipe Sobreira Abrahão
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated scholarship(s): 23/05593-1 - Algorithmic information dynamics of formal theories, BE.EP.PD

Abstract

The pervasiveness of emergent self-organizing phenomena in biological systems constitutes a fundamental open problem regarding not only biology, but also other fields under the umbrella of complexity science such as cybernetics, artificial intelligence, sociology, and cognitive science. In addition to occurring within the context of systemics by partial structures and the theory of quasi-truth, our postdoctoral research project claims that such a problem enables one to mathematically answer the question of how formal knowledge is created by interacting systems in an environment (or universe). To this end, we focus on the theoretical investigation of the sufficient conditions for an interacting system (defined as a family of partial structures) to display emergent organization, self-organization, and enaction, where its interaction with the environment or other neighbor systems is measured by algorithmic information. Bringing an innovative interdisciplinary approach that is grounded on algorithmic information theory, pragmatic theory of quasi-truth, model theory, and cybernetics, our research proposal aims to construct definitions and abstract models upon which one can prove theorems that set the foundations and limitations of the concepts and phenomena. Based on this study in the context of mathematical logic and complex systems science, our long-term objectives include contributions to the pragmatism, representationalism, relativism, and constructivism debates. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

UTHAMACUMARAN, ABICUMARAN; ABRAHAO, FELIPE S.; KIANI, NARSIS A.; ZENIL, HECTOR. On the salient limitations of the methods of assembly theory and their classification of molecular biosignatures. NPJ SYSTEMS BIOLOGY AND APPLICATIONS, v. 10, n. 1, p. 5-pg., 2024-08-07. (23/05593-1, 21/14501-8)

ABRAHAO, FELIPE S.; WEHMUTH, KLAUS; ZENIL, HECTOR; ZIVIANI, ARTUR. On Sequential Structures in Incompressible Multidimensional Networks. PARALLEL PROCESSING LETTERS, v. 34, n. 03N04, p. 35-pg., 2024-11-20. (23/05593-1, 21/14501-8, 15/24493-1)