Notes

1. Groundwork

  1. Fixing Reality’s meaning by the role it names makes it a structural-role term: its reference is fixed by what the role requires, not by which thing fills it. How structural-role anchoring sits relative to the referring strategies Saul A. Kripke1 treats is drawn out in §1.2, where real possibility is fixed.
  2. An example sharpens this: even on a theist’s own terms, to say God is real just means God belongs to Reality, not that God stands outside it. What the theist actually wants is the more modest claim that God stands outside nature, not outside Reality itself.
  3. A line of objection holds that the relevant kind of grounding is precisely not a succession (not even in logical space) but atemporal: a relation of metaphysical dependence that runs from ground to grounded without requiring temporal priority. Even granted at full strength, the objection does not relieve the local burden: any candidate for what makes possibility possible must be nameable, and naming requires the roles it was supposed to provide. Succession, distinction, and exchange do not arrive one by one; they arrive together, and when they arrive, possibility is the name for their being in place together. The atemporal-grounding position is engaged at strength in §5.1.1.
  4. For Ch 4 engagements on the time / change interface read against the change-as-primitive thesis developed here, see the §4.2 cluster: McTaggart’s argument that time itself is unreal (§4.2.5), block-universe / B-theory readings (§4.2.6), Lewis on temporary intrinsics (§4.2.7), emergent-time accounts (§4.2.3), Sider’s stage theory (§4.2.8), Platonism on abstract structure (§4.2.4), changeless-ground accounts (§4.2.1), and Shoemaker on time without change (§4.2.2).
  5. On whether the exchange a change requires is anything more than Humean constant conjunction. Grant the Humean reading at full strength: the phenomenology of resistance is not by itself evidence of a persisting medium, and the impression-reading (constant conjunction plus a felt residue) is a live option the argument owes a reply to. Even there, the argument still owes an account of why exchange is a third requirement alongside succession and distinction rather than a projection onto bare succession. That burden is not discharged by the definition; it is taken up through the Cartesian-certainty closure on change (§2.2), while §4.1.4 engages Humean constant-conjunction, primitive-asymmetry, and Best System accounts of the persistence-medium requirement on their own terms.

