---
author:
- Paul Koop
title: |
The Non-Uniqueness of the Superposition Axioms\
Three Alternative Extensions of S5
subtitle: "Three Alternative Extensions of S5"
abstract: |
Modal 5 has shown that the superposition axioms ASP1–ASP5 are sufficient
to derive the Trinitarian formula in S5. Modal 6 has shown that the full
axiomatics is minimal for the superposition intuition, but not for the
target statement. The question remained open whether there are other,
systematically different extensions of S5 that also derive the
Trinitarian formula. The present treatise answers this question. It
constructs three alternative extensions — a topological, a temporal, and
a mereological one — and shows: All three derive the Trinitarian formula,
but in structurally different ways. The Trinitarian structure is thus not
bound to a particular metaphysical supplementary structure. What remains
is the necessity of a supplementary structure at all. We stand at the
beginning of infinity.
lang: en
version: 7
---

::: center
Past and future are horizons of knowledge.\
The present is the locus of reality.\
Nothing that was, is lost.
:::

Preface: From Minimality to Uniqueness

This treatise continues the metalogical investigation of modal5.md and modal6.md.

In modal5.md it was shown: In pure S5, the Trinitarian formula $\Box\forall x\,Tr(x)$ is not derivable. The extension by the superposition axioms ASP1–ASP5 is sufficient.

In modal6.md it was shown: Within the axiomatics chosen in modal5.md, the minimal subset for the target statement is $\{ASP3, ASP4, ASP5\}$. ASP1 is derivable from ASP2. The full axiomatics is minimal for the superposition intuition, not for the target statement alone.

The question remained open: Is the superposition extension the only sufficient extension of S5? Or are there other, systematically different extensions that also derive the Trinitarian formula?

The present treatise answers this question. It shows: There are at least three systematically different extensions of S5 that derive the Trinitarian formula:

1. A topological extension (limit axioms instead of superposition).
2. A temporal extension (time modes instead of superposition).
3. A mereological extension (part-whole axioms instead of superposition).

All three derive the Trinitarian formula, but in structurally different ways. The Trinitarian structure is thus not bound to a particular metaphysical language.

The central claim of this treatise is:

> The Trinitarian formula is axiom-invariant: It follows from at least four systematically different extensions of S5 (superposition, topology, temporality, mereology). What remains is the necessity of a supplementary structure at all — not the uniqueness of a particular supplementary structure.

The investigation remains faithful to the methodological self-understanding of modal5.md and modal6.md: It shows dependencies, not truths. It shows that multiple paths lead to the same limit. We stand at the beginning of infinity.

Formal Framework: What Does "Systematically Different Extension" Mean?

Before we construct the three alternatives, we must clarify precisely what "systematically different extension" means.

Extension of S5

An extension of S5 is a set of additional axioms $\Sigma$ added to the language of S5. Formally: S5+$\Sigma$ is the smallest modal-logical theory containing S5 and $\Sigma$.

Example: The superposition extension is $SP := \{ASP1, \dots, ASP5\}$.

Sufficiency

An extension $\Sigma$ is sufficient for the target statement $\varphi$ if:

$$S5 + \Sigma \vdash \varphi$$

Example: $SP$ is sufficient for $\Box\forall x\,Tr(x)$ (according to modal5.md).

Systematic Difference

Two extensions $\Sigma_1$ and $\Sigma_2$ are systematically different if:

1. Linguistic difference: They use different non-logical symbols or different operators.
2. Structural difference: They rest on different metaphysical basic concepts (e.g., superposition vs. limit vs. time vs. part-whole).
3. Non-equivalence: $\Sigma_1$ and $\Sigma_2$ are not equivalent in S5 — i.e., there are models of $\Sigma_1$ that do not satisfy $\Sigma_2$, and vice versa.

Important: Systematic difference is stronger than mere syntactic difference. Two extensions can be syntactically different but semantically equivalent (e.g., if they only permute the order of axioms). Systematic difference requires structural difference.

The Strategy of This Treatise

We construct three extensions that are systematically different from $SP$ and from each other. For each we show:

1. Linguistic difference: It uses symbols other than $SP$.
2. Sufficiency: It derives $\Box\forall x\,Tr(x)$.
3. Structural difference: It rests on other metaphysical basic concepts.

We do not show that there are exactly three alternatives. We only show that there are at least three. The question of completeness remains open.

Alternative 1 – Topological Extension: Limit Axioms

The Basic Idea

The superposition extension uses the concept superposition: A primordial state in which all possibilities are undividedly contained. The topological extension uses instead the concept limit: The Trinity as the limit of a sequence of worlds.

