The Universal Explainer: Toward a Formal Theory of Explanation

This work develops a formal framework for explanation based on coherent computational structures. Using the untyped λ-calculus, it models explanatory chains as recursively compositional structures in which states and transformations exchange roles under a coherence condition. The framework distinguishes coherent structure from empirical theory, defining an explanation as their synthesis and introducing a formal definition of a universal explainer.