2. The Argument

  1. Fictionalism questions whether modal statements bear truth values at all (§4.4.4); dialetheist and paraconsistent revisions of classical exclusivity or consequence are met in operation, where §2.7.2 tests the logical-revisionist rescue of the Null State and §5.3.4 runs the catuṣkoṭi, the four-cornered tetralemma, against the necessity of the Conditions; dappled-world and deflationist views question whether one global modal domain is available (§4.1.8); and quietism doubts that the disjunction is meaningful (§4.1.9).
  2. The bilateral reading of Modal Bivalence (the requirement that the modal constraint do permission-work and prohibition-work alike) meets its objections in Chapter 4. The canonical one-sided position is the Humean denial of necessary connection, which grants permissions but resists prohibitions as anything beyond regularity (§4.1.4). Lewis presses whether plenitude permits everything and so loses the prohibition side (§4.4.1), and fictionalism presses one-sided modal commitment (§4.4.4). Williamson’s necessitism is the closest ally on bilateral modal invariance (§4.4.6), and dappled-world accounts ask whether the bilateral reading scales beyond local domains (§4.1.8).
  3. The invariance is over real / metaphysical modal status (whether P obtains in Reality) not over what remains ideally conceivable under a primary intension or what is epistemically open. The two-dimensional pressure on the invariance claim is engaged at §4.1.2.
  4. The Reverse-Lift diagnostic at §3.5.4 marks exactly what Chapter 3 reaches without S5 and where □◇C remains upstream. The objections to global modal invariance are met in Chapter 4: §4.1.4 takes up Humean contingency, §4.4.9 handles modal collapse, §4.4.6 engages Williamson’s necessitism, and §4.4.8 takes up the refusal of bilateral invariance.
  5. World-relative and rival-domain readings are engaged through Lewis (§4.4.1), Williamson (§4.4.6), modal collapse (§4.4.9), Sider (§4.4.7), and the source-of-possibility question (§4.1.10).
  6. Concrete modal realism and rival accessibility structures are engaged at §4.4.1; invariant-domain and necessitist readings at §4.4.6; primitivist and structuralist alternatives at §4.4.7; refusals of bilateral invariance at §4.4.8–§4.4.9; and the source of possibility at §4.1.10.
  7. The claim that ¬◇C is closed under accessibility meets several objections in Chapter 4, the brute-emergence reading of the Humean chief among them. The Humean denial of necessary connection is the brute-emergence position the closure rules out (§4.1.4); the changeless-world picture supplies the prior state the closure forecloses (§4.2.1); emergent-time accounts ask whether the transition into change can be staged from outside (§4.2.3); and dialetheist refusals ask whether ¬◇C can both hold and fail at the transition (§4.4.9).
  8. The global and relative readings of modality are pressed in Chapter 4: Williamson (§4.4.6), Lewis (§4.4.1), modal collapse (§4.4.9), and the source-of-possibility question (§4.1.10).
  9. The objections to the candidate-ground convergence are taken up in Chapters 4 and 5. The apophatic positions (Plotinus’ One, the Eckhartian Godhead, śūnyatā, and the contemporary ‘ground beyond ground’) fall under classical simplicity and the apophatic-theological tradition, the principal target of the determinacy-plus-relation argument (§5.2). The contrasting cataphatic line is Plantinga’s necessary personal being (§5.1.7), with Swinburne on personal-explanation grounds (§5.1.4) and idealism on whether the ground is mental rather than structural (§4.3.5). The van Hamme jurisdictional reading is engaged directly under the jurisdictional-limits treatment (§5.1.7), and Lewis raises whether alternative grounds can be hosted by plenitude rather than by structure (§4.4.1).
  10. §4.3.2 engages the Ch 4 objections that the cognitive performance the Cogito presupposes is itself illusory or eliminable; §4.3.1 takes up the related objection that consciousness as substrate stands outside structural exhaustion, the hard problem of consciousness. The input secures the possibility of change without itself answering the hard-problem pressure, which is carried forward rather than discharged here.
  11. The §4.2 cluster engages the Ch 4 objections targeting the change-witness itself: §4.2.1 takes up changeless-ground accounts that would refuse the witness, and §4.2.2 handles Shoemaker’s argument that the temporal structure can hold without change.
  12. The reading of the subdivisions as potential — generated by the act of dividing rather than antecedently completed — is Aristotle’s own (Physics VIII.8);2 the reading of motion as a unity misdescribed when reconstituted from the stationary positions it passes through is Bergson’s.3 The formal dissolution of the divisibility paradoxes in the convergent series (½ + ¼ + ⅛ + … = 1) meets them on their own ground; the witness does not need it, since ◇C rides on bare succession rather than the summed continuum.
  13. The objections to the lift itself (whether the possibility of change has a source, and whether modal invariance can bear this weight) are engaged in Chapter 4: whether possibility has a source (§4.1.10), the Principle of Sufficient Reason (§4.1.3),4 and Humean contingency (§4.1.4).
  14. Chapter 4 engages the result that T, S, and Φ constitute modal structure rather than occupying it. Plantinga’s modal ontological argument supposes God’s necessity to ground rather than presuppose modal structure (§5.1.7), Tegmark’s mathematical-universe hypothesis identifies modal structure with mathematical structure (§4.3.7), Lewis’s concrete modal realism makes possible worlds concrete spatiotemporal manifolds (§4.4.1), linguistic ersatzism offers abstract-world surrogates (§4.4.2), and Armstrong’s combinatorialism generates modal structure recombinatorially (§4.4.3).
  15. The concept/essence gap closure (that the structural Conditions have no hidden microstructure behind their surface descriptions, and that the H₂O/XYZ Twin Earth analog fails at the structural level) is engaged in Chapter 4. Information-theoretic ontology takes up the surface-vs-deep-nature distinction (§4.1.5), Mathematical Platonism the abstract essences and the abstract-truth analog of the Kripkean gap (§4.2.4), and the Source of Possibility engages Finean essence-before-modality at strength through the strict/weak-ground fork (§4.1.10). Idealism reopens the gap at the constituting-mind level (§4.3.5), and the Modal Collapse Objection engages Schaffer’s priority monism through the constitutive-versus-productive grounding distinction (§4.4.9).
  16. The classical-theist reading on which a simple ground holds the dependence-role eminently or virtually (by plenitude rather than by composition) is engaged at §5.2.1 (Divine Simplicity), §5.3.2 (Neoplatonism), and §5.2.2 (The Via Negativa).
  17. The grounding-demand closure (that any demand for a ground of the structural Conditions is made from inside the framework it seeks to stand outside) is engaged in Chapter 4. The further-grounding demand runs explicitly in the First Cause / cosmological argument (§5.1.2) and in the demand for a rational ground of logic (§5.1.9). The methodologically closest contemporary neighbor is Pizzi’s impossibility of nothingness, which reaches the same modal floor by truth-maker, semantic, and Kripke-frame reductios (§4.1.11), and ontic structural realism engages the abstract analogues of T, S, and Φ from the relational side via the relations-before-relata line (§4.3.9).
  18. The facthood line (the claim that anything’s being the case requires T, S, and Φ at the abstract level, that the Null Hypothesis dissolves at the level of content, and that the modal contrast space presupposes the structural Conditions) is engaged in Chapter 4. The abstract-truth case is taken up directly under Mathematical Platonism (§4.2.4), and Pizzi’s impossibility of nothingness runs the same nothingness-impossibility argument by truth-maker, semantic, and Kripke-frame reductios to a strictly weaker bare-existential terminus (§4.1.11). On the modal contrast space, Lewis’s modal realism turns plurality-of-worlds into plurality-of-concrete-existents (§4.4.1), linguistic ersatzism makes worlds abstract proposition-sets whose distinctness presupposes the structural conditions (§4.4.2), and Armstrong’s combinatorialism generates the modal contrast space within the conditions of recombination (§4.4.3).
  19. The framework-invariance claim is engaged in Chapter 4: the Principle of Sufficient Reason as an alternative ground (§4.1.3), whether possibility has a source distinct from the structural Conditions (§4.1.10), Tegmark’s mathematical universe as a rival framework (§4.3.7), and structural realism as an alternative reading of the Conditions (§4.3.9).
  20. The objections to the temporal Condition are engaged in Chapter 4: McTaggart’s denial of temporal reality (§4.2.5), the block universe and B-theoretic order without becoming (§4.2.6), the changeless ground (§4.2.1), and Platonist atemporality (§4.2.4). The Humean reading of temporal succession without causal direction is taken up at §4.1.4.
  21. The composition view of Temporality, the dimension feature (the ordered manifold) and the passage feature (the directed flow through it) as two features Temporality requires, is developed at §7.2, dissolving the A-series/B-series dispute at the level of Ch 7 confirmation.
  22. The objections to the spatial Condition are engaged in Chapter 4: bundle theory and tropes, which deny relational positions as fundamental (§4.3.10), mereological nihilism, which denies extended composites (§4.3.11), haecceitism and primitive thisness, which ground distinctness without relational extension (§4.3.12), Sider’s structuralism on relational extension (§4.4.7), and Platonist aspatiality (§4.2.4).
  23. The objections to the physical Condition are engaged in Chapter 4: Russellian monism (§4.3.3), idealism (§4.3.5), bundle theory and tropes (§4.3.10), and mereological nihilism (§4.3.11). The hard problem, as an alleged consciousness-substrate outside structural exhaustion, is taken up at §4.3.1.
  24. The necessity claim is challenged on several fronts in Chapter 4: the Principle of Sufficient Reason offers a rival ground of necessity (§4.1.3); Quine denies the analytic–essential distinction the essential aspect relies on (§4.1.6); conventionalism treats necessity as stipulated rather than structural (§4.1.7); the source-of-possibility question asks whether possibility has an independent source (§4.1.10); and Williamson’s necessitism stands as the over-strong rival (§4.4.6).
  25. The converse (that structure suffices for change-possibility) is engaged in Chapter 4: Sider’s structuralism (§4.4.7), structural realism (§4.3.9), Tegmark’s mathematical universe (§4.3.7), the changeless ground (§4.2.1), and the block universe (§4.2.6).
  26. Shoemaker’s canonical staggered-freeze argument for time without change is engaged at §4.2.2.
  27. The masking-foreclosure result (that T, S, and Φ are the structural context within which every disposition and mask operates, not localized dispositions that can themselves be masked) is engaged in Chapter 4. Schaffer’s priority monism is taken up through the constitutive-versus-productive grounding distinction in the Modal Collapse Objection (§4.4.9), and ontic structural realism engages structure-as-primitive from the relational side (§4.3.9).
  28. The identity of Nature with the necessitated co-instantiation of the Conditions is metaphysical-structural: the same modal constraint picked out with no remainder by the two descriptions (change-possibility and T∧S∧Φ). It is not a claim about what remains ideally conceivable under a primary intension, and the Modal Identity that follows is secondary / metaphysical necessity: necessity in the real modal structure, not closure of primary conceivability or of what is epistemically open. The two-dimensional question whether the non-identity remains primarily conceivable even where the secondary identity holds is engaged at §4.1.2.
  29. The three-Conditions-one-Nature framing (that T, S, and Φ are one structural fact read along three axes rather than three independent conditions) is engaged in Chapter 4. The closest contemporary ally is structural realism (Ladyman & Ross, French), which nonetheless diverges on what the structure consists in (§4.3.9). Sider’s structuralism (§4.4.7), bundle theory and tropes on the compose-by-relation picture (§4.3.10), and mereological nihilism on whether there is anything for the three to be conditions of (§4.3.11) press from their own directions, and Quine’s anti-distinction pressure asks whether the three pivots name a single fact under three readings or three independent facts (§4.1.6).
  30. The T pivot, T ↔︎ (S ∧ Φ) and the four realizer lines (traversability, asymmetry-location, interval-reality, position-individuation), is engaged in Chapter 4. The canonical opponent of the realizer move’s real reading is the Humean denial of necessary connection between distinct existences (§4.1.4). Sider’s stage theory and temporal-parts ontology press on what makes succession real (§4.2.8), Platonism about non-spatial sequences (Frege–Gödel, Shapiro, Maddy, Balaguer) is the principal order-without-extension opponent (§4.2.4), emergent time presses on whether T is fundamental enough to enter the biconditional (§4.2.3), and Tegmark’s mathematical universe asks whether order-without-extension is enough (§4.3.7).
  31. The S pivot, S ↔︎ (T ∧ Φ) and the four realizer lines (distinctness, interaction, occupancy, interval), is engaged in Chapter 4. The canonical anti-S opponent is mereological nihilism: no composites, hence no relational structure beyond simples (§4.3.11). Structural realism (Ladyman, French) is the closest ally on relational fabric, diverging on what the relations consist in (§4.3.9), Sider’s structuralism takes up spatial structure (§4.4.7), bundle theory and tropes ask whether positions are anything beyond their occupants (§4.3.10), and Tegmark asks whether relational extension is mathematical rather than substantive (§4.3.7).
  32. The Φ pivot, Φ ↔︎ (T ∧ S) and the four realizer lines (continuity, identity, persistence, causation), plus the hosting/plural/grain-independent supplement, is engaged in Chapter 4. The strongest opponent of the identity line is eliminativism and illusionism about persistence (§4.3.2). Sider’s stage theory reads persistence as concatenation of stages rather than endurance (§4.2.8), bundle theory and tropes ask whether there is a persistent subject beyond the bundle (§4.3.10), idealism accepts persistence but reads it as mental rather than as Φ (§4.3.5), Russellian monism posits intrinsic categorical natures behind the persistence-medium (§4.3.3), and the Humean denial of necessary connection presses at the persistence-vehicle for causal transmission (§4.1.4).
  33. The objections to the Mutual Containment claim (the denial that T, S, and Φ are independently separable) are engaged in Chapter 4: bundle theory and tropes, which deny compositional unity (§4.3.10), mereological nihilism, which denies that any joint instantiation runs deeper than the simples (§4.3.11), Sider’s structuralism (§4.4.7), and structural realism (§4.3.9).
  34. T2 draws the necessity-without-collapse worry (modal collapse) engaged at §4.4.9. Alternative structuralist readings of the identity claim come from Sider’s structuralism (§4.4.7) and structural realism (§4.3.9). The rival frozen-structure-as-mathematical-universe candidate the identity reading forecloses is pressed by Tegmark (§4.3.7) and the changeless-ground picture (§4.2.1).
  35. The necessitation in the Modal Identity is real / metaphysical: necessity in the modal structure, not closure of primary conceivability or epistemic openness. The two-dimensional question whether the biconditional remains primarily conceivable as false even where the secondary structural identity holds is engaged at §4.1.2.
  36. The cross-entailment among the three roles (T3) is engaged in Chapter 4. The Humean denial of necessary connection between distinct existences presses directly at the cross-entailment site (§4.1.4), conventionalism about laws at §4.1.7, Quine’s denial of the analytic–essential distinction the cross-entailment relies on at §4.1.6, and Sider’s structuralism on lawlike structure at §4.4.7.
  37. The being-side reading of T4 (that T∧S∧Φ is what being in Nature consists in) is engaged in Chapter 4. Idealism makes being a mode of mind rather than structure (§4.3.5), Russellian monism posits intrinsic categorical natures behind the structure (§4.3.3), bundle theory and tropes read being as bundle rather than Φ-in-operation (§4.3.10), and mereological nihilism denies the composites the being-reading addresses (§4.3.11); structural realism is the closest ally that nonetheless diverges on what the structure consists in (§4.3.9). The classical-theist reply (that God is being itself, held exempt from instantiating T∧S∧Φ rather than counted as a being that instantiates it) is taken up under divine simplicity, on which God is identical with subsistent existence rather than a being that has it (§5.2.1), Neoplatonism and the One held to be beyond being (§5.3.2), and the via negativa, which withholds positive structural predication of God (§5.2.2).
  38. The Triunity claim (that the modal, nomological, and ontological readings are one Nature rather than three independent layers) is engaged in Chapter 4. Modal collapse is the worry the Triunity must disarm at the propositional level (§4.4.9), Lewis reads modal realism as a three-layer picture (§4.4.1), Sider’s structuralism (§4.4.7) and structural realism press on what the convergence consists in (§4.3.9), and Quine’s anti-distinction pressure targets the layer-as-reading move (§4.1.6).
  39. Whether the thin Conditions granted to an atemporal ground (mere priority, distinctness, and dependence) descend to the loaded reading (directional succession and causal carrying), the classical-theist and Neoplatonic line, is established at §2.8.6 in two stages. Its modal core is discharged in-chapter at §2.8.6 (Exclusivity of Nature, Theorem 7): any candidate necessary ground either instantiates T, S, and Φ in the loaded sense (structure under another description) or forecloses rather than enables any possible state of affairs, a variant of ∅, on owned Chapter-2 machinery (the Triconditional Cross-Entailment §2.6.7 and the Incoherence of ∅ §2.7.2). The strongest named formulations are then tested at §5.2.1 (Divine Simplicity), §5.3.2 (Neoplatonism), and §5.2.2 (The Via Negativa).
  40. Theorem 5 (the joint claim that Nature is the necessary co-instantiation of T∧S∧Φ and that this is identical to □◇C) is engaged in Chapter 4: modal collapse (§4.4.9), Williamson’s necessitism (§4.4.6), Sider’s structuralism (§4.4.7), modal fictionalism (§4.4.4), Tegmark’s mathematical universe (§4.3.7), eliminativism and illusionism (§4.3.2), structural realism (§4.3.9), and the question whether possibility has a source (§4.1.10).
  41. Condition-Individuation (the two-clause LEM-plus-irreducibility screen on candidate Conditions) is engaged in Chapter 4. The canonical opponent of the LEM-applicable axis carving is Quine’s existence-univocity (§4.1.6); structural realism and Sider are the closest ally that nonetheless diverges on which joints (§4.3.9), Tegmark’s mathematical universe presses for fourth-Condition mathematical axes (§4.3.7), and conventionalism/anti-realism about laws presses on the irreducibility-clause (§4.1.7).
  42. Conditioned-Nature and its results (the genitive nature of X terminating in a structural feature of N, the Wigner Dissolution, and the Essence-Description collapse) are engaged in Chapter 4. Platonism about mathematical objects is the Wigner Dissolution’s chief opponent, with Gödel and Maddy named inline (§4.2.4); Tegmark’s mathematical universe is the inverse position that identifies mathematics with Nature rather than treating it as Nature’s quantifiable articulation (§4.3.7); Russellian Monism, whose intrinsic quiddities are the modern form of the Lockean real-essence picture the Essence-Description Result collapses, is taken up with Locke named inline (§4.3.3); classical simplicity is the most demanding case, where a nature of X is held to deny T, S, and Φ: flagged here and referred to Chapter 6, with the related Chapter 5 territory engaged at §5.2; bundle theory and tropes are engaged on the side of having a nature (§4.3.10); and modal fictionalism presses on whether modal vocabulary can carry the genitive identification at all (§4.4.4).
  43. The closure here is at the level of real, metaphysical possibility: ∅ is not a region within modal structure, nor the absence of a feature within it, but the collapse of modal structure itself. Whether ∅ remains conceivable even where it is precluded from real modal structure is a separate, two-dimensional question that the secondary structural identity does not by itself settle; that burden is engaged at §4.1.2, with the conceivability-inversion line carried through at §3.4.
  44. Three neighboring engagements complete the routing the body begins: §5.1.2 handles the Kalām’s causal PSR, §5.2 carries classical divine simplicity, and §4.4.9 tests whether any proposed explanation collapses contingency into necessity.
  45. The ∅ Reductio’s closure of the isolated-world scenario is engaged from several angles in Chapter 4. Pizzi’s three reductios of absolute nothingness are the closest contemporary cousin on the ∅-foreclosure side (§4.1.11); Lewis’s modal realism supplies the isolated-world picture the Reductio closes (§4.4.1); Williamson’s necessitism presses whether the closure delivers universal necessity in the intended sense (§4.4.6); the Kalām cosmological argument leans on absolute nothingness as the live alternative the Reductio forecloses (§5.1.2); and the modal-collapse worry asks whether the Reductio leaves room for genuine contingency at the configuration level (§4.4.9).
  46. The Necessity of Nature is challenged across Chapter 4 by idealism (§4.3.5), the Mathematical Universe Hypothesis (§4.3.7), structural realism (§4.3.9), Humean contingency (§4.1.4), and two-dimensional semantics (§4.1.2). The Conceivability Trap (§3.3.4) develops a convergent line, and phenomenal-consciousness objections are carried in Chapter 8.
  47. The constitutive-laws claim, against the law accounts this section surveys, is engaged in Chapter 4. Both the Humean best-systems account (Lewis, the canonical opponent of the constitutive reading) and the governing-law account (Armstrong, Dretske, Tooley) are taken up at §4.1.4, and conventionalism about laws (the closest neighbor to the contingent-regularities reading the constitutive claim denies) at §4.1.7.
  48. The performative-confirmation reading (whether the cogito-style move at the chapter’s close adds anything beyond §2.2.1, and whether thinking-is-changing genuinely instantiates T, S, and Φ) is engaged in Chapter 4. The strongest opponents of the thinking is changing premise are eliminativism and illusionism about mental states (§4.3.2), while idealism accepts the premise but reads the change as wholly mental rather than as structural T∧S∧Φ (§4.3.5).
  49. The Necessity of Nature as a thesis (the modal-structure claim that Nature is the necessary structure of T∧S∧Φ) is engaged in Chapter 4. Idealism is the inverse position, locating the basement in mind rather than in any of the three Conditions (§4.3.5); Russellian monism posits intrinsic categorical natures behind the structure (§4.3.3); Plantinga’s modal ontological argument is the tool whose target the present argument inverts (§5.1.7); and classical simplicity, with the analogia entis reply that causal power applies to a placeless ground only analogically, is the most demanding case, where a candidate ground is held to lack T, S, and Φ (§5.2.1).
  50. The necessity-as-precondition-of-contingency claim and Modal Closure are engaged in Chapter 4. Rasmussen’s Foundation Argument and the cosmological-argument-from-contingency family (Avicenna, Leibniz, Clarke, Rasmussen) meet the structural-terminus reply at full strength (§5.1), the present section having closed Aquinas’s Third Way inline as the historical ancestor. Williamson’s necessitism is the closest contemporary ally on universal necessity but with a different scope (§4.4.6), Lewis takes up modal realism and contingency across worlds (§4.4.1), modal collapse is the worry that necessity-as-precondition leaves no genuine contingency (§4.4.9), and Modal Exclusivity is what Modal Closure pairs with structurally (§4.1.10).
  51. The precedent literature is engaged dialectically in Chapter 4. Williamson’s necessitism is the contemporary necessitist complement to the Della Rocca / Karofsky necessitarian line (§4.4.6), Rasmussen’s foundation argument is the contemporary necessary-being program (§5.1), and Spinozist pantheism carries the Deus-sive-Natura identification (§5.3.1). Pizzi’s impossibility of nothingness is the closest methodological cousin (§4.1.11), and modal fictionalism is where the modal-deflationist alternative is engaged (§4.4.4).
  52. §4.1.8 engages ontological deflationism and §4.1.9 takes up Wittgensteinian quietism, the Chapter 4 meta-philosophical objections to the framework’s commitments; §4.3.9 handles structural realism, the structural-realist alternative engaging the metaphysical-structuralist commitments.
  53. The three-logics derivation (temporal, spatial, and substantial logic as axis-individuated formal disciplines) is engaged in Chapter 4. Quine is the principal substantial-logic ancestor and the divergence point on whether identity is one discipline among many or part of classical first-order logic simpliciter (§4.1.6). Conventionalism asks whether axis-individuation is structural rather than chosen (§4.1.7); structural realism (Ladyman & Ross) is the closest ally on Reality’s carvable joints, diverging on whether the joints are these three (§4.3.9); mereological nihilism asks whether substantial logic has anything composite to regiment (§4.3.11); and Tegmark asks whether the three logics are mathematical structures rather than features of Reality (§4.3.7).
  54. The stratified architecture (physics as Layer 2 rather than Layer 0, metaphysics as the discipline of the root layer and Layer 1, and the anti-physicalist relocation of the foundation) is engaged in Chapter 4. Structural realism (Ladyman & Ross’s Every Thing Must Go) is the naturalized-metaphysics position the framework partially agrees with and parts from on where the joints lie (§4.3.9); Quine, on ontology tracking bound-variable values, meets the framework’s reply that the values must instantiate the three Conditions (§4.1.6); Tegmark asks whether the root is mathematical rather than logical (§4.3.7); eliminativism presses on metaphysics as a legitimate discipline (§4.3.2); and governing-law accounts (Armstrong, Dretske, and Tooley’s necessitation-relation accounts) are the non-Humean alternative on whether laws govern Layer 2 (§4.1.4).
  55. The metalogical position (logic as metaphysically grounded, structurally individuated, realist, and foundational to the sciences) is engaged across several Chapter 4 sections. Carnap-style conventionalism is the principal rejected alternative on the source of logical normativity (§4.1.7); Quine presses web-of-belief and naturalized epistemology (§4.1.6); Sider’s Writing the Book of the World is the closest structural-realist neighbor, with divergent joint-carving (§4.4.7); Ladyman and Ross’s naturalized metaphysics is the partial-agreement reference for the metaphysics-physics relation (§4.3.9); Tegmark asks whether logic is mathematical rather than metaphysical (§4.3.7); quietism and logical anti-exceptionalism are pressed by Timothy Williamson5 and Hjortland and Ole Thomassen6 (§4.1.9); and deflationist accounts target logic’s normativity (§4.1.8).

