Two recognized formal families and one synthetic umbrella align with the three existence-axes the present argument identifies as the Conditions. Temporal logic regiments inferences over T, and spatial logic regiments inferences over S. The Φ-axis is distributed across formal ontology, mereology, classical first-order logic with identity, and substance metaphysics. The present argument gathers those traditions under the coined label *substantial logic*: the *logic of being qua being* in Aristotle's sense (*Metaphysics* Γ 1003a21), read specifically through persistence, identity, and part–whole structure. The convergence is therefore not that three literatures independently adopted the same three labels. It is that independently developed formal work clusters along T and S as established disciplines and along Φ across several traditions that the framework synthesizes. *Three Formally Distinct Logics* ([§2.10.1](<2.10.1 Three Distinct Logics.md>)) develops that derivation and states the coined status of the Φ-axis explicitly.


---

← [2.9.4 Contemporary Necessitarianism](<2.9.4 Contemporary Necessitarianism.md>) | [2.10 Three Logical Strata](<2.10 Three Logical Strata.md>) →
