The Shape of a Total Theory: A Necessary-Conditions Net

Abstract

Physics pursues a theory of everything, and metaphysics disputes whether the world is unified enough to admit one; both enterprises presuppose a standard for what such a theory would have to be. This paper states that standard. A theory is total if it quantifies over everything and places no explanandum outside its own scope, including the theorists who hold it. Such a theory answers to two independent standards: coherence, that it hangs together as a system, and completeness, that it addresses every domain its own scope entails. This paper states and defends a battery of necessary conditions for both, and its contribution lies in how the completeness conditions are obtained: they are derived rather than listed. Seating the theorist inside the described world forces most of the domains a complete account must address, and an independent-variation test sorts the forced domains into structural slots, required of any total theory, and world-contingent fillers, required only of a theory of our world. Gravity and spacetime land among the fillers—a verdict no inventory built by inspection would deliver, and evidence that the derivation does more than relabel one. The conditions specify a target, what would count as a coherent, complete total account, without asserting that such an account exists, is unique, or has been found; that restraint keeps the net compatible with scientific pluralism. Read against the current landscape, the net is diagnostic: no surveyed account clears the structural conditions together, and the failures are complementary—each family illuminates a region its rivals leave dark. The conditions also reach past physics, and the closing survey reads a via-negativa tradition against the same net. The net is a sieve and a target specification: it rejects what violates its conditions, and it certifies no survivor as correct.