3. Convergence

  1. A dialectical companion to the argument that even substantial impossibilities presuppose the Triconditions, ad hominem and so kept out of the derivation: a classical theist who concedes that not even omnipotence can actualize a substantial impossibility has, in that very concession, granted the operative Triconditions. Each conceded impossibility decomposes into a being (Φ), a structure (S), and an interval (T). It binds an opponent who holds the concession rather than proving the conclusion, so it is unsound as a freestanding argument and does no load-bearing work here; the □-conclusion is carried by the main argument above and, for the lift to necessity, by §3.3.4.
  2. Why three necessary aspects rather than one simple necessary being (the question the classical theist presses from divine simplicity, and the aggregation theorist from the other side) is not begged here. That the necessary structure is three-in-one and not a bare simple is earned upstream: the triunity of §2.6.9 (one Nature read along three axes, identity-under-description) and the individuation criterion of §2.6.11, which fixes exactly three Conditions and forecloses both a fourth and a collapse to one.
  3. Self-subsistence is reached by convergence rather than by a single inference, in keeping with the redundancy this chapter is built on. One line is constitutive: the continuation of any changing thing is grounded in Φ, the retention of identity across an interval, rather than in an external sustainer or a brute default (§4.2.9), so Nature’s persistence requires nothing outside it. A second line is temporal-modal: there can be no first change, since any emergence of change would itself be a change (§2.1.3) and an origin would be a transition before transitions are possible (§4.1.3), while possibility has no source outside Nature (Modal Exclusivity, §4.1.10; Modal Closure, §2.8.4). The second line does not reach the conclusion by itself: a beginningless succession of changes, each derived from its predecessors, would be both beginningless and without external ground while subsisting on nothing of its own. The remaining step is the point that Nature is not a thing that could take a ground but what grounding consists in (§4.1.3), so the demand for its external ground is incoherent rather than unmet. The lines meet at one node, which is the robustness the convergence is for: a flaw in either leaves the self-subsistence of Nature standing on the other.

