← Zurück zur Einstiegsseite
← Back to the entry page

📐 Modal-Abhandlungen

📐 Modal Treatises

Die Trinität als notwendige Struktur einer monistischen Modalontologie
Modallogische Beweisführung – Versionen 1–5
The Trinity as a Necessary Structure of a Monistic Modal Ontology
Modal-logical proof – Versions 1–5

Was ist das?

Die modallogischen Abhandlungen beweisen formal, dass unter den Axiomen des Monismus, der Existenz einer möglichen Welt und weiterer metaphysischer Annahmen eine trinitarische Struktur aus Ursprung (U), Totalität (T) und Selbsterkenntnis (S) notwendig folgt.

Die Abhandlungen sind keine Gottesbeweise im klassischen Sinne. Sie zeigen: Wenn Sie die Axiome akzeptieren, dann folgt die Trinitätsstruktur logisch zwingend.

Fünf Versionen dokumentieren die Entwicklung der Beweisstrategie – von der ersten Skizze bis zur finalen Fassung mit vollständiger formaler Analyse.

📖 Die Versionen 1–5 sind in Deutsch und Englisch verfügbar – als PDF, EPUB, DOCX und TeX.

What is this?

The modal-logical treatises formally prove that under the axioms of monism, the existence of a possible world, and further metaphysical assumptions, a Trinitarian structure of Origin (U), Totality (T), and Self-Knowledge (S) necessarily follows.

The treatises are not proofs of God in the classical sense. They show: If you accept the axioms, then the Trinitarian structure follows logically and necessarily.

Five versions document the development of the proof strategy – from the first sketch to the final version with complete formal analysis.

📖 Versions 1–5 are available in German and English – as PDF, EPUB, DOCX, Tex and MD.

Version 1
Die Trinität als notwendige Struktur einer monistischen Modalontologie
Erste systematische Fassung
Eine streng formalisierte modallogische Untersuchung mit sechs Axiomen. Der Beweis wird im System S5 geführt.
The Trinity as a Necessary Structure of a Monistic Modal Ontology
First systematic version
A strictly formalized modal-logical investigation with six axioms. The proof is conducted in system S5.
Version 2
Minimalistische, grenzwertbasierte Version
Mit nur zwei Axiomen
Diese Version kommt mit nur zwei Axiomen aus: Monismus (A1) und Existenz einer möglichen Welt (A4). U, T und S werden als Grenzwerte eines offenen Intervalls verstanden.
Minimalist, Limit-Based Version
With only two axioms
This version uses only two axioms: Monism (A1) and Existence of a possible world (A4). U, T, and S are understood as limits of an open interval.
Version 3
Finale Version
Mit vier Axiomen und transzendentalen Brücken
Die finale Version der Abhandlung. Sie verwendet vier Axiome: Monismus (A1), Existenz einer Welt (A4), Transzendentale Brücke (A11) und Erfahrbarkeit ↔ Realisierung (A12).
Final Version
With four axioms and transcendental bridges
The final version of the treatise. It uses four axioms: Monism (A1), Existence of a World (A4), Transcendental Bridge (A11), and Experience ↔ Realization (A12).
Version 4
Vollständige Analyse
Teil I–III: Nicht-Ableitbarkeit, Beweis, Einordnung
Diese Version vereint alle vorangegangenen Erkenntnisse: Teil I zeigt die Nicht-Ableitbarkeit in reinem S5, Teil II den Beweis im erweiterten System S5+SP, Teil III die metatheoretische Einordnung.
Complete Analysis
Part I–III: Non-derivability, Proof, Classification
This version unites all previous insights: Part I shows non-derivability in pure S5, Part II the proof in the extended system S5+SP, Part III the metatheoretical classification.
Version 5
Finale Version mit vollständiger formaler Analyse
Teil I–IV: Vollständige Axiome, Ableitungen, Konsistenz
Die finale Version fasst die gesamte Entwicklung zusammen. Teil IV bietet eine vollständige formale Analyse: alle Axiome, vollständige Ableitungen der Theoreme und ein Konsistenzbeweis des erweiterten Systems S5+SP mittels kanonischer Modellstruktur.
Final Version with Complete Formal Analysis
Part I–IV: Complete Axioms, Derivations, Consistency
The final version summarizes the entire development. Part IV provides a complete formal analysis: all axioms, complete derivations of the theorems, and a consistency proof of the extended system S5+SP by means of a canonical model structure.

📖 Interaktive Tutorials

Die Tutorials führen Schritt für Schritt durch die Beweisführung – mit Erklärungen, Formeln und Verständnisfragen. Ideal für alle, die die Abhandlungen nicht nur lesen, sondern verstehen wollen.

📖 Interactive Tutorials

The tutorials guide you step by step through the proof – with explanations, formulas, and comprehension questions. Ideal for anyone who wants to understand the treatises, not just read them.

📐 Version 1
Erste systematische Fassung – sechs Axiome, S5-Beweis
First systematic version – six axioms, S5 proof
📐 Version 2
Minimalistische, grenzwertbasierte Version – zwei Axiome
Minimalist, limit-based version – two axioms
📐 Version 3
Finale Version – vier Axiome, transzendentale Brücken
Final version – four axioms, transcendental bridges
📐 Version 4
Vollständige Analyse – Nicht-Ableitbarkeit + Beweis
Complete analysis – Non-derivability + Proof
📐 Version 5
Finale mit vollständiger formaler Analyse
Final with complete formal analysis