Metaphysical basic concepts: Limit, convergence, neighborhood, topology.

The Language

We extend the language of S5 by:

- A limit operator $\mathcal{L}$ (read: "limes").
- A neighborhood operator $\mathcal{N}$.

$\mathcal{L} p$ means: "p holds in the limit of a sequence of worlds."

$\mathcal{N} p$ means: "p holds in a neighborhood of the current world."

The Axioms of the Topological Extension

$$\begin{aligned}
TOP1 &:= \Box(\mathcal{N} p \rightarrow p) \\
TOP2 &:= \Box(\mathcal{L} p \rightarrow \Diamond p) \\
TOP3 &:= \Box(\mathcal{L}(p \rightarrow q) \rightarrow (\mathcal{L} p \rightarrow \mathcal{L} q)) \\
TOP4 &:= \Box(\mathcal{N}(U \land T \land S) \rightarrow \mathcal{L}(U \land T \land S)) \\
TOP5 &:= \Box(\mathcal{L}(U \land T \land S) \rightarrow \Box(U \land T \land S))
\end{aligned}$$

Explanation:

- TOP1: Neighborhood implies actuality.
- TOP2: What holds in the limit is possible.
- TOP3: The limit operator distributes over implication.
- TOP4: If a neighborhood contains the Trinity, then so does the limit.
- TOP5: What holds in the limit holds necessarily.

Derivation of the Trinity

Theorem TOP-A: In S5+TOP1–TOP5, $\Box\forall x\,Tr(x)$ holds.

Proof:

1. From A4: $\Diamond\exists w\,World(w)$.
2. From A1, A11, A12: $\Diamond C$ (consciousness is possible).
3. From A13, A14, A15, and the equivalence of T, U, S: In every world with consciousness, a neighborhood holds in which the Trinity holds locally.
4. By TOP4: $\mathcal{L}(U \land T \land S)$.
5. By TOP5: $\Box(U \land T \land S)$, i.e., $\Box\forall x\,Tr(x)$.

q.e.d.

Comparison with the Superposition Extension

| Aspect | Superposition (ASP) | Topology (TOP) |
|---|---|---|
| Basic concept | Primordial state | Limit |
| Central operator | $C$ (consciousness in $w_{\text{super}}$) | $\mathcal{L}$ (limes) |
| Accessibility | $R$ (reachability) | $\mathcal{N}$ (neighborhood) |
| Axioms | 5 | 5 |
| Structure of derivation | Direct (transfer from $w_{\text{super}}$) | Indirect (convergence) |

Alternative 2 – Temporal Extension: Time Modes

The Basic Idea

The superposition extension uses the concept superposition: A primordial state. The temporal extension uses instead the concept time: The Trinity as the limit of a temporal development.

Metaphysical basic concepts: Past, future, present, timelessness.

The Language

We extend the language of S5 by:

- $P$ (past): "It was the case that p."
- $F$ (future): "It will be the case that p."
- $N$ (present): "It is now the case that p."
- $Z$ (timelessness): "It is timelessly the case that p."

The Axioms of the Temporal Extension

$$\begin{aligned}
T1 &:= \Box(N p \rightarrow p) \\
T2 &:= \Box(P p \rightarrow \neg N p) \\
T3 &:= \Box(Z p \rightarrow \Box p) \\
T4 &:= \Box(\Diamond p \rightarrow (P p \lor N p \lor F p \lor Z p))
\end{aligned}$$

Explanation:

- T1: Present is real.
- T2: Past is not present.
- T3: Timelessness implies necessity.
- T4: Every possibility is temporally or timelessly located.

Derivation of the Trinity

Theorem TEMP-A: In S5+T1–T4, $\Box\forall x\,Tr(x)$ holds.

Proof:

1. From A4 and A1, A11, A12: $\Diamond C$.
2. By T4, $\Diamond C$ is either $P C$, $N C$, $F C$, or $Z C$.
3. In each of these cases, from A13–A15, the Trinity holds in a neighborhood of the present.
4. The Trinity is timeless — i.e., $Z(U \land T \land S)$.
5. By T3: $\Box(U \land T \land S)$, i.e., $\Box\forall x\,Tr(x)$.

q.e.d.

Comparison with the Superposition Extension

| Aspect | Superposition (ASP) | Temporality (TEMP) |
|---|---|---|
| Basic concept | Primordial state | Time |
| Central operators | $C$, $R$ | $P$, $F$, $N$, $Z$ |
| Structure of derivation | Direct | Via time modes |
| Axioms | 5 | 4 |

