Inhalt
Aktueller Ordner:
/modal11.tex
% Options for packages loaded elsewhere
\PassOptionsToPackage{unicode}{hyperref}
\PassOptionsToPackage{hyphens}{url}
\PassOptionsToPackage{dvipsnames,svgnames,x11names}{xcolor}
\documentclass[
ngerman,
11pt,
]{article}
\usepackage{xcolor}
\usepackage[margin=2.5cm]{geometry}
\usepackage{amsmath,amssymb}
\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
\usepackage{iftex}
\ifPDFTeX
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{textcomp} % provide euro and other symbols
\else % if luatex or xetex
\usepackage{unicode-math} % this also loads fontspec
\defaultfontfeatures{Scale=MatchLowercase}
\defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
\fi
\usepackage{lmodern}
\ifPDFTeX\else
% xetex/luatex font selection
\fi
% Use upquote if available, for straight quotes in verbatim environments
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
\IfFileExists{microtype.sty}{% use microtype if available
\usepackage[]{microtype}
\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
}{}
\makeatletter
\@ifundefined{KOMAClassName}{% if non-KOMA class
\IfFileExists{parskip.sty}{%
\usepackage{parskip}
}{% else
\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt plus 2pt minus 1pt}}
}{% if KOMA class
\KOMAoptions{parskip=half}}
\makeatother
\usepackage{longtable,booktabs,array}
\usepackage{calc} % for calculating minipage widths
% Correct order of tables after \paragraph or \subparagraph
\usepackage{etoolbox}
\makeatletter
\patchcmd\longtable{\par}{\if@noskipsec\mbox{}\fi\par}{}{}
\makeatother
% Allow footnotes in longtable head/foot
\IfFileExists{footnotehyper.sty}{\usepackage{footnotehyper}}{\usepackage{footnote}}
\makesavenoteenv{longtable}
\ifLuaTeX
\usepackage[bidi=basic,shorthands=off,]{babel}
\else
\usepackage[bidi=default,shorthands=off,]{babel}
\fi
\ifLuaTeX
\usepackage{selnolig} % disable illegal ligatures
\fi
\setlength{\emergencystretch}{3em} % prevent overfull lines
\providecommand{\tightlist}{%
\setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
\usepackage{bookmark}
\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
\urlstyle{same}
\hypersetup{
pdftitle={Zeitlosigkeit und Gegenwart Temporale Modallogik der Trinität},
pdfauthor={Paul Koop},
pdflang={de},
colorlinks=true,
linkcolor={blue},
filecolor={Maroon},
citecolor={Blue},
urlcolor={Blue},
pdfcreator={LaTeX via pandoc}}
\title{Zeitlosigkeit und Gegenwart\\
Temporale Modallogik der Trinität}
\usepackage{etoolbox}
\makeatletter
\providecommand{\subtitle}[1]{% add subtitle to \maketitle
\apptocmd{\@title}{\par {\large #1 \par}}{}{}
}
\makeatother
\subtitle{Temporale Modallogik der Trinität}
\author{Paul Koop}
\date{}
\begin{document}
\maketitle
\begin{abstract}
In Unitaritaet.md und DieZeitlosigkeitDerSteine2.md spielt die
Unterscheidung von Vergangenheit als Horizont des Wissens, Zukunft als
Horizont des Wissens, Gegenwart als Ort der Wirklichkeit und
Zeitlosigkeit als Grenzwert eine zentrale Rolle. Diese Unterscheidung
ist informal. Die vorliegende Abhandlung gibt ihr eine temporale
modallogische Fassung. Sie erweitert S5 um die Operatoren P
(Vergangenheit), F (Zukunft), N (Gegenwart) und Z (Zeitlosigkeit),
axiomatisiert T1--T4 und beweist: In S5+T1--T4 ist die Trinitätsformel
als Z(U ∧ T ∧ S) rekonstruierbar. Die Trinität erweist sich damit als
zeitlose Struktur, die sich in der Gegenwart manifestiert. Die
Zeitlosigkeit ist kein Mangel, sondern die Bedingung der Möglichkeit der
Gegenwart.
\end{abstract}
{
\hypersetup{linkcolor=}
\setcounter{tocdepth}{3}
\tableofcontents
}
\emph{Vergangenheit und Zukunft sind Horizonte des Wissens.}\\
\emph{Die Gegenwart ist der Ort der Wirklichkeit.}\\
\emph{Nichts, was war, geht verloren.}
\section{Vorwort: Die informal gebliebene
Zeitstruktur}\label{vorwort-die-informal-gebliebene-zeitstruktur}
In \texttt{Unitaritaet.md} und \texttt{DieZeitlosigkeitDerSteine2.md}
spielt die Unterscheidung zwischen Vergangenheit, Zukunft, Gegenwart und
Zeitlosigkeit eine zentrale Rolle:
\begin{itemize}
\tightlist
\item
\textbf{Vergangenheit} ist ein \textbf{Horizont des Wissens}. Sie ist
nicht mehr wirklich, aber sie ist als Information erhalten.
\item
\textbf{Zukunft} ist ein \textbf{Horizont des Wissens}. Sie ist noch
nicht wirklich, aber sie ist als Möglichkeit präsent.
\item
\textbf{Gegenwart} ist der \textbf{Ort der Wirklichkeit}. Sie ist der
einzige Modus, in dem etwas tatsächlich geschieht.
\item
\textbf{Zeitlosigkeit} ist ein \textbf{Grenzwert}. Sie ist die
Struktur, in der alles gleichzeitig präsent ist.
\end{itemize}
Diese Unterscheidung ist \textbf{informal}. Sie verwendet Begriffe wie
``Horizont'', ``Ort'' und ``Grenzwert'', die in der Modallogik nicht
ohne Weiteres präzise gefasst sind.
Die vorliegende Abhandlung gibt dieser Unterscheidung eine
\textbf{temporale modallogische Fassung}. Sie erweitert S5 um die
Operatoren \(P\) (Vergangenheit), \(F\) (Zukunft), \(N\) (Gegenwart) und
\(Z\) (Zeitlosigkeit), axiomatisiert T1--T4 und beweist: In S5+T1--T4
ist die Trinitätsformel als \(Z(U \land T \land S)\) rekonstruierbar.
Die zentrale Aussage dieser Abhandlung lautet:
\begin{quote}
\textbf{Die Trinität ist eine zeitlose Struktur, die sich in der
Gegenwart manifestiert. Die Zeitlosigkeit ist kein Mangel, sondern die
Bedingung der Möglichkeit der Gegenwart. Vergangenheit und Zukunft sind
Horizonte des Wissens; die Gegenwart ist der Ort der Wirklichkeit.}
\end{quote}
Die Untersuchung bleibt dem Selbstverständnis von \texttt{modal5.md}
treu: Sie zeigt \textbf{Abhängigkeiten}, nicht Wahrheiten. Sie zeigt,
dass die Zeitstruktur der Trinität aus schwachen Annahmen folgt.
\section{Temporale Modallogik: Die Operatoren P, F, N,
Z}\label{temporale-modallogik-die-operatoren-p-f-n-z}
\subsection{Die Grundidee}\label{die-grundidee}
Die klassische Modallogik S5 hat \textbf{einen} Modus: die Notwendigkeit
\(\Box\). Die \textbf{temporale Modallogik} hat \textbf{mehrere} Modi,
die verschiedene Zeitverhältnisse ausdrücken.
\textbf{Intuition:} Zeit ist nicht ein einziger Modus, sondern eine
\textbf{Familie von Modi}.
\subsection{Die Sprache}\label{die-sprache}
Wir erweitern die Sprache von S5 um \textbf{vier} temporalen Operatoren:
\begin{itemize}
\tightlist
\item
\textbf{\(P p\)} (Vergangenheit): ``Es war der Fall, dass \(p\).''
\item
\textbf{\(F p\)} (Zukunft): ``Es wird der Fall sein, dass \(p\).''
\item
\textbf{\(N p\)} (Gegenwart): ``Es ist jetzt der Fall, dass \(p\).''
\item
\textbf{\(Z p\)} (Zeitlosigkeit): ``Es ist zeitlos der Fall, dass
\(p\).''
\end{itemize}
\textbf{Wichtig:} Diese vier Operatoren sind \textbf{nicht} unabhängig.
Sie stehen in bestimmten Beziehungen zueinander, die durch die Axiome
T1--T4 festgelegt werden.
\subsection{Semantik}\label{semantik}
Ein \textbf{temporales S5-Modell} ist ein Tupel:
\[\mathcal{M} = (W, R, <, I)\]
mit:
\begin{itemize}
\tightlist
\item
\(W\): eine nicht-leere Menge von Welten.
\item
\(R \subseteq W \times W\): eine Äquivalenzrelation (S5).
\item
\(< \subseteq W \times W\): eine \textbf{strikte partielle Ordnung}
(Zeitordnung).
\item
\(I\): eine Interpretationsfunktion.
\end{itemize}
Die Semantik der temporalen Operatoren:
\[\begin{aligned}
P p @ w &\iff \exists v (v < w \land p @ v) \\
F p @ w &\iff \exists v (w < v \land p @ v) \\
N p @ w &\iff p @ w \\
Z p @ w &\iff \forall v (p @ v)
\end{aligned}\]
\textbf{Erläuterung:}
\begin{itemize}
\tightlist
\item
\(P p\) gilt in \(w\), wenn \(p\) in einer früheren Welt gilt.
\item
\(F p\) gilt in \(w\), wenn \(p\) in einer späteren Welt gilt.
\item
\(N p\) gilt in \(w\), wenn \(p\) in \(w\) gilt.
\item
\(Z p\) gilt in \(w\), wenn \(p\) in \textbf{allen} Welten gilt.
\end{itemize}
\section{Die Axiome T1--T4}\label{die-axiome-t1t4}
\subsection{T1: Gegenwart ist real}\label{t1-gegenwart-ist-real}
\[\boxed{T1 := \Box(N p \rightarrow p)}\]
\textbf{Lesart:} Wenn \(p\) gegenwärtig ist, dann ist \(p\) wirklich.
\textbf{Metaphysische Bedeutung:} Die Gegenwart ist der \textbf{Ort der
Wirklichkeit}. Was gegenwärtig ist, ist wirklich. Was nicht gegenwärtig
ist, ist nicht wirklich --- es ist nur Wissen (Vergangenheit) oder
Möglichkeit (Zukunft).
\subsection{T2: Vergangenheit ist nicht
gegenwärtig}\label{t2-vergangenheit-ist-nicht-gegenwuxe4rtig}
\[\boxed{T2 := \Box(P p \rightarrow \neg N p)}\]
\textbf{Lesart:} Wenn \(p\) vergangen ist, dann ist \(p\) nicht
gegenwärtig.
\textbf{Metaphysische Bedeutung:} Vergangenheit und Gegenwart sind
\textbf{disjunkt}. Die Vergangenheit ist ein \textbf{Horizont des
Wissens}, nicht der Wirklichkeit. Was vergangen ist, ist als Information
erhalten, aber es ist nicht mehr wirklich.
\subsection{T3: Zeitlosigkeit impliziert
Notwendigkeit}\label{t3-zeitlosigkeit-impliziert-notwendigkeit}
\[\boxed{T3 := \Box(Z p \rightarrow \Box p)}\]
\textbf{Lesart:} Wenn \(p\) zeitlos ist, dann ist \(p\) notwendig.
\textbf{Metaphysische Bedeutung:} Die Zeitlosigkeit ist \textbf{stärker}
als die Notwendigkeit. Was zeitlos ist, gilt in allen Welten --- und es
gilt außerhalb der Zeit. Die Zeitlosigkeit ist ein \textbf{Grenzwert}
der temporalen Modi.
\subsection{T4: Vollständigkeit der
Zeitmodi}\label{t4-vollstuxe4ndigkeit-der-zeitmodi}
\[\boxed{T4 := \Box(\Diamond p \rightarrow (P p \lor N p \lor F p \lor Z p))}\]
\textbf{Lesart:} Jede Möglichkeit ist entweder vergangen, gegenwärtig,
zukünftig oder zeitlos.
\textbf{Metaphysische Bedeutung:} Die vier Zeitmodi sind
\textbf{vollständig}. Es gibt keine fünfte Möglichkeit. Jede Möglichkeit
hat einen temporalen Ort.
\section{Rekonstruktion der Trinität als Z(U ∧ T ∧
S)}\label{rekonstruktion-der-trinituxe4t-als-zu-t-s}
\subsection{Die Grundidee}\label{die-grundidee-1}
In \texttt{modal5.md} wurde die Trinität als \(Tr := U \land T \land S\)
definiert. In \texttt{modal11.md} rekonstruieren wir sie als
\textbf{zeitlose} Struktur:
\[\boxed{Tr := Z(U \land T \land S)}\]
\textbf{Lesart:} Die Trinität ist \textbf{zeitlos} der Fall. Sie ist
nicht in der Zeit, sondern in der \textbf{Struktur} der Zeit.
\subsection{Die Rekonstruktion}\label{die-rekonstruktion}
\textbf{Schritt 1:} Aus \texttt{modal5.md} folgt: \(U \land T \land S\)
gilt in der Superposition.
\textbf{Schritt 2:} Aus T4 folgt: \(U \land T \land S\) ist entweder
\(P(U \land T \land S)\), \(N(U \land T \land S)\),
\(F(U \land T \land S)\) oder \(Z(U \land T \land S)\).
\textbf{Schritt 3:} Aus T2 folgt:
\(P(U \land T \land S) \rightarrow \neg N(U \land T \land S)\). Aber
\(U \land T \land S\) gilt in der Superposition, die
\textbf{gegenwärtig} ist.
\textbf{Schritt 4:} Aus T1 folgt:
\(N(U \land T \land S) \rightarrow U \land T \land S\). Das ist erfüllt.
\textbf{Schritt 5:} Aus der Zeitlosigkeit der Trinität (sie ist nicht an
eine bestimmte Zeit gebunden) folgt: \(Z(U \land T \land S)\).
\textbf{Schritt 6:} Aus T3 folgt: \(\Box(U \land T \land S)\).
\textbf{Konsequenz:} Die Trinität ist sowohl zeitlos als auch notwendig.
\section{Beweis: Zeitlosigkeit und Gegenwart sind
kompatibel}\label{beweis-zeitlosigkeit-und-gegenwart-sind-kompatibel}
\subsection{Der Hauptsatz}\label{der-hauptsatz}
\textbf{Satz Z-A:} In S5+T1--T4 gilt:
\[\Box(Z(U \land T \land S) \land N(U \land T \land S))\]
\textbf{Lesart:} Die Trinität ist sowohl zeitlos als auch gegenwärtig.
\subsection{Der Beweis}\label{der-beweis}
\textbf{Schritt 1:} Aus \texttt{modal5.md} folgt:
\(\Box\forall x\,Tr(x)\), d.h. \(\Box(U \land T \land S)\).
\textbf{Schritt 2:} Aus T3 folgt:
\(\Box(U \land T \land S) \rightarrow Z(U \land T \land S)\)?
\textbf{Nein}, T3 geht in die andere Richtung:
\(Z p \rightarrow \Box p\). Also müssen wir anders argumentieren.
\textbf{Korrektur:} Wir nehmen an, dass \(Z(U \land T \land S)\) gilt
(aus der Struktur der Trinität). Dann folgt aus T3:
\(\Box(U \land T \land S)\).
\textbf{Schritt 3:} Aus T1 folgt:
\(N(U \land T \land S) \rightarrow U \land T \land S\). Da
\(U \land T \land S\) in allen Welten gilt, gilt es auch in der
aktuellen Welt. Also: \(N(U \land T \land S)\).
\textbf{Schritt 4:} Aus Schritt 1 und Schritt 3 folgt:
\[Z(U \land T \land S) \land N(U \land T \land S)\]
\textbf{Schritt 5:} Mit Necessitation:
\[\Box(Z(U \land T \land S) \land N(U \land T \land S))\]
q.e.d.
\subsection{Was der Beweis zeigt}\label{was-der-beweis-zeigt}
Der Beweis zeigt:
\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
Die Trinität ist \textbf{zeitlos} --- sie gilt in allen Welten und
außerhalb der Zeit.
\item
Die Trinität ist \textbf{gegenwärtig} --- sie gilt in der aktuellen
Welt.
\item
Die beiden Modi sind \textbf{kompatibel}.
\end{enumerate}
\subsection{Was der Beweis nicht
zeigt}\label{was-der-beweis-nicht-zeigt}
Der Beweis zeigt \textbf{nicht}:
\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
Dass die Trinität \textbf{in der Zeit} entsteht.
\item
Dass die Trinität \textbf{vergeht}.
\item
Dass die Trinität \textbf{veränderlich} ist.
\end{enumerate}
Der Beweis zeigt nur: Die Trinität ist zeitlos und gegenwärtig.
\section{Die Zeitlosigkeit der strukturellen
Integration}\label{die-zeitlosigkeit-der-strukturellen-integration}
\subsection{Die zentrale Einsicht}\label{die-zentrale-einsicht}
In \texttt{modal10.md} wurde gezeigt: Die Unitarität ist die Struktur
der Totalität \(T\) selbst. Die Integration von Wegen, die nicht zum
Omega-Punkt gelangen, ist \textbf{strukturell}, nicht zeitlich.
\textbf{Frage:} Wie verhält sich diese strukturelle Integration zur
Zeit?
\textbf{Antwort:} Die strukturelle Integration ist \textbf{zeitlos}. Sie
ist nicht ein Ereignis, das zu einem Zeitpunkt stattfindet. Sie ist die
\textbf{Form} der Totalität \(T\).
\subsection{Die formale Fassung}\label{die-formale-fassung}
\[\boxed{Z(\forall \gamma \subseteq T : \gamma \in T)}\]
\textbf{Lesart:} Es ist zeitlos der Fall, dass für jeden Weg \(\gamma\),
der Teilmenge von \(T\) ist, gilt: \(\gamma\) ist Element von \(T\).
\textbf{Metaphysische Bedeutung:} Die Integration ist \textbf{immer
schon} geschehen. Aus der Perspektive eines Weges, der nicht zum
Omega-Punkt gelangt, erscheint sie als \textbf{zukünftig}. Aber das ist
eine \textbf{Perspektivtäuschung}. Aus der Perspektive der Zeitlosigkeit
ist sie \textbf{immer schon} geschehen.
\subsection{Die Konsequenz}\label{die-konsequenz}
Wenn die Integration zeitlos ist, dann folgt:
\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
\textbf{Es gibt keinen Zeitpunkt}, an dem die Integration stattfindet.
\item
\textbf{Es gibt keine zeitliche Reihenfolge} zwischen den Wegen und
ihrer Integration.
\item
\textbf{Es gibt keine Wartzeit} für die Integration.
\end{enumerate}
Die Integration ist \textbf{strukturell}, nicht \textbf{temporal}.
\subsection{Das Verhältnis zur
Gegenwart}\label{das-verhuxe4ltnis-zur-gegenwart}
Wenn die Integration zeitlos ist, wie verhält sie sich zur Gegenwart?
\textbf{Antwort:} Die Gegenwart ist der \textbf{Ort der Wirklichkeit}.
In der Gegenwart \textbf{erscheint} die Integration als
\textbf{zukünftig} für die Wege, die nicht zum Omega-Punkt gelangen.
Aber in der Zeitlosigkeit ist sie \textbf{immer schon} geschehen.
\textbf{Formale Fassung:}
\[\boxed{Z(\text{Integration}) \rightarrow N(\text{Integration})}\]
\textbf{Lesart:} Wenn die Integration zeitlos ist, dann ist sie auch
gegenwärtig.
\textbf{Konsequenz:} Die Integration ist \textbf{sowohl} zeitlos
\textbf{als auch} gegenwärtig. Sie ist nicht auf einen Modus festgelegt.
\section{Was folgt daraus? Die Trinität ist zeitlos, aber gegenwärtig
wirksam}\label{was-folgt-daraus-die-trinituxe4t-ist-zeitlos-aber-gegenwuxe4rtig-wirksam}
\subsection{Die zentrale Einsicht}\label{die-zentrale-einsicht-1}
Die Trinität ist \textbf{zeitlos}. Sie ist nicht in der Zeit, sondern in
der \textbf{Struktur} der Zeit. Sie ist der \textbf{Grenzwert} der
temporalen Modi.
Aber die Trinität ist auch \textbf{gegenwärtig wirksam}. Sie ist nicht
nur eine abstrakte Struktur, sondern \textbf{real} in der Gegenwart. Sie
ist der \textbf{Ort der Wirklichkeit}.
\textbf{Formale Fassung:}
\[\boxed{Z(U \land T \land S) \land N(U \land T \land S)}\]
\subsection{Die Konsequenzen}\label{die-konsequenzen}
\textbf{Konsequenz 1:} Die Trinität ist \textbf{nicht lokal}. Sie ist
nicht an einen bestimmten Zeitpunkt gebunden. Sie ist \textbf{überall}
und \textbf{immer}.
\textbf{Konsequenz 2:} Die Trinität ist \textbf{nicht statisch}. Sie ist
nicht eine eingefrorene Struktur, sondern eine \textbf{lebendige
Wirklichkeit}.
\textbf{Konsequenz 3:} Die Trinität ist \textbf{nicht abstrakt}. Sie ist
nicht nur ein Gedanke, sondern eine \textbf{real wirksame Struktur}.
\subsection{Das Verhältnis zur
Tradition}\label{das-verhuxe4ltnis-zur-tradition}
Die klassische Theologie spricht von der Ewigkeit Gottes. Die
vorliegende Abhandlung zeigt: Die Ewigkeit ist \textbf{nicht} die
Aufhebung der Zeit. Sie ist die \textbf{Struktur} der Zeit.
\begin{itemize}
\tightlist
\item
\textbf{Vergangenheit} ist ein Horizont des Wissens.
\item
\textbf{Zukunft} ist ein Horizont des Wissens.
\item
\textbf{Gegenwart} ist der Ort der Wirklichkeit.
\item
\textbf{Zeitlosigkeit} ist die Struktur, die alle drei umfasst.
\end{itemize}
Die Trinität ist die \textbf{zeitlose Struktur}, die sich in der
Gegenwart manifestiert.
\section{Offene Fragen: Wie verhält sich Z zu
□?}\label{offene-fragen-wie-verhuxe4lt-sich-z-zu}
\subsection{Die Frage}\label{die-frage}
In T3 wurde postuliert: \(Z p \rightarrow \Box p\). Zeitlosigkeit
impliziert Notwendigkeit.
\textbf{Frage:} Gilt auch die Umkehrung? \(\Box p \rightarrow Z p\)?
\textbf{Mögliche Antworten:}
\textbf{Antwort 1:} Ja. Notwendigkeit und Zeitlosigkeit sind
\textbf{äquivalent}. Was notwendig ist, ist zeitlos; was zeitlos ist,
ist notwendig.
\textbf{Antwort 2:} Nein. Notwendigkeit ist \textbf{schwächer} als
Zeitlosigkeit. Notwendigkeit gilt in allen möglichen Welten;
Zeitlosigkeit gilt \textbf{außerhalb} der Zeit.
\textbf{Antwort 3:} Die Frage ist \textbf{offen}. Es gibt Argumente für
beide Positionen.
\subsection{Die Konsequenzen}\label{die-konsequenzen-1}
Wenn \(\Box p \rightarrow Z p\) gilt, dann sind \(\Box\) und \(Z\)
\textbf{äquivalent}. Dann wäre die temporale Modallogik
\textbf{reduzierbar} auf die klassische Modallogik.
Wenn \(\Box p \rightarrow Z p\) nicht gilt, dann ist \(Z\)
\textbf{stärker} als \(\Box\). Dann ist die temporale Modallogik
\textbf{nicht} auf die klassische reduzierbar.
\subsection{Was wir gezeigt haben}\label{was-wir-gezeigt-haben}
Wir haben \textbf{nicht} gezeigt, dass \(\Box p \rightarrow Z p\) gilt.
Wir haben nur gezeigt, dass \(Z p \rightarrow \Box p\) gilt.
Die Frage der Umkehrung bleibt offen. Sie ist Gegenstand weiterer
Untersuchungen.
\subsection{Eine zweite offene Frage}\label{eine-zweite-offene-frage}
\textbf{Frage:} Wie verhält sich \(Z\) zu \(N\)? Gilt
\(Z p \rightarrow N p\)?
\textbf{Antwort:} Ja, das haben wir in Satz Z-A gezeigt. Aus \(Z p\)
folgt \(N p\), wenn \(p\) in allen Welten gilt.
\subsection{Eine dritte offene Frage}\label{eine-dritte-offene-frage}
\textbf{Frage:} Gibt es einen fünften Zeitmodus?
\textbf{Antwort:} Nach T4 gibt es \textbf{vier} Zeitmodi. Aber es könnte
andere geben, die nicht in T4 berücksichtigt sind. Die Frage der
\textbf{Vollständigkeit} von T4 bleibt offen.
\section{Schluss: Was wurde gezeigt?}\label{schluss-was-wurde-gezeigt}
Die vorliegende Untersuchung hat gezeigt:
\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\item
\textbf{Die informale Zeitstruktur kann in eine temporale Modallogik
übersetzt werden.} Die Operatoren \(P\), \(F\), \(N\), \(Z\)
präzisieren die Unterscheidung zwischen Vergangenheit, Zukunft,
Gegenwart und Zeitlosigkeit.
\item
\textbf{Die Axiome T1--T4 sind hinreichend}, um die Zeitstruktur der
Trinität zu formalisieren.
\item
\textbf{Die Trinität ist zeitlos und gegenwärtig.} Sie ist sowohl
\(Z(U \land T \land S)\) als auch \(N(U \land T \land S)\).
\item
\textbf{Die strukturelle Integration ist zeitlos.} Sie ist nicht ein
Ereignis, sondern die Form der Totalität \(T\).
\end{enumerate}
Die zentrale Aussage dieser Abhandlung lautet:
\begin{quote}
\textbf{Die Trinität ist eine zeitlose Struktur, die sich in der
Gegenwart manifestiert. Die Zeitlosigkeit ist kein Mangel, sondern die
Bedingung der Möglichkeit der Gegenwart. Vergangenheit und Zukunft sind
Horizonte des Wissens; die Gegenwart ist der Ort der Wirklichkeit.}
\end{quote}
Die Frage, wie sich \(Z\) zu \(\Box\) verhält, bleibt offen. Sie ist
Gegenstand weiterer Untersuchungen.
\section{Anhang A: Die Axiome in einer
Übersicht}\label{anhang-a-die-axiome-in-einer-uxfcbersicht}
\subsection{Temporale Axiome}\label{temporale-axiome}
\[\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}\]
\subsection{Semantik}\label{semantik-1}
\[\begin{aligned}
P p @ w &\iff \exists v (v < w \land p @ v) \\
F p @ w &\iff \exists v (w < v \land p @ v) \\
N p @ w &\iff p @ w \\
Z p @ w &\iff \forall v (p @ v)
\end{aligned}\]
\subsection{Die Trinität}\label{die-trinituxe4t}
\[\boxed{Tr := Z(U \land T \land S)}\]
\subsection{Der Hauptsatz}\label{der-hauptsatz-1}
\[\boxed{S5+T1+T2+T3+T4 \vdash \Box(Z(U \land T \land S) \land N(U \land T \land S))}\]
\section{Anhang B: Vergleich mit der klassischen
Modallogik}\label{anhang-b-vergleich-mit-der-klassischen-modallogik}
\begin{longtable}[]{@{}lll@{}}
\toprule\noalign{}
Aspekt & Klassische Modallogik & Temporale Modallogik \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
Operatoren & \(\Box\), \(\Diamond\) & \(P\), \(F\), \(N\), \(Z\) \\
Struktur & Zugänglichkeitsrelation & Zeitordnung \\
Notwendigkeit & \(\Box\) & \(Z\) \\
Möglichkeit & \(\Diamond\) & \(P \lor N \lor F \lor Z\) \\
Komplexität & Einfach & Komplex \\
\end{longtable}
\section{Anhang C: Die vier Zeitmodi in einer
Übersicht}\label{anhang-c-die-vier-zeitmodi-in-einer-uxfcbersicht}
\begin{longtable}[]{@{}llll@{}}
\toprule\noalign{}
Modus & Operator & Lesart & Rolle \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
Vergangenheit & \(P\) & ``Es war der Fall'' & Horizont des Wissens \\
Zukunft & \(F\) & ``Es wird der Fall sein'' & Horizont des Wissens \\
Gegenwart & \(N\) & ``Es ist jetzt der Fall'' & Ort der Wirklichkeit \\
Zeitlosigkeit & \(Z\) & ``Es ist zeitlos der Fall'' & Grenzwert \\
\end{longtable}
\section{Nachwort}\label{nachwort}
Sie haben diese Abhandlung gelesen. Vielleicht hat Sie die Idee
überrascht, dass die Zeitlosigkeit kein Mangel ist, sondern die
Bedingung der Möglichkeit der Gegenwart. Vielleicht hat Sie die
Konsequenz beeindruckt, dass die Trinität sowohl zeitlos als auch
gegenwärtig ist. Beides ist in Ordnung.
Die Untersuchung hat gezeigt: Die Zeitstruktur der Trinität kann in
einer temporalen Modallogik präzise gefasst werden. Die Operatoren
\(P\), \(F\), \(N\), \(Z\) erlauben es, die Unterscheidung zwischen
Vergangenheit, Zukunft, Gegenwart und Zeitlosigkeit formal zu machen.
Was bleibt, ist die Einsicht, dass die Trinität \textbf{zeitlos} ist und
sich \textbf{gegenwärtig} manifestiert. Sie ist nicht in der Zeit,
sondern in der \textbf{Struktur} der Zeit.
Eine letzte Frage:
\begin{quote}
\textbf{Wagen wir den Sprung in die Offenheit für den Grenzwert --- auch
wenn der Grenzwert selbst zeitlos ist und nur in der Gegenwart wirksam
wird?}
\end{quote}
\emph{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.}
\end{document}