4. Metaphysical Rivals

  1. The reply that absolute-time substantivalism relocates the structural roles rather than eliminating them is not neutral between conceptions of time, and the dependency is worth marking. A purist who takes time to be bare duration (mere ordering, with influence occurring within time rather than constituting it) can decline the identification of a moment’s individuation with T ∧ S ∧ Φ. Two costs attend the exit, and the relational account pays neither. First, individuating the moments of an empty, changeless absolute time without relational extension requires primitive thisness: the haecceity Leibniz’s identity of indiscernibles and the hole-argument literature press, which sophisticated substantivalism can absorb only by surrendering haecceitism; the relational individuation §2.6 supplies (S) needs no such posit. Second, by the lights of the change-theoretic conception defended here (a cost the purist will not grant is one) a duration stripped of all influence is ordering without succession, the §2.6.7 ordered-set structure rather than Time. The line can be held, but at the price of primitive identity and the divorce of time from succession: a trade the relocation reply exposes rather than the neutral refutation it can be mistaken for.

7. Nature Alone

  1. That the order-type question is open rather than meaningless is shown by its having distinct coherent answers the framework leaves standing. At the near end the series may carry a least moment with finite past, [t₀, ∞); no least moment yet finite past duration, (t₀, ∞); or no least moment with infinite past, (−∞, ∞). The far end is open the same way: it may carry a greatest instant (a silent terminus) or none, so each end closes or stays open independently of the other. A senseless question does not come with rival coherent answers like these: the framework adjudicates none, which marks a limit of reach, not a collapse of sense. Nor does a possible least moment threaten the necessity of Nature’s structure. “Always” divides in two. There is the atemporal sense in which □(T∧S∧Φ), the Necessity of Nature (§2.8.5), holds without being indexed to any moment, much as a necessary truth does (the analogy reaching only that atemporality, not the abstract or stipulated character of mathematical necessity), so that a first moment, were there one, would leave it untouched. And there is the omnitemporal sense in which Nature is present at every moment there is, which a bounded interval [t₀, ∞) satisfies in full. The structure’s necessity lives at the first level, which the order-type question cannot reach.

