The Logical Structure of Physical Laws: A Fixed Point Reconstruction

We formalise the self-referential definition of physical laws using monotone operators on a lattice of theories, resolving the pathologies of naive set-theoretic formulations. By invoking Tarski fixed point theorem, we identify physical theories as the least fixed points of admissibility constraints derived from Galois connections. We demonstrate that QED and GR can be represented in such a logical structure with respect to their symmetry and locality principles.