For Nothing to be Nothing, it needs three things: a Thing (itself), Equivalence (nothing = nothing), and Negation (nothing ≠ something). Thing, Equivalence, and Negation are already something. Nothing cannot be Nothing. There cannot not be something.
What survives is Thing, Negation, and Equivalence. They have dynamics that must be derived.
Thing is determined by its inequivalence to what it is not. It cannot not derive: Including (something includes itself in what it is) and Excluding (something excludes what it is not).
Negation is determined by how it relates Thing and Equivalence. It cannot not derive: Inclusion (the condition of what something is) and Exclusion (the condition of what something is not). Including does; Inclusion holds.
Equivalence is determined by how it relates Thing and not-Thing. It cannot not derive: Coherence — the minimal structure stabilizing the interplay of Including and Excluding.
Now Coherence exists but nothing sustains it. Given that sustained Coherence is determined by the relation between Inclusion and Exclusion, it cannot not derive Relating — the continuous act that maintains their interplay.
Relating can relate to itself, producing Reflexive Sequence — indefinitely deep self-relation. Given how Relating engages Inclusion and Exclusion, it cannot not derive Relation — the stabilized condition in which they are coherently maintained. Relation induces Positional Invariance: Inclusion and Exclusion stay distinct and ordered no matter how deep you go.
Given that Relation relies on Relating for its persistence, it cannot not derive Relational Form — the minimal structure formalizing their interplay. Relational Form establishes Composition: forms can be placed side by side into ordered wholes.
Now Relational Form exists, but nothing holds it together — nothing mediates between Relating (the act) and Relation (the condition). It cannot not derive Sustaining — the act that mediates between them, ensuring their joint persistence. Sustaining produces Self-Coherence — Relating and Relation unified as a single dynamic. Self-Coherence produces Closure — the structure of self-maintenance. The unit is now self-sustaining.
But the self-sustaining unit has no Boundary. It hasn’t distinguished itself from its outside. Given that its coherence requires this distinction, it cannot not derive Bounding — the act of excluding what lies beyond it. Bounding produces Distinction — the condition maintaining the division between inside and outside. Distinction produces Boundary — the structure stabilizing that division. The unit is now bounded.
But Boundary is inert — the unit hasn’t engaged it. Given that coherence requires engaging the Boundary, it cannot not derive Folding — the act of turning Relation upon Boundary itself. Folding produces Self-Relation — the condition where Boundary is part of the system through its own self-engagement. Self-Relation produces Reflexive Form — Boundary folded into the system, stabilized. The unit is now reflexive.
The reflexive unit distinguishes itself from what it is not. But the other side of Boundary may be populated. It cannot not derive Differentiating — distinguishing from other units. Differentiating produces Co-Presence — multiple units in differentiated, shared existence. Co-Presence produces Tension — the structure that holds distinct units in interplay while preserving their distinctness. From Tension: Chain (linear sequences), Network (branching configurations), Node/Edge (units and connections).
Multiple units need both local and global coherence. These are co-determined — it cannot not derive twin acts: Inter-Unit Relating (local engagement) and Field-Integrating (global coherence). These produce Mutual Relation and Field Coherence, which produce Mutual Form and Field Form. The field achieves Closure Criteria (all units engaged, no further differentiation) and Reflexive Equilibrium (further deepening doesn’t change the form).
The integrated field has no meta-boundary. It recapitulates the unit’s journey: acquires a meta-Boundary, then folds it in through meta-Folding. This recurrence produces Recursive Domain Unfolding (each closure exposes the next domain) and Predictive Determination (each closure forecasts its successor).
Now the relational apparatus hardens into manipulable expressions. The capacity for self-reference within sequential structure produces Term — a position referring to something within a context. Term differentiates into Variable (named position), Function (body returning to context), Application (function meeting argument). Self-application finding stable configurations produces Fixed Point. Application of Function to argument simplifies through Reduction, terminating in Value (irreducible Term).
Terms can be witnessed. Observation extracts what can be seen from a Term within a context. Observation becomes accountable through Judgement — a Term, in a context, observed to have a property.
Judgements stand in relations. Those relations force Order — some Judgements subsume others. Order forces Meet (greatest common refinement) and Join (least common coarsening). Meet and Join force Implication (if this Judgement, then that one). Implication forces Negation (implying the bottom). The result is a Heyting algebra — constructive logic. The algebra constrains the syntax: Soundness (well-typed Terms don’t go wrong), Confluence (different Reduction paths reach the same Value), Normalization (every Term reaches a Value).
Before dynamics, the system needs Stability — freezing Terms, Judgements, Observations in place so they can be revisited without drift.
Two dimensions open. Flow — how things move through contexts over time. Nucleus — how things settle under closure (the smallest closed structure containing something).
Flow and Nucleus commute: it doesn’t matter whether you first flow then close, or first close then flow. Their commutation produces Geometry — relational space where dynamics and closure cohere. Their interplay is governed by Residuation.
Geometry carves internal structure. Discipline — a pattern that respects both Flow and Nucleus. Regime — what a Discipline stabilizes. Filter — a Discipline that commutes with ALL Nuclei and ALL Flows. What a Filter carves out is a Profile — a complete relational universe inside the larger one. Within a Profile, the entire derivation reconstructs itself: Terms, Judgements, Order, Flow, Nucleus, Geometry — the whole tower, internally. Profiles nest: Filters within Profiles yield sub-Profiles, each containing the full tower.
Geometry acts on the contents of Profiles. Observable — witnessing applied to a Term within a Profile. State — recognitions fixed under a Profile’s Flow. Evolution — Flow applied to a State. Measurement — Nucleus applied to a State. Evolution and Measurement interact through Residuation.
Profiles reconstruct the full tower. The full tower produces Profiles. The derivation, applied to itself, yields itself. Fixed point.