8. Expanding the Field

  1. Consent’s authorization is directed, not merely aligned. It runs from a subject to a specific act by a specific agent; it is not two independent preferences that happen to coincide. A subject who privately wants what an agent goes on to do has not thereby authorized the agent to do it, since the agent could not have verified that private alignment and did not act on the subject’s own say-so. What releases the claim the reflexive aversion protects is the directed relation itself — this subject authorizing this act by this agent — not a coincidence between an unspoken preference and an act performed without reference to it.

  1. Naming and Necessity (Harvard University Press, 1980).↩︎

  2. Aristotle, The Complete Works of Aristotle (Princeton University Press, (4th c. BCE) 1984), https://press.princeton.edu/books/hardcover/9780691016504/the-complete-works-of-aristotle-volume-one.↩︎

  3. Henri Bergson, Creative Evolution (l’évolution Créatrice) (Félix Alcan (Paris), 1907).↩︎

  4. Alexander R. Pruss, The Principle of Sufficient Reason: A Reassessment (Cambridge University Press, 2006).↩︎

  5. “Semantic Paradoxes and Abductive Methodology,” in In b. Armour-Garb (Ed.), Reflections on the Liar, Oxford: Oxford University Press, Pp. 325–346 (2017), https://doi.org/10.1093/oso/9780199896042.003.0013.↩︎

  6. “Anti-Exceptionalism about Logic,” Philosophical Studies 174 (3): 631–658, 2017, https://philpapers.org/rec/HJOAAL.↩︎