Efficiency in Organism-Environment Information Exchanges: A Semantic Hierarchy of Logical Types Based on the Trial-and-Error Strategy Behind the Emergence of Knowledge

Based on Kolchinsky and Wolpert’s work on the semantics of autonomous agents, I propose an application of Mathematical Logic and Probability to model cognitive processes. In this work, I will follow Bateson’s insights on the hierarchy of learning in complex organisms and formalize his idea of applying Russell’s Type Theory. Following Weaver’s three levels for the communication problem, I link the Kolchinsky–Wolpert model to Bateson’s insights, and I reach a semantic and conceptual hierarchy in living systems as an explicative model of some adaptive constraints. Due to the generality of Kolchinsky and Wolpert’s hypotheses, I highlight some fundamental gaps between the results in current Artificial Intelligence and the semantic structures in human beings. In light of the consequences of my model, I conclude the paper by proposing a general definition of knowledge in probabilistic terms, overturning de Finetti’s Subjectivist Definition of Probability.