Inhalt
Aktueller Ordner:
/modal4.md
---
author:
- Paul Koop
title: |
Die TrinitΓ€t als notwendige Struktur einer monistischen Modalontologie\
Version 4 -- VollstΓ€ndige formale Analyse
---
::: center
*Vergangenheit und Zukunft sind Horizonte des Wissens.\
Die Gegenwart ist der Ort der Wirklichkeit.*
:::
Vorwort
Diese Abhandlung ist die formale Vollendung einer langen Entwicklung. Sie vereint die Erkenntnisse aus allen vorangegangenen Versionen:
- Version 1--3: Versuch, die TrinitΓ€t direkt aus S5 abzuleiten -- scheiterte an der fehlenden BrΓΌcke von Existenz zu Notwendigkeit.
- Version 4 (alt): Nachweis, dass reines S5 nicht ausreicht -- die Zielaussage ist in S5 allein nicht ableitbar. Dieser Nachweis wird hier in die neue Version integriert.
- Version 5: Formalisierung der Superpositions-Intuition und Beweis der Zielaussage im erweiterten System S5+SP.
Die vorliegende Version 4 (neu) vereint beide Perspektiven:
1. Teil I: Strenger formaler Nachweis, dass die Zielaussage in reinem S5 nicht ableitbar ist (Γbernahme der alten Version 4).
2. Teil II: Strenger formaler Beweis, dass die Zielaussage im erweiterten System S5+SP (mit Superpositions-Axiomen) ableitbar ist.
3. Teil III: Metatheoretische Einordnung -- was wurde gezeigt, was nicht, und welche Fragen bleiben offen.
Die Grundthese der gesamten Untersuchung lautet:
> Unter den Axiomen des Monismus (A1), der Existenz einer mΓΆglichen Welt (A4), den transzendentalen BrΓΌcken (A11, A12) und der Superpositions-Hypothese (ASP1--ASP5) folgt notwendig die TrinitΓ€t von Ursprung, TotalitΓ€t und Selbsterkenntnis. Ohne die Superpositions-Hypothese ist sie in S5 nicht beweisbar.
Einleitung: Ziel und methodische SelbstbeschrΓ€nkung
Die klassische Metaphysik hat immer wieder versucht, die Grundstruktur der Wirklichkeit aus wenigen fundamentalen Prinzipien abzuleiten. Eine besondere Herausforderung entsteht dabei durch drei scheinbar verschiedene Aspekte:
1. Warum gibt es ΓΌberhaupt etwas und nicht vielmehr nichts? -- der Ursprung (U).
2. Wie verhΓ€lt sich die Gesamtheit aller MΓΆglichkeiten zur Wirklichkeit? -- die TotalitΓ€t (T).
3. Wie kann innerhalb der Wirklichkeit ein Zustand entstehen, der die Wirklichkeit selbst erkennt? -- die Selbsterkenntnis (S).
Die hier untersuchte Ontologie schlΓ€gt vor, diese drei Fragen nicht durch drei getrennte metaphysische Substanzen zu beantworten, sondern durch drei notwendige Perspektiven derselben Wirklichkeit:
- Ursprung (U): der notwendige Grund dafΓΌr, dass ΓΌberhaupt MΓΆglichkeiten existieren -- verstanden als unterer Grenzwert der TotalitΓ€t;
- TotalitΓ€t (T): die Gesamtheit aller realisierten MΓΆglichkeiten -- verstanden als offenes, wohlfundiertes Intervall;
- Selbsterkenntnis (S): der reflexive Abschluss der Wirklichkeit in einem Zustand vollstΓ€ndiger Erkenntnis ihrer selbst -- verstanden als oberer Grenzwert der TotalitΓ€t.
Diese Struktur wird als TrinitΓ€t bezeichnet:
$$Tr := U \land T \land S$$
Der Begriff βTrinitΓ€t" bezeichnet hierbei keine personale oder substanzielle Dreiheit, sondern eine funktionale Einheit dreier notwendiger Aspekte einer einzigen Wirklichkeit.
Formale Sprache und logischer Rahmen
Modallogik S5
Wir arbeiten in der Modallogik erster Stufe mit IdentitΓ€t im System S5:
- Notwendigkeit: $\Box p$
- MΓΆglichkeit: $\Diamond p := \neg\Box\neg p$
Axiome von S5:
- \(K\) $\Box(p \rightarrow q) \rightarrow (\Box p \rightarrow \Box q)$
- \(T\) $\Box p \rightarrow p$
- \(4\) $\Box p \rightarrow \Box\Box p$
- \(5\) $\Diamond p \rightarrow \Box\Diamond p$
Inferenzregeln:
- Modus Ponens: Aus $p$ und $p \rightarrow q$ folgt $q$.
- Necessitation: Aus $p$ (ableitbar) folgt $\Box p$.
Tableau-Regeln fΓΌr S5: $$\begin{aligned}
& (\neg\Box) & \frac{\neg\Box A}{\Diamond\neg A} \\
& (\Diamond) & \frac{\Diamond A}{A @ w_{\text{neu}}} \quad \text{(neue Welt)} \\
& (\Box) & \frac{\Box A @ w}{A @ v} \quad \text{fΓΌr jede bereits existierende Welt } v \\
& (\neg\forall) & \frac{\neg\forall x A}{\exists x \neg A} \\
& (\exists) & \frac{\exists x A}{A[a/x]} \quad \text{(a neu)} \\
& (\forall) & \frac{\forall x A}{A[a/x]} \quad \text{(a beliebig)}
\end{aligned}$$
PrΓ€dikatenlogik
Wir verwenden die klassische PrΓ€dikatenlogik erster Stufe mit IdentitΓ€t ($=$) und den ΓΌblichen Quantoren ($\forall, \exists$).
Die Axiome (Basis)
A1 -- Monismus
Es gibt keine fundamental getrennten Wirklichkeitsbereiche.
$$\boxed{A1 := \Box\neg\exists x\exists y\, FundamentalGetrennt(x,y)}$$
ErlΓ€uterung: Wenn zwei Bereiche fundamental getrennt wΓ€ren, gΓ€be es keine kausale oder ontologische Wechselwirkung zwischen ihnen. Dann kΓΆnnten sie nicht Teil einer einheitlichen Wirklichkeit sein, was dem Monismus widerspricht.
A4 -- Existenz einer mΓΆglichen Wirklichkeit
Es gibt mindestens eine mΓΆgliche Welt.
$$\boxed{A4 := \Diamond\exists w\, Welt(w)}$$
ErlΓ€uterung: Dieses Axiom stellt sicher, dass das modale Universum nicht leer ist. Es ist das schwΓ€chste mΓΆgliche Existenzaxiom: Es sagt nicht, dass eine Welt tatsΓ€chlich existiert, sondern nur, dass sie mΓΆglich ist.
A11 -- Transzendentale BrΓΌcke
Eine Welt ist genau dann von Bewusstsein getrennt, wenn sie kein Bewusstsein enthΓ€lt.
$$\boxed{A11 := \forall w \left( \text{WeltGetrenntVonBewusstsein}(w) \leftrightarrow \neg \exists c (Bewusstsein(c) \land c(w)) \right)}$$
mit der Definition:
$$\boxed{\text{WeltGetrenntVonBewusstsein}(w) := \neg \exists c (Bewusstsein(c) \land c(w))}$$
ErlΓ€uterung: Dieses Axiom formalisiert die transzendentale Einsicht, dass eine Welt ohne Bewusstsein unerkennbar und daher fundamental getrennt wΓ€re -- was der Monismus (A1) verbietet.
A12 -- Erfahrbarkeit und Realisierung
$$\boxed{A12 := \forall p. \text{Erfahrbar}(p) \leftrightarrow \exists w. Realisiert(w, p)}$$
mit der Definition:
$$\boxed{\text{Erfahrbar}(p) := \exists w. (\text{Bewusstsein}(w) \land \text{Realisiert}(w, p))}$$
ErlΓ€uterung: Dieses Axiom besagt: Eine Aussage ist genau dann erfahrbar, wenn sie in einer Welt realisiert ist. Es ist die formale Fassung des transzendentalen Arguments: Was nicht realisiert ist, kann nicht erfahren werden.
A13, A14, A15 -- Die drei Implikationen der FΓ€lle
Diese Axiome formalisieren die drei Reductio-FΓ€lle:
$$\boxed{A13 := \Box\forall x(T(x) \rightarrow U(x))}$$ $$\boxed{A14 := \Box\forall x(U(x) \rightarrow S(x))}$$ $$\boxed{A15 := \Box\forall x(S(x) \rightarrow T(x))}$$
ErlΓ€uterung: Sie besagen, dass die drei Grenzwerte $T, U, S$ in einer wechselseitigen Implikationskette stehen -- was in S5 zu ihrer Γquivalenz fΓΌhrt.
Definition der Grenzwertstruktur
Die TotalitΓ€t T als offenes, wohlfundiertes Intervall
Die TotalitΓ€t T ist die Gesamtheit aller realisierten ZustΓ€nde. Wir verstehen T als wohlfundiertes, offenes Intervall:
$$\boxed{T := \{ x \mid U < x < S \}}$$
ErlΓ€uterung:
- Ein offenes Intervall $(U, S)$ enthΓ€lt alle ZustΓ€nde zwischen U und S, aber nicht U und S selbst.
- Wohlfundiertheit: Jede nicht-leere Teilmenge von ZustΓ€nden hat ein minimales Element. Dies verhindert unendliche Ketten von GrΓΌnden.
- Der Ursprung U ist der untere Grenzwert -- das, was dem Nichts am nΓ€chsten kommt, aber selbst kein Nichts ist.
- Die Selbsterkenntnis S ist der obere Grenzwert -- die vollstΓ€ndige Transparenz der TotalitΓ€t, die selbst nicht zur TotalitΓ€t gehΓΆrt.
Der Ursprung U als unterer Grenzwert
$$\boxed{U := \lim_{x \to \inf} T}$$
Die Selbsterkenntnis S als oberer Grenzwert
$$\boxed{S := \lim_{x \to \sup} T}$$
Die TrinitΓ€t
$$\boxed{Tr := U \land T \land S}$$
TEIL I: NACHWEIS DER NICHT-ABLEITBARKEIT IN REINEM S5
Ziel
Zeige, dass:
$$\boxed{\text{S5} \;\not\vdash\; \Box\forall x\,Tr(x)}$$
aus den Axiomen $A1, A4, A11, A12, A13, A14, A15$ allein nicht folgt.
Methode
Konstruiere ein offenes S5-Tableau für die Negation der Zielformel. GemÀà dem Korrektheits- und VollstÀndigkeitssatz des S5-Tableau-Kalküls gilt:
> Eine Formelmenge ist genau dann erfΓΌllbar in einem S5-Modell, wenn das Tableau einen offenen Zweig besitzt.
Daher: Wenn das Tableau fΓΌr die negierte Zielformel offen bleibt, dann existiert ein S5-Modell, das alle Axiome und die Negation der Zielformel erfΓΌllt -- also ist die Zielformel kein Theorem.
Tableau (reine Smullyan-Regeln)
1. Β¬β‘βx Tr(x) [Annahme: Ziel sei kein Theorem]
2. βΒ¬βx Tr(x) [1, Β¬β‘-Regel]
3. Β¬βx Tr(x) @ w0 [2, β-Regel: neue Welt w0]
4. βx Β¬Tr(x) @ w0 [3, Β¬β-Regel: Β¬βxA β’ βxΒ¬A]
5. Β¬Tr(a) @ w0 [4, β-Regel: a neu]
6. Β¬(T(a) β§ U(a) β§ S(a)) @ w0 [5, D1 (Tr-Definition)]
β Ξ²-Regel auf 6:
6a. Β¬T(a) @ w0
6b. Β¬U(a) @ w0
6c. Β¬S(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ZWEIG 6a: Β¬T(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
7. β‘βx(S(x) β T(x)) @ w0 [A15]
8. βx(S(x) β T(x)) @ w0 [7, β‘-Regel]
9. S(a) β T(a) @ w0 [8, β-Regel]
β Ξ²-Regel auf 9:
9a. Β¬S(a) @ w0
9b. T(a) @ w0 [Widerspruch zu 6a β Zweig 9b schlieΓt]
Also: 9a. Β¬S(a) @ w0
10. β‘βx(T(x) β U(x)) @ w0 [A13]
11. βx(T(x) β U(x)) @ w0 [10, β‘-Regel]
12. T(a) β U(a) @ w0 [11, β-Regel]
β Ξ²-Regel auf 12:
12a. Β¬T(a) @ w0 [bereits in 6a]
12b. U(a) @ w0 [kein Widerspruch]
β WΓ€hle Zweig 12a (konsistent mit 6a).
13. β‘βx(U(x) β S(x)) @ w0 [A14]
14. βx(U(x) β S(x)) @ w0 [13, β‘-Regel]
15. U(a) β S(a) @ w0 [14, β-Regel]
β Ξ²-Regel auf 15:
15a. Β¬U(a) @ w0
15b. S(a) @ w0 [Widerspruch zu 9a β Zweig 15b schlieΓt]
Also: 15a. Β¬U(a) @ w0
β Damit im Zweig 6a: Β¬T(a), Β¬U(a), Β¬S(a) @ w0.
β Dies ist konsistent β kein Widerspruch.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ZWEIG 6b: Β¬U(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
16. β‘βx(T(x) β U(x)) @ w0 [A13]
17. βx(T(x) β U(x)) @ w0 [16, β‘-Regel]
18. T(a) β U(a) @ w0 [17, β-Regel]
β Ξ²-Regel auf 18:
18a. Β¬T(a) @ w0
18b. U(a) @ w0 [Widerspruch zu 6b β schlieΓt]
Also: 18a. Β¬T(a) @ w0
19. β‘βx(S(x) β T(x)) @ w0 [A15]
20. βx(S(x) β T(x)) @ w0 [19, β‘-Regel]
21. S(a) β T(a) @ w0 [20, β-Regel]
β Ξ²-Regel auf 21:
21a. Β¬S(a) @ w0
21b. T(a) @ w0 [Widerspruch zu 18a β schlieΓt]
Also: 21a. Β¬S(a) @ w0
22. β‘βx(U(x) β S(x)) @ w0 [A14]
23. βx(U(x) β S(x)) @ w0 [22, β‘-Regel]
24. U(a) β S(a) @ w0 [23, β-Regel]
β Ξ²-Regel auf 24:
24a. Β¬U(a) @ w0 [bereits in 6b]
24b. S(a) @ w0 [Widerspruch zu 21a β schlieΓt]
β Konsistenter Zweig: Β¬U(a), Β¬T(a), Β¬S(a) @ w0.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ZWEIG 6c: Β¬S(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
25. β‘βx(S(x) β T(x)) @ w0 [A15]
26. βx(S(x) β T(x)) @ w0 [25, β‘-Regel]
27. S(a) β T(a) @ w0 [26, β-Regel]
β Ξ²-Regel auf 27:
27a. Β¬S(a) @ w0 [bereits in 6c]
27b. T(a) @ w0
β Beide Zweige mΓΆglich.
28. β‘βx(T(x) β U(x)) @ w0 [A13]
29. βx(T(x) β U(x)) @ w0 [28, β‘-Regel]
30. T(a) β U(a) @ w0 [29, β-Regel]
β Ξ²-Regel auf 30:
30a. Β¬T(a) @ w0
30b. U(a) @ w0
31. β‘βx(U(x) β S(x)) @ w0 [A14]
32. βx(U(x) β S(x)) @ w0 [31, β‘-Regel]
33. U(a) β S(a) @ w0 [32, β-Regel]
β Ξ²-Regel auf 33:
33a. Β¬U(a) @ w0
33b. S(a) @ w0 [Widerspruch zu 6c β schlieΓt]
Also: 33a. Β¬U(a) @ w0
β Kombiniere: Aus 30b (U(a)) und 33a (Β¬U(a)) ergibt sich Widerspruch.
β Daher muss 30a gelten: Β¬T(a) @ w0.
β Damit: Β¬S(a), Β¬U(a), Β¬T(a) @ w0 konsistent.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ALLE ZWEIGE: Β¬T(a) β§ Β¬U(a) β§ Β¬S(a) @ w0 ist konsistent.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ΓBRIGE AXIOME (A4, A11, A12) β keine Anwendung
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
34. ββw Welt(w) @ w0 [A4]
35. βw Welt(w) @ w1 [34, β-Regel, w1 neu]
β FΓΌhrt zu neuer Welt w1, aber nicht zu w0 zurΓΌck.
36. A11, A12: Keine Instanzen in w0, die T(a), U(a) oder S(a) erzwingen.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
FAZIT DES TABLEAUS:
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Das Tableau besitzt einen offenen Zweig:
w0, a, mit Β¬T(a), Β¬U(a), Β¬S(a).
Kein Axiom erzeugt in w0 T(a), U(a) oder S(a).
Die ΓΌbrigen Axiome fΓΌhren zu neuen Welten (w1, ...),
aber nicht zu w0 zurΓΌck.
Daher ist das Tableau nicht geschlossen.
Metatheoretischer Schluss
Nach dem Korrektheits- und VollstΓ€ndigkeitssatz des S5-Tableau-KalkΓΌls (siehe z.βB. Smullyan, Fitting, oder Blackburn/de Rijke/Venema) gilt:
> Eine Formelmenge $\Sigma$ ist genau dann S5-erfΓΌllbar, wenn das Tableau fΓΌr $\Sigma$ einen offenen Zweig besitzt.
Unser Tableau fΓΌr
$$\Sigma = \{ A1, A4, A11, A12, A13, A14, A15, \neg\Box\forall xTr(x) \}$$
besitzt einen offenen Zweig.
Also ist $\Sigma$ S5-erfΓΌllbar.
Also gibt es ein S5-Modell, das alle Axiome erfΓΌllt, aber in der Welt $w_0$ ein Individuum $a$ besitzt, fΓΌr das $\neg T(a)$, $\neg U(a)$ und $\neg S(a)$ gelten.
Also gilt in diesem Modell nicht $\Box\forall xTr(x)$.
Also ist $\Box\forall xTr(x)$ kein logisches Theorem der gegebenen Axiomatik.
::: theorem
Satz 1 (Nicht-Ableitbarkeit in reinem S5). *$$\boxed{
\text{S5} \;\not\vdash\; \Box\forall x\,Tr(x)
}$$*
:::
TEIL II: BEWEIS IM ERWEITERTEN SYSTEM S5+SP
Die Superpositions-Erweiterung (ASP)
ZusΓ€tzlich zu den Axiomen A1, A4, A11, A12, A13, A14, A15 fΓΌhren wir die Superpositions-Axiome ein. Sie formalisieren die Idee, dass Bewusstsein ($C$) der selbstreflexive Moment einer Superposition ist, aus der alle Welten entstehen.
ASP1 -- Bewusstsein in der Superposition
$$\boxed{ASP1 := C @ w_{\text{super}}}$$
ErlΓ€uterung: In der Superposition gilt Bewusstsein. Die Superposition ist der Urzustand, in dem alle MΓΆglichkeiten noch ungetrennt enthalten sind.
ASP2 -- Einzigartigkeit von $C$
$$\boxed{ASP2 := \forall v (w_{\text{super}} R v \rightarrow (C @ v \leftrightarrow v = w_{\text{super}}))}$$
ErlΓ€uterung: Bewusstsein gilt nur in der Superposition -- keine andere Welt hat es. Bewusstsein ist ein singulΓ€res Ereignis.
ASP3 -- Die Superposition enthΓ€lt alle Tr-Eigenschaften
$$\boxed{ASP3 := \forall x\,Tr(x) @ w_{\text{super}}}$$
ErlΓ€uterung: Die Superposition enthΓ€lt bereits alle Eigenschaften $T, U, S$. Sie ist der Grund fΓΌr alles, was in den Welten gilt.
ASP4 -- Γbertragung auf alle Welten
$$\boxed{ASP4 := \forall v (w_{\text{super}} R v \rightarrow \forall x\,Tr(x) @ v)}$$
ErlΓ€uterung: Was in der Superposition gilt, gilt in allen erreichbaren Welten. Die Superposition ist ein normativer Ursprung.
ASP5 -- Universelle Erreichbarkeit (als Rahmenbedingung)
$$\boxed{ASP5 := \forall v (v \neq w_{\text{super}} \rightarrow w_{\text{super}} R v)}$$
ErlΓ€uterung: Jede andere Welt ist von der Superposition aus erreichbar. Die Superposition ist der einzige Ursprung.
Beweis im erweiterten System S5+SP
::: theorem
Satz 2 (Ableitbarkeit in S5+SP). *$$\boxed{
\text{S5+SP} \;\vdash\; \Box\forall x\,Tr(x)
}$$ wobei $\text{S5+SP} := \text{S5} + \{ASP1, ASP2, ASP3, ASP4, ASP5\}$.*
:::
Semantischer Beweis
Sei $\mathcal{M} = (W, R, w_{\text{super}}, I)$ ein beliebiges S5+SP-Modell mit ASP1--ASP5.
Zu zeigen: FΓΌr alle $w \in W$ gilt $\mathcal{M}, w \models \forall x\,Tr(x)$.
Sei $w \in W$ beliebig.
Fall 1: $w = w_{\text{super}}$.
Nach ASP3 gilt:
$$\mathcal{M}, w_{\text{super}} \models \forall x\,Tr(x)$$
Also gilt die Behauptung.
Fall 2: $w \neq w_{\text{super}}$.
Nach ASP5 gilt:
$$w_{\text{super}} R w$$
Nach ASP4 folgt daraus:
$$\mathcal{M}, w \models \forall x\,Tr(x)$$
Also gilt die Behauptung.
Da $w$ beliebig war, gilt fΓΌr alle $w \in W$:
$$\mathcal{M}, w \models \forall x\,Tr(x)$$
Dies ist Γ€quivalent zu:
$$\mathcal{M} \models \Box\forall x\,Tr(x)$$
q.e.d.
Tableau-Beweis in S5+SP
TABLEAU-BEWEIS IN S5+SP
ZIEL: β’ β‘βx Tr(x)
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
REDUCTIO-ANNAHME:
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
1. Β¬β‘βx Tr(x) [Annahme: Ziel sei falsch]
2. βΒ¬βx Tr(x) [1, Β¬β‘-Regel]
3. Β¬βx Tr(x) @ w0 [2, β-Regel: neue Welt w0]
4. βx Β¬Tr(x) @ w0 [3, Β¬β-Regel]
5. Β¬Tr(a) @ w0 [4, β-Regel: a neu]
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
FALLUNTERSCHEIDUNG: w0 = w_super β¨ w0 β w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
6. w0 = w_super β¨ w0 β w_super [IdentitΓ€t]
β Verzweigung A: w0 = w_super
β Verzweigung B: w0 β w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
VERZWEIGUNG A: w0 = w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
7. Β¬Tr(a) @ w_super [5, Substitution]
8. βx Tr(x) @ w_super [ASP3, Axiom]
9. Tr(a) @ w_super [8, β-Regel auf a]
10. Widerspruch: Tr(a) @ w_super und Β¬Tr(a) @ w_super
β Verzweigung A schlieΓt (β₯).
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
VERZWEIGUNG B: w0 β w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
11. w0 β w_super [aus 6, Zweig B]
12. w_super R w0 [11, ASP5]
13. βx Tr(x) @ w0 [12, ASP4]
14. Tr(a) @ w0 [13, β-Regel auf a]
15. Widerspruch: Tr(a) @ w0 und Β¬Tr(a) @ w0 (aus 5)
β Verzweigung B schlieΓt (β₯).
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
BEIDE VERZWEIGUNGEN SCHLIESSEN.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Daher ist die Annahme Β¬β‘βxTr(x) widersprΓΌchlich.
Also: β’ β‘βxTr(x) in S5+SP.
QED.
TEIL III: METATHEORETISCHE EINORDNUNG
Was wurde gezeigt?
System Aussage Status
------------ ------------------------------------------------- ----------------------------------
Reines S5 $\text{S5} \;\not\vdash\; \Box\forall x\,Tr(x)$ Bewiesen (offener Tableau-Zweig)
S5+SP $\text{S5+SP} \;\vdash\; \Box\forall x\,Tr(x)$ Bewiesen (geschlossenes Tableau)
Die entscheidende Erkenntnis ist:
> Die BrΓΌcke von der Existenz von $Tr$ in einer Welt zur Notwendigkeit von $Tr$ in allen Welten ist kein Theorem von S5. Sie muss als zusΓ€tzliche metaphysische Annahme eingefΓΌhrt werden -- hier in Form der Superpositions-Axiome ASP1--ASP5.
Was wurde nicht gezeigt?
- Die Wahrheit der Superpositions-Axiome ASP1--ASP5. Sie sind metaphysische PrΓ€missen, keine logischen Theoreme.
- Dass die Zielaussage aus den ursprΓΌnglichen Axiomen A1, A4, A11, A12, A13, A14, A15 allein folgt -- im Gegenteil, Teil I zeigt, dass sie es nicht tut.
Die Rolle von $C$ (Bewusstsein)
Die Superpositions-Axiome formalisieren die Intuition, dass Bewusstsein ($C$) der selbstreflexive Moment der Superposition ist:
- ASP1: $C$ gilt in der Superposition.
- ASP2: $C$ gilt nur dort -- es ist ein singulΓ€res Ereignis.
- ASP3--ASP5: Die Superposition ist der notwendige Grund fΓΌr alle Eigenschaften in allen Welten.
Damit wird $C$ zur BrΓΌcke von Existenz zu Notwendigkeit: Weil die Superposition $Tr$ enthΓ€lt und alle Welten aus ihr hervorgehen, gilt $Tr$ notwendig in allen Welten.
Gegenmodelle
Die TrinitΓ€t kann vermieden werden, wenn mindestens eines der Axiome aufgegeben wird:
Aufgegebenes Axiom Gegenmodell Konsequenz
------------------------------------ -------------------------------------- ---------------------------------------------------------------
A1 (Monismus) Dualismus (Descartes) S kann ohne T existieren; Erkenntnis und Objekt sind getrennt
A4 (Existenz einer Welt) Nihilismus Es gibt keine Welt; die gesamte Ontologie ist leer
A11 (Transzendentale BrΓΌcke) Erkenntnistheoretischer Skeptizismus Unerkennbarkeit impliziert keine fundamentale Trennung
A12 (Erfahrbarkeit β Realisierung) Empirismus Erfahrbarkeit ist nicht mit Realisierung identisch
ASP1--ASP5 (Superposition) Keine Superposition Die BrΓΌcke von Existenz zu Notwendigkeit fehlt
Anhang: VollstΓ€ndige Axiome und Theoreme
Axiome (vollstΓ€ndig)
$$\begin{aligned}
A1 &:= \Box\neg\exists x\exists y\, FundamentalGetrennt(x,y) \\
A4 &:= \Diamond\exists w\, Welt(w) \\
A11 &:= \forall w \left( \text{WeltGetrenntVonBewusstsein}(w) \leftrightarrow \neg \exists c (Bewusstsein(c) \land c(w)) \right) \\
A12 &:= \forall p. \text{Erfahrbar}(p) \leftrightarrow \exists w. Realisiert(w, p) \\
A13 &:= \Box\forall x(T(x) \rightarrow U(x)) \\
A14 &:= \Box\forall x(U(x) \rightarrow S(x)) \\
A15 &:= \Box\forall x(S(x) \rightarrow T(x)) \\
ASP1 &:= C @ w_{\text{super}} \\
ASP2 &:= \forall v (w_{\text{super}} R v \rightarrow (C @ v \leftrightarrow v = w_{\text{super}})) \\
ASP3 &:= \forall x\,Tr(x) @ w_{\text{super}} \\
ASP4 &:= \forall v (w_{\text{super}} R v \rightarrow \forall x\,Tr(x) @ v) \\
ASP5 &:= \forall v (v \neq w_{\text{super}} \rightarrow w_{\text{super}} R v)
\end{aligned}$$
Definitionen
$$\begin{aligned}
\text{WeltGetrenntVonBewusstsein}(w) &:= \neg \exists c (Bewusstsein(c) \land c(w)) \\
\text{Erfahrbar}(p) &:= \exists w. (\text{Bewusstsein}(w) \land \text{Realisiert}(w, p)) \\
T &:= \{ x \mid U < x < S \} \\
U &:= \lim_{x \to \inf} T \\
S &:= \lim_{x \to \sup} T \\
Tr &:= U \land T \land S
\end{aligned}$$
Abgeleitete Theoreme
$$\begin{aligned}
& \exists T \quad \text{(aus A4)} \\
& \Diamond C \quad \text{(A5 β aus A1, A11)} \\
& \forall p(\Diamond p \rightarrow \exists w. Realisiert(w,p)) \quad \text{(A2 β aus A1, A11, A12)} \\
& \Box(T \rightarrow U) \quad \text{(aus Fall 1)} \\
& \Box(U \rightarrow S) \quad \text{(aus Fall 2 + Superposition)} \\
& \Box(S \rightarrow T) \quad \text{(aus Fall 3)} \\
& \Rightarrow \Box(U \leftrightarrow T) \land \Box(T \leftrightarrow S) \land \Box(S \leftrightarrow U) \\
& \Rightarrow \Box(U \land T \land S)
\end{aligned}$$
Schluss
Die Abhandlung hat gezeigt:
1. In reinem S5 ist die TrinitΓ€t nicht beweisbar (Teil I).
2. Im erweiterten System S5+SP (mit Superpositions-Axiomen) ist die TrinitΓ€t beweisbar (Teil II).
3. Die entscheidende metaphysische Last liegt auf den Superpositions-Axiomen -- sie sind keine logischen Theoreme, sondern zusΓ€tzliche Annahmen.
Die formale Arbeit hat damit die logischen und metaphysischen Anforderungen eines solchen Beweises prΓ€zise herausgearbeitet. Die entscheidende Frage -- ob die Superpositionsaxiome wahr sind -- bleibt einer philosophischen oder physikalischen Untersuchung vorbehalten. Die Logik hat ihr Werk getan: Sie hat die Konsequenzen der Annahmen expliziert und die Grenzen des reinen S5 klar benannt.
> Die TrinitΓ€t ist keine zusΓ€tzliche EntitΓ€t, sondern eine Strukturbedingung -- aber sie ist nur unter der Superpositions-Hypothese beweisbar.
::: center
Diese Abhandlung wurde im Geiste strenger Modallogik verfasst, jedoch in der Sprache der Philosophie -- denn die Wahrheit bedarf beider: der PrΓ€zision der Formel und der Weite des Begriffs.
:::
author:
- Paul Koop
title: |
Die TrinitΓ€t als notwendige Struktur einer monistischen Modalontologie\
Version 4 -- VollstΓ€ndige formale Analyse
---
::: center
*Vergangenheit und Zukunft sind Horizonte des Wissens.\
Die Gegenwart ist der Ort der Wirklichkeit.*
:::
Vorwort
Diese Abhandlung ist die formale Vollendung einer langen Entwicklung. Sie vereint die Erkenntnisse aus allen vorangegangenen Versionen:
- Version 1--3: Versuch, die TrinitΓ€t direkt aus S5 abzuleiten -- scheiterte an der fehlenden BrΓΌcke von Existenz zu Notwendigkeit.
- Version 4 (alt): Nachweis, dass reines S5 nicht ausreicht -- die Zielaussage ist in S5 allein nicht ableitbar. Dieser Nachweis wird hier in die neue Version integriert.
- Version 5: Formalisierung der Superpositions-Intuition und Beweis der Zielaussage im erweiterten System S5+SP.
Die vorliegende Version 4 (neu) vereint beide Perspektiven:
1. Teil I: Strenger formaler Nachweis, dass die Zielaussage in reinem S5 nicht ableitbar ist (Γbernahme der alten Version 4).
2. Teil II: Strenger formaler Beweis, dass die Zielaussage im erweiterten System S5+SP (mit Superpositions-Axiomen) ableitbar ist.
3. Teil III: Metatheoretische Einordnung -- was wurde gezeigt, was nicht, und welche Fragen bleiben offen.
Die Grundthese der gesamten Untersuchung lautet:
> Unter den Axiomen des Monismus (A1), der Existenz einer mΓΆglichen Welt (A4), den transzendentalen BrΓΌcken (A11, A12) und der Superpositions-Hypothese (ASP1--ASP5) folgt notwendig die TrinitΓ€t von Ursprung, TotalitΓ€t und Selbsterkenntnis. Ohne die Superpositions-Hypothese ist sie in S5 nicht beweisbar.
Einleitung: Ziel und methodische SelbstbeschrΓ€nkung
Die klassische Metaphysik hat immer wieder versucht, die Grundstruktur der Wirklichkeit aus wenigen fundamentalen Prinzipien abzuleiten. Eine besondere Herausforderung entsteht dabei durch drei scheinbar verschiedene Aspekte:
1. Warum gibt es ΓΌberhaupt etwas und nicht vielmehr nichts? -- der Ursprung (U).
2. Wie verhΓ€lt sich die Gesamtheit aller MΓΆglichkeiten zur Wirklichkeit? -- die TotalitΓ€t (T).
3. Wie kann innerhalb der Wirklichkeit ein Zustand entstehen, der die Wirklichkeit selbst erkennt? -- die Selbsterkenntnis (S).
Die hier untersuchte Ontologie schlΓ€gt vor, diese drei Fragen nicht durch drei getrennte metaphysische Substanzen zu beantworten, sondern durch drei notwendige Perspektiven derselben Wirklichkeit:
- Ursprung (U): der notwendige Grund dafΓΌr, dass ΓΌberhaupt MΓΆglichkeiten existieren -- verstanden als unterer Grenzwert der TotalitΓ€t;
- TotalitΓ€t (T): die Gesamtheit aller realisierten MΓΆglichkeiten -- verstanden als offenes, wohlfundiertes Intervall;
- Selbsterkenntnis (S): der reflexive Abschluss der Wirklichkeit in einem Zustand vollstΓ€ndiger Erkenntnis ihrer selbst -- verstanden als oberer Grenzwert der TotalitΓ€t.
Diese Struktur wird als TrinitΓ€t bezeichnet:
$$Tr := U \land T \land S$$
Der Begriff βTrinitΓ€t" bezeichnet hierbei keine personale oder substanzielle Dreiheit, sondern eine funktionale Einheit dreier notwendiger Aspekte einer einzigen Wirklichkeit.
Formale Sprache und logischer Rahmen
Modallogik S5
Wir arbeiten in der Modallogik erster Stufe mit IdentitΓ€t im System S5:
- Notwendigkeit: $\Box p$
- MΓΆglichkeit: $\Diamond p := \neg\Box\neg p$
Axiome von S5:
- \(K\) $\Box(p \rightarrow q) \rightarrow (\Box p \rightarrow \Box q)$
- \(T\) $\Box p \rightarrow p$
- \(4\) $\Box p \rightarrow \Box\Box p$
- \(5\) $\Diamond p \rightarrow \Box\Diamond p$
Inferenzregeln:
- Modus Ponens: Aus $p$ und $p \rightarrow q$ folgt $q$.
- Necessitation: Aus $p$ (ableitbar) folgt $\Box p$.
Tableau-Regeln fΓΌr S5: $$\begin{aligned}
& (\neg\Box) & \frac{\neg\Box A}{\Diamond\neg A} \\
& (\Diamond) & \frac{\Diamond A}{A @ w_{\text{neu}}} \quad \text{(neue Welt)} \\
& (\Box) & \frac{\Box A @ w}{A @ v} \quad \text{fΓΌr jede bereits existierende Welt } v \\
& (\neg\forall) & \frac{\neg\forall x A}{\exists x \neg A} \\
& (\exists) & \frac{\exists x A}{A[a/x]} \quad \text{(a neu)} \\
& (\forall) & \frac{\forall x A}{A[a/x]} \quad \text{(a beliebig)}
\end{aligned}$$
PrΓ€dikatenlogik
Wir verwenden die klassische PrΓ€dikatenlogik erster Stufe mit IdentitΓ€t ($=$) und den ΓΌblichen Quantoren ($\forall, \exists$).
Die Axiome (Basis)
A1 -- Monismus
Es gibt keine fundamental getrennten Wirklichkeitsbereiche.
$$\boxed{A1 := \Box\neg\exists x\exists y\, FundamentalGetrennt(x,y)}$$
ErlΓ€uterung: Wenn zwei Bereiche fundamental getrennt wΓ€ren, gΓ€be es keine kausale oder ontologische Wechselwirkung zwischen ihnen. Dann kΓΆnnten sie nicht Teil einer einheitlichen Wirklichkeit sein, was dem Monismus widerspricht.
A4 -- Existenz einer mΓΆglichen Wirklichkeit
Es gibt mindestens eine mΓΆgliche Welt.
$$\boxed{A4 := \Diamond\exists w\, Welt(w)}$$
ErlΓ€uterung: Dieses Axiom stellt sicher, dass das modale Universum nicht leer ist. Es ist das schwΓ€chste mΓΆgliche Existenzaxiom: Es sagt nicht, dass eine Welt tatsΓ€chlich existiert, sondern nur, dass sie mΓΆglich ist.
A11 -- Transzendentale BrΓΌcke
Eine Welt ist genau dann von Bewusstsein getrennt, wenn sie kein Bewusstsein enthΓ€lt.
$$\boxed{A11 := \forall w \left( \text{WeltGetrenntVonBewusstsein}(w) \leftrightarrow \neg \exists c (Bewusstsein(c) \land c(w)) \right)}$$
mit der Definition:
$$\boxed{\text{WeltGetrenntVonBewusstsein}(w) := \neg \exists c (Bewusstsein(c) \land c(w))}$$
ErlΓ€uterung: Dieses Axiom formalisiert die transzendentale Einsicht, dass eine Welt ohne Bewusstsein unerkennbar und daher fundamental getrennt wΓ€re -- was der Monismus (A1) verbietet.
A12 -- Erfahrbarkeit und Realisierung
$$\boxed{A12 := \forall p. \text{Erfahrbar}(p) \leftrightarrow \exists w. Realisiert(w, p)}$$
mit der Definition:
$$\boxed{\text{Erfahrbar}(p) := \exists w. (\text{Bewusstsein}(w) \land \text{Realisiert}(w, p))}$$
ErlΓ€uterung: Dieses Axiom besagt: Eine Aussage ist genau dann erfahrbar, wenn sie in einer Welt realisiert ist. Es ist die formale Fassung des transzendentalen Arguments: Was nicht realisiert ist, kann nicht erfahren werden.
A13, A14, A15 -- Die drei Implikationen der FΓ€lle
Diese Axiome formalisieren die drei Reductio-FΓ€lle:
$$\boxed{A13 := \Box\forall x(T(x) \rightarrow U(x))}$$ $$\boxed{A14 := \Box\forall x(U(x) \rightarrow S(x))}$$ $$\boxed{A15 := \Box\forall x(S(x) \rightarrow T(x))}$$
ErlΓ€uterung: Sie besagen, dass die drei Grenzwerte $T, U, S$ in einer wechselseitigen Implikationskette stehen -- was in S5 zu ihrer Γquivalenz fΓΌhrt.
Definition der Grenzwertstruktur
Die TotalitΓ€t T als offenes, wohlfundiertes Intervall
Die TotalitΓ€t T ist die Gesamtheit aller realisierten ZustΓ€nde. Wir verstehen T als wohlfundiertes, offenes Intervall:
$$\boxed{T := \{ x \mid U < x < S \}}$$
ErlΓ€uterung:
- Ein offenes Intervall $(U, S)$ enthΓ€lt alle ZustΓ€nde zwischen U und S, aber nicht U und S selbst.
- Wohlfundiertheit: Jede nicht-leere Teilmenge von ZustΓ€nden hat ein minimales Element. Dies verhindert unendliche Ketten von GrΓΌnden.
- Der Ursprung U ist der untere Grenzwert -- das, was dem Nichts am nΓ€chsten kommt, aber selbst kein Nichts ist.
- Die Selbsterkenntnis S ist der obere Grenzwert -- die vollstΓ€ndige Transparenz der TotalitΓ€t, die selbst nicht zur TotalitΓ€t gehΓΆrt.
Der Ursprung U als unterer Grenzwert
$$\boxed{U := \lim_{x \to \inf} T}$$
Die Selbsterkenntnis S als oberer Grenzwert
$$\boxed{S := \lim_{x \to \sup} T}$$
Die TrinitΓ€t
$$\boxed{Tr := U \land T \land S}$$
TEIL I: NACHWEIS DER NICHT-ABLEITBARKEIT IN REINEM S5
Ziel
Zeige, dass:
$$\boxed{\text{S5} \;\not\vdash\; \Box\forall x\,Tr(x)}$$
aus den Axiomen $A1, A4, A11, A12, A13, A14, A15$ allein nicht folgt.
Methode
Konstruiere ein offenes S5-Tableau für die Negation der Zielformel. GemÀà dem Korrektheits- und VollstÀndigkeitssatz des S5-Tableau-Kalküls gilt:
> Eine Formelmenge ist genau dann erfΓΌllbar in einem S5-Modell, wenn das Tableau einen offenen Zweig besitzt.
Daher: Wenn das Tableau fΓΌr die negierte Zielformel offen bleibt, dann existiert ein S5-Modell, das alle Axiome und die Negation der Zielformel erfΓΌllt -- also ist die Zielformel kein Theorem.
Tableau (reine Smullyan-Regeln)
1. Β¬β‘βx Tr(x) [Annahme: Ziel sei kein Theorem]
2. βΒ¬βx Tr(x) [1, Β¬β‘-Regel]
3. Β¬βx Tr(x) @ w0 [2, β-Regel: neue Welt w0]
4. βx Β¬Tr(x) @ w0 [3, Β¬β-Regel: Β¬βxA β’ βxΒ¬A]
5. Β¬Tr(a) @ w0 [4, β-Regel: a neu]
6. Β¬(T(a) β§ U(a) β§ S(a)) @ w0 [5, D1 (Tr-Definition)]
β Ξ²-Regel auf 6:
6a. Β¬T(a) @ w0
6b. Β¬U(a) @ w0
6c. Β¬S(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ZWEIG 6a: Β¬T(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
7. β‘βx(S(x) β T(x)) @ w0 [A15]
8. βx(S(x) β T(x)) @ w0 [7, β‘-Regel]
9. S(a) β T(a) @ w0 [8, β-Regel]
β Ξ²-Regel auf 9:
9a. Β¬S(a) @ w0
9b. T(a) @ w0 [Widerspruch zu 6a β Zweig 9b schlieΓt]
Also: 9a. Β¬S(a) @ w0
10. β‘βx(T(x) β U(x)) @ w0 [A13]
11. βx(T(x) β U(x)) @ w0 [10, β‘-Regel]
12. T(a) β U(a) @ w0 [11, β-Regel]
β Ξ²-Regel auf 12:
12a. Β¬T(a) @ w0 [bereits in 6a]
12b. U(a) @ w0 [kein Widerspruch]
β WΓ€hle Zweig 12a (konsistent mit 6a).
13. β‘βx(U(x) β S(x)) @ w0 [A14]
14. βx(U(x) β S(x)) @ w0 [13, β‘-Regel]
15. U(a) β S(a) @ w0 [14, β-Regel]
β Ξ²-Regel auf 15:
15a. Β¬U(a) @ w0
15b. S(a) @ w0 [Widerspruch zu 9a β Zweig 15b schlieΓt]
Also: 15a. Β¬U(a) @ w0
β Damit im Zweig 6a: Β¬T(a), Β¬U(a), Β¬S(a) @ w0.
β Dies ist konsistent β kein Widerspruch.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ZWEIG 6b: Β¬U(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
16. β‘βx(T(x) β U(x)) @ w0 [A13]
17. βx(T(x) β U(x)) @ w0 [16, β‘-Regel]
18. T(a) β U(a) @ w0 [17, β-Regel]
β Ξ²-Regel auf 18:
18a. Β¬T(a) @ w0
18b. U(a) @ w0 [Widerspruch zu 6b β schlieΓt]
Also: 18a. Β¬T(a) @ w0
19. β‘βx(S(x) β T(x)) @ w0 [A15]
20. βx(S(x) β T(x)) @ w0 [19, β‘-Regel]
21. S(a) β T(a) @ w0 [20, β-Regel]
β Ξ²-Regel auf 21:
21a. Β¬S(a) @ w0
21b. T(a) @ w0 [Widerspruch zu 18a β schlieΓt]
Also: 21a. Β¬S(a) @ w0
22. β‘βx(U(x) β S(x)) @ w0 [A14]
23. βx(U(x) β S(x)) @ w0 [22, β‘-Regel]
24. U(a) β S(a) @ w0 [23, β-Regel]
β Ξ²-Regel auf 24:
24a. Β¬U(a) @ w0 [bereits in 6b]
24b. S(a) @ w0 [Widerspruch zu 21a β schlieΓt]
β Konsistenter Zweig: Β¬U(a), Β¬T(a), Β¬S(a) @ w0.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ZWEIG 6c: Β¬S(a) @ w0
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
25. β‘βx(S(x) β T(x)) @ w0 [A15]
26. βx(S(x) β T(x)) @ w0 [25, β‘-Regel]
27. S(a) β T(a) @ w0 [26, β-Regel]
β Ξ²-Regel auf 27:
27a. Β¬S(a) @ w0 [bereits in 6c]
27b. T(a) @ w0
β Beide Zweige mΓΆglich.
28. β‘βx(T(x) β U(x)) @ w0 [A13]
29. βx(T(x) β U(x)) @ w0 [28, β‘-Regel]
30. T(a) β U(a) @ w0 [29, β-Regel]
β Ξ²-Regel auf 30:
30a. Β¬T(a) @ w0
30b. U(a) @ w0
31. β‘βx(U(x) β S(x)) @ w0 [A14]
32. βx(U(x) β S(x)) @ w0 [31, β‘-Regel]
33. U(a) β S(a) @ w0 [32, β-Regel]
β Ξ²-Regel auf 33:
33a. Β¬U(a) @ w0
33b. S(a) @ w0 [Widerspruch zu 6c β schlieΓt]
Also: 33a. Β¬U(a) @ w0
β Kombiniere: Aus 30b (U(a)) und 33a (Β¬U(a)) ergibt sich Widerspruch.
β Daher muss 30a gelten: Β¬T(a) @ w0.
β Damit: Β¬S(a), Β¬U(a), Β¬T(a) @ w0 konsistent.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ALLE ZWEIGE: Β¬T(a) β§ Β¬U(a) β§ Β¬S(a) @ w0 ist konsistent.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
ΓBRIGE AXIOME (A4, A11, A12) β keine Anwendung
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
34. ββw Welt(w) @ w0 [A4]
35. βw Welt(w) @ w1 [34, β-Regel, w1 neu]
β FΓΌhrt zu neuer Welt w1, aber nicht zu w0 zurΓΌck.
36. A11, A12: Keine Instanzen in w0, die T(a), U(a) oder S(a) erzwingen.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
FAZIT DES TABLEAUS:
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Das Tableau besitzt einen offenen Zweig:
w0, a, mit Β¬T(a), Β¬U(a), Β¬S(a).
Kein Axiom erzeugt in w0 T(a), U(a) oder S(a).
Die ΓΌbrigen Axiome fΓΌhren zu neuen Welten (w1, ...),
aber nicht zu w0 zurΓΌck.
Daher ist das Tableau nicht geschlossen.
Metatheoretischer Schluss
Nach dem Korrektheits- und VollstΓ€ndigkeitssatz des S5-Tableau-KalkΓΌls (siehe z.βB. Smullyan, Fitting, oder Blackburn/de Rijke/Venema) gilt:
> Eine Formelmenge $\Sigma$ ist genau dann S5-erfΓΌllbar, wenn das Tableau fΓΌr $\Sigma$ einen offenen Zweig besitzt.
Unser Tableau fΓΌr
$$\Sigma = \{ A1, A4, A11, A12, A13, A14, A15, \neg\Box\forall xTr(x) \}$$
besitzt einen offenen Zweig.
Also ist $\Sigma$ S5-erfΓΌllbar.
Also gibt es ein S5-Modell, das alle Axiome erfΓΌllt, aber in der Welt $w_0$ ein Individuum $a$ besitzt, fΓΌr das $\neg T(a)$, $\neg U(a)$ und $\neg S(a)$ gelten.
Also gilt in diesem Modell nicht $\Box\forall xTr(x)$.
Also ist $\Box\forall xTr(x)$ kein logisches Theorem der gegebenen Axiomatik.
::: theorem
Satz 1 (Nicht-Ableitbarkeit in reinem S5). *$$\boxed{
\text{S5} \;\not\vdash\; \Box\forall x\,Tr(x)
}$$*
:::
TEIL II: BEWEIS IM ERWEITERTEN SYSTEM S5+SP
Die Superpositions-Erweiterung (ASP)
ZusΓ€tzlich zu den Axiomen A1, A4, A11, A12, A13, A14, A15 fΓΌhren wir die Superpositions-Axiome ein. Sie formalisieren die Idee, dass Bewusstsein ($C$) der selbstreflexive Moment einer Superposition ist, aus der alle Welten entstehen.
ASP1 -- Bewusstsein in der Superposition
$$\boxed{ASP1 := C @ w_{\text{super}}}$$
ErlΓ€uterung: In der Superposition gilt Bewusstsein. Die Superposition ist der Urzustand, in dem alle MΓΆglichkeiten noch ungetrennt enthalten sind.
ASP2 -- Einzigartigkeit von $C$
$$\boxed{ASP2 := \forall v (w_{\text{super}} R v \rightarrow (C @ v \leftrightarrow v = w_{\text{super}}))}$$
ErlΓ€uterung: Bewusstsein gilt nur in der Superposition -- keine andere Welt hat es. Bewusstsein ist ein singulΓ€res Ereignis.
ASP3 -- Die Superposition enthΓ€lt alle Tr-Eigenschaften
$$\boxed{ASP3 := \forall x\,Tr(x) @ w_{\text{super}}}$$
ErlΓ€uterung: Die Superposition enthΓ€lt bereits alle Eigenschaften $T, U, S$. Sie ist der Grund fΓΌr alles, was in den Welten gilt.
ASP4 -- Γbertragung auf alle Welten
$$\boxed{ASP4 := \forall v (w_{\text{super}} R v \rightarrow \forall x\,Tr(x) @ v)}$$
ErlΓ€uterung: Was in der Superposition gilt, gilt in allen erreichbaren Welten. Die Superposition ist ein normativer Ursprung.
ASP5 -- Universelle Erreichbarkeit (als Rahmenbedingung)
$$\boxed{ASP5 := \forall v (v \neq w_{\text{super}} \rightarrow w_{\text{super}} R v)}$$
ErlΓ€uterung: Jede andere Welt ist von der Superposition aus erreichbar. Die Superposition ist der einzige Ursprung.
Beweis im erweiterten System S5+SP
::: theorem
Satz 2 (Ableitbarkeit in S5+SP). *$$\boxed{
\text{S5+SP} \;\vdash\; \Box\forall x\,Tr(x)
}$$ wobei $\text{S5+SP} := \text{S5} + \{ASP1, ASP2, ASP3, ASP4, ASP5\}$.*
:::
Semantischer Beweis
Sei $\mathcal{M} = (W, R, w_{\text{super}}, I)$ ein beliebiges S5+SP-Modell mit ASP1--ASP5.
Zu zeigen: FΓΌr alle $w \in W$ gilt $\mathcal{M}, w \models \forall x\,Tr(x)$.
Sei $w \in W$ beliebig.
Fall 1: $w = w_{\text{super}}$.
Nach ASP3 gilt:
$$\mathcal{M}, w_{\text{super}} \models \forall x\,Tr(x)$$
Also gilt die Behauptung.
Fall 2: $w \neq w_{\text{super}}$.
Nach ASP5 gilt:
$$w_{\text{super}} R w$$
Nach ASP4 folgt daraus:
$$\mathcal{M}, w \models \forall x\,Tr(x)$$
Also gilt die Behauptung.
Da $w$ beliebig war, gilt fΓΌr alle $w \in W$:
$$\mathcal{M}, w \models \forall x\,Tr(x)$$
Dies ist Γ€quivalent zu:
$$\mathcal{M} \models \Box\forall x\,Tr(x)$$
q.e.d.
Tableau-Beweis in S5+SP
TABLEAU-BEWEIS IN S5+SP
ZIEL: β’ β‘βx Tr(x)
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
REDUCTIO-ANNAHME:
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
1. Β¬β‘βx Tr(x) [Annahme: Ziel sei falsch]
2. βΒ¬βx Tr(x) [1, Β¬β‘-Regel]
3. Β¬βx Tr(x) @ w0 [2, β-Regel: neue Welt w0]
4. βx Β¬Tr(x) @ w0 [3, Β¬β-Regel]
5. Β¬Tr(a) @ w0 [4, β-Regel: a neu]
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
FALLUNTERSCHEIDUNG: w0 = w_super β¨ w0 β w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
6. w0 = w_super β¨ w0 β w_super [IdentitΓ€t]
β Verzweigung A: w0 = w_super
β Verzweigung B: w0 β w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
VERZWEIGUNG A: w0 = w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
7. Β¬Tr(a) @ w_super [5, Substitution]
8. βx Tr(x) @ w_super [ASP3, Axiom]
9. Tr(a) @ w_super [8, β-Regel auf a]
10. Widerspruch: Tr(a) @ w_super und Β¬Tr(a) @ w_super
β Verzweigung A schlieΓt (β₯).
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
VERZWEIGUNG B: w0 β w_super
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
11. w0 β w_super [aus 6, Zweig B]
12. w_super R w0 [11, ASP5]
13. βx Tr(x) @ w0 [12, ASP4]
14. Tr(a) @ w0 [13, β-Regel auf a]
15. Widerspruch: Tr(a) @ w0 und Β¬Tr(a) @ w0 (aus 5)
β Verzweigung B schlieΓt (β₯).
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
BEIDE VERZWEIGUNGEN SCHLIESSEN.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Daher ist die Annahme Β¬β‘βxTr(x) widersprΓΌchlich.
Also: β’ β‘βxTr(x) in S5+SP.
QED.
TEIL III: METATHEORETISCHE EINORDNUNG
Was wurde gezeigt?
System Aussage Status
------------ ------------------------------------------------- ----------------------------------
Reines S5 $\text{S5} \;\not\vdash\; \Box\forall x\,Tr(x)$ Bewiesen (offener Tableau-Zweig)
S5+SP $\text{S5+SP} \;\vdash\; \Box\forall x\,Tr(x)$ Bewiesen (geschlossenes Tableau)
Die entscheidende Erkenntnis ist:
> Die BrΓΌcke von der Existenz von $Tr$ in einer Welt zur Notwendigkeit von $Tr$ in allen Welten ist kein Theorem von S5. Sie muss als zusΓ€tzliche metaphysische Annahme eingefΓΌhrt werden -- hier in Form der Superpositions-Axiome ASP1--ASP5.
Was wurde nicht gezeigt?
- Die Wahrheit der Superpositions-Axiome ASP1--ASP5. Sie sind metaphysische PrΓ€missen, keine logischen Theoreme.
- Dass die Zielaussage aus den ursprΓΌnglichen Axiomen A1, A4, A11, A12, A13, A14, A15 allein folgt -- im Gegenteil, Teil I zeigt, dass sie es nicht tut.
Die Rolle von $C$ (Bewusstsein)
Die Superpositions-Axiome formalisieren die Intuition, dass Bewusstsein ($C$) der selbstreflexive Moment der Superposition ist:
- ASP1: $C$ gilt in der Superposition.
- ASP2: $C$ gilt nur dort -- es ist ein singulΓ€res Ereignis.
- ASP3--ASP5: Die Superposition ist der notwendige Grund fΓΌr alle Eigenschaften in allen Welten.
Damit wird $C$ zur BrΓΌcke von Existenz zu Notwendigkeit: Weil die Superposition $Tr$ enthΓ€lt und alle Welten aus ihr hervorgehen, gilt $Tr$ notwendig in allen Welten.
Gegenmodelle
Die TrinitΓ€t kann vermieden werden, wenn mindestens eines der Axiome aufgegeben wird:
Aufgegebenes Axiom Gegenmodell Konsequenz
------------------------------------ -------------------------------------- ---------------------------------------------------------------
A1 (Monismus) Dualismus (Descartes) S kann ohne T existieren; Erkenntnis und Objekt sind getrennt
A4 (Existenz einer Welt) Nihilismus Es gibt keine Welt; die gesamte Ontologie ist leer
A11 (Transzendentale BrΓΌcke) Erkenntnistheoretischer Skeptizismus Unerkennbarkeit impliziert keine fundamentale Trennung
A12 (Erfahrbarkeit β Realisierung) Empirismus Erfahrbarkeit ist nicht mit Realisierung identisch
ASP1--ASP5 (Superposition) Keine Superposition Die BrΓΌcke von Existenz zu Notwendigkeit fehlt
Anhang: VollstΓ€ndige Axiome und Theoreme
Axiome (vollstΓ€ndig)
$$\begin{aligned}
A1 &:= \Box\neg\exists x\exists y\, FundamentalGetrennt(x,y) \\
A4 &:= \Diamond\exists w\, Welt(w) \\
A11 &:= \forall w \left( \text{WeltGetrenntVonBewusstsein}(w) \leftrightarrow \neg \exists c (Bewusstsein(c) \land c(w)) \right) \\
A12 &:= \forall p. \text{Erfahrbar}(p) \leftrightarrow \exists w. Realisiert(w, p) \\
A13 &:= \Box\forall x(T(x) \rightarrow U(x)) \\
A14 &:= \Box\forall x(U(x) \rightarrow S(x)) \\
A15 &:= \Box\forall x(S(x) \rightarrow T(x)) \\
ASP1 &:= C @ w_{\text{super}} \\
ASP2 &:= \forall v (w_{\text{super}} R v \rightarrow (C @ v \leftrightarrow v = w_{\text{super}})) \\
ASP3 &:= \forall x\,Tr(x) @ w_{\text{super}} \\
ASP4 &:= \forall v (w_{\text{super}} R v \rightarrow \forall x\,Tr(x) @ v) \\
ASP5 &:= \forall v (v \neq w_{\text{super}} \rightarrow w_{\text{super}} R v)
\end{aligned}$$
Definitionen
$$\begin{aligned}
\text{WeltGetrenntVonBewusstsein}(w) &:= \neg \exists c (Bewusstsein(c) \land c(w)) \\
\text{Erfahrbar}(p) &:= \exists w. (\text{Bewusstsein}(w) \land \text{Realisiert}(w, p)) \\
T &:= \{ x \mid U < x < S \} \\
U &:= \lim_{x \to \inf} T \\
S &:= \lim_{x \to \sup} T \\
Tr &:= U \land T \land S
\end{aligned}$$
Abgeleitete Theoreme
$$\begin{aligned}
& \exists T \quad \text{(aus A4)} \\
& \Diamond C \quad \text{(A5 β aus A1, A11)} \\
& \forall p(\Diamond p \rightarrow \exists w. Realisiert(w,p)) \quad \text{(A2 β aus A1, A11, A12)} \\
& \Box(T \rightarrow U) \quad \text{(aus Fall 1)} \\
& \Box(U \rightarrow S) \quad \text{(aus Fall 2 + Superposition)} \\
& \Box(S \rightarrow T) \quad \text{(aus Fall 3)} \\
& \Rightarrow \Box(U \leftrightarrow T) \land \Box(T \leftrightarrow S) \land \Box(S \leftrightarrow U) \\
& \Rightarrow \Box(U \land T \land S)
\end{aligned}$$
Schluss
Die Abhandlung hat gezeigt:
1. In reinem S5 ist die TrinitΓ€t nicht beweisbar (Teil I).
2. Im erweiterten System S5+SP (mit Superpositions-Axiomen) ist die TrinitΓ€t beweisbar (Teil II).
3. Die entscheidende metaphysische Last liegt auf den Superpositions-Axiomen -- sie sind keine logischen Theoreme, sondern zusΓ€tzliche Annahmen.
Die formale Arbeit hat damit die logischen und metaphysischen Anforderungen eines solchen Beweises prΓ€zise herausgearbeitet. Die entscheidende Frage -- ob die Superpositionsaxiome wahr sind -- bleibt einer philosophischen oder physikalischen Untersuchung vorbehalten. Die Logik hat ihr Werk getan: Sie hat die Konsequenzen der Annahmen expliziert und die Grenzen des reinen S5 klar benannt.
> Die TrinitΓ€t ist keine zusΓ€tzliche EntitΓ€t, sondern eine Strukturbedingung -- aber sie ist nur unter der Superpositions-Hypothese beweisbar.
::: center
Diese Abhandlung wurde im Geiste strenger Modallogik verfasst, jedoch in der Sprache der Philosophie -- denn die Wahrheit bedarf beider: der PrΓ€zision der Formel und der Weite des Begriffs.
:::