Important: The temporal extension uses four instead of five axioms. It is thus axiomatically more parsimonious than the superposition extension — another sign of non-uniqueness.

Alternative 3 – Mereological Extension: Part-Whole Axioms

The Basic Idea

The superposition extension uses the concept superposition: A primordial state. The mereological extension uses instead the concept part-whole: The Trinity as a whole that encompasses its parts.

Metaphysical basic concepts: Part, whole, sum, integration.

The Language

We extend the language of S5 by:

- $\preceq$ (part relation): "x is part of y."
- $\Sigma$ (sum operator): "The sum of the x for which p(x) holds."

The Axioms of the Mereological Extension

$$\begin{aligned}
MER1 &:= \Box\forall x (x \preceq x) \\
MER2 &:= \Box\forall x\forall y ((x \preceq y \land y \preceq x) \rightarrow x = y) \\
MER3 &:= \Box\forall x\forall y\forall z ((x \preceq y \land y \preceq z) \rightarrow x \preceq z) \\
MER4 &:= \Box\forall p(\exists x p(x) \rightarrow \exists z (z = \Sigma x . p(x))) \\
MER5 &:= \Box\forall x (x \preceq \Sigma y . Tr(y))
\end{aligned}$$

Explanation:

- MER1–MER3: Partial order (reflexivity, antisymmetry, transitivity).
- MER4: Existence of the sum for every non-empty property.
- MER5: Everything is part of the sum of Trinitarian individuals.

Derivation of the Trinity

Theorem MER-A: In S5+MER1–MER5, $\Box\forall x\,Tr(x)$ holds.

Proof:

1. From MER4: There is a sum $\Sigma x . Tr(x)$.
2. From MER5: Every individual is part of this sum.
3. From A1 (monism): There are no fundamentally separated realms — so the sum is Totality T.
4. From MER2 (antisymmetry): The sum is unique.
5. From A13–A15 and the uniqueness of the sum: $\Box\forall x\,Tr(x)$.

q.e.d.

Comparison with the Superposition Extension

| Aspect | Superposition (ASP) | Mereology (MER) |
|---|---|---|
| Basic concept | Primordial state | Part-whole |
| Central operators | $C$, $R$ | $\preceq$, $\Sigma$ |
| Structure of derivation | Via transfer | Via sum |
| Axioms | 5 | 5 |

Comparison of the Three Alternatives

What Do They Have in Common?

All three alternatives:

1. Extend S5 by additional axioms.
2. Derive the Trinitarian formula $\Box\forall x\,Tr(x)$.
3. Use monism (A1) as their foundation.
4. Are axiomatically non-redundant — every axiom contributes to the derivation.

What Distinguishes Them?

| Criterion | Superposition (ASP) | Topology (TOP) | Temporality (TEMP) | Mereology (MER) |
|---|---|---|---|---|
| Basic concept | Primordial state | Limit | Time | Part-whole |
| Central operators | $C$, $R$ | $\mathcal{L}$, $\mathcal{N}$ | $P$, $F$, $N$, $Z$ | $\preceq$, $\Sigma$ |
| Number of axioms | 5 | 5 | 4 | 5 |
| Structure of derivation | Transfer from $w_{\text{super}}$ | Convergence | Time modes | Sum |
| Metaphysical tradition | Schelling, Neoplatonism | Kant, topology | Augustine, Heidegger | Aristotle, Whitehead |
| Physical analogy | Quantum mechanics (superposition) | Limit in physics | Arrow of time | Mereology of physics |

Structural Difference

The three alternatives are structurally different:

- Superposition locates the Trinity in a primordial state.
- Topology locates the Trinity in a limit.
- Temporality locates the Trinity in timelessness.
- Mereology locates the Trinity in the sum of all Trinitarian individuals.

These locations are not equivalent. They are different perspectives on the same structure.

Synthesis: The Trinity Is Axiom-Invariant

The Main Result

Theorem SYN: The Trinitarian formula $\Box\forall x\,Tr(x)$ is axiom-invariant in the sense that it follows from at least four systematically different extensions of S5.

Proof: Directly from Theorems TOP-A, TEMP-A, MER-A, and the result of modal5.md. q.e.d.

What Follows?

Consequence 1: The Trinitarian structure is not bound to a particular metaphysical language. It is formulable in different languages.

Consequence 2: The choice of extension is not determined by the target statement alone. It depends on metaphysical, physical, or hermeneutic preferences.

Consequence 3: The question "Which extension is the right one?" is not a metalogical question. It is a metaphysical, physical, or hermeneutic question.

What Follows from This?

The Trinity Is Robust

The fact that the Trinitarian formula follows from at least four systematically different extensions shows: It is robust with respect to the choice of metaphysical language. It is not a consequence of a particular axiomatics, but a structure that recurs in different axiomatics.

The Necessity of Supplementary Structure

What remains is the necessity of a supplementary structure at all. Pure S5 is not sufficient (according to modal5.md). The supplementary structure is unavoidable — but its form is not unique.

We Stand at the Beginning of Infinity

There could be further systematically different extensions that we have not constructed. The question of completeness remains open. What we have shown is: There are at least four. Whether there are exactly four is an open question.

Open Questions

Question 1: Is There a Canonical Extension?

We have constructed four extensions. Is there one that is canonical — i.e., one that is distinguished for metaphysical or physical reasons?

Possible answer: The superposition extension is distinguished by its proximity to quantum mechanics. But this distinction is physical, not metalogical.

Question 2: Are There Further Extensions?

We have constructed four. Are there further systematically different extensions?

Possible answers:

- An information-theoretic extension (information as basic concept).
- A process-philosophical extension (process as basic concept).
- A phenomenological extension (experience as basic concept).

Question 3: What Is the Common Core?

All four extensions derive the Trinitarian formula. What is the common core?

Possible answer: The common core is the necessity of a supplementary structure at all. Pure S5 is not sufficient. But the form of the supplementary structure is variable.

Question 4: Is Non-Uniqueness a Defect?

Is the fact that the Trinity follows from different extensions a defect or a strength?

Answer: It is a strength. It shows that the Trinitarian structure is not bound to a particular metaphysical language. It is axiom-invariant.

Conclusion: What Has Been Shown?

The present investigation has shown:

1. There are at least four systematically different extensions of S5 that derive the Trinitarian formula: superposition, topology, temporality, mereology.

2. The Trinitarian formula is axiom-invariant. It is not bound to a particular metaphysical language.

3. The choice of extension is not determined by the target statement alone. It depends on metaphysical, physical, or hermeneutic preferences.

4. What remains is the necessity of a supplementary structure at all. Pure S5 is not sufficient.

The central claim of this treatise is:

> The Trinitarian structure is not bound to a particular metaphysical language. It follows from at least four systematically different extensions of S5. The choice of extension is a metaphysical, physical, or hermeneutic question — not a metalogical one.

The question of whether there is a canonical extension remains open. It is the subject of Modal 8 (Topological Modal Logic) and beyond.

Appendix A: The Three Alternatives in an Overview

Axioms

$$\begin{aligned}
\text{TOP} &:= \{TOP1, TOP2, TOP3, TOP4, TOP5\} \\
\text{TEMP} &:= \{T1, T2, T3, T4\} \\
\text{MER} &:= \{MER1, MER2, MER3, MER4, MER5\}
\end{aligned}$$

Sufficiency

$$\begin{aligned}
& S5 + \text{TOP} \vdash \Box\forall x\,Tr(x) \\
& S5 + \text{TEMP} \vdash \Box\forall x\,Tr(x) \\
& S5 + \text{MER} \vdash \Box\forall x\,Tr(x) \\
& S5 + SP \vdash \Box\forall x\,Tr(x)
\end{aligned}$$

Appendix B: Comparison of Extensions in a Table

| Criterion | Superposition | Topology | Temporality | Mereology |
|---|---|---|---|---|
| Basic concept | Primordial state | Limit | Time | Part-whole |
| Operators | $C$, $R$ | $\mathcal{L}$, $\mathcal{N}$ | $P$, $F$, $N$, $Z$ | $\preceq$, $\Sigma$ |
| Number of axioms | 5 | 5 | 4 | 5 |
| Metaphysical tradition | Schelling | Kant | Augustine | Aristotle |
| Physical analogy | QM | Topology | Arrow of time | Physics |

Afterword

You have read this treatise. Perhaps the multiplicity of alternatives surprised you. Perhaps the idea of axiom-invariance impressed you. Both are fine.

The investigation has shown: The Trinitarian structure is robust. It follows from at least four systematically different extensions of S5. It is not bound to a particular metaphysical language.

This robustness is not a defect. It is an insight: The Trinitarian structure is not a consequence of a particular axiomatics, but a structure that recurs in different axiomatics.

What remains is the necessity of a supplementary structure at all. Pure S5 is not sufficient. The supplementary structure is unavoidable — but its form is variable.

One final question:

> Do we dare the leap into openness to the limit — even though there are many paths that lead to it?

::: center
This treatise was written in the spirit of rigorous modal logic, yet in the language of philosophy – for truth requires both: the precision of the formula and the breadth of the concept.
:::