Inhalt

Aktueller Ordner: /

modaltutorial.html

<!DOCTYPE html>
<html lang="de">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Modal-Tutorial – Die Trinität als notwendige Struktur einer monistischen Modalontologie</title>
    <base href="https://the-last-freedom.org/Projekt_Pompeji/docs/">
    <style>
        /* ========== GLOBAL ========== */
        * {
            margin: 0;
            padding: 0;
            box-sizing: border-box;
        }
        body {
            font-family: 'Georgia', 'Times New Roman', Times, serif;
            background-color: #f5f3ef;
            color: #2c2c2c;
            line-height: 1.7;
            padding: 2rem 1rem;
        }
        .container {
            max-width: 820px;
            margin: 0 auto;
            background-color: #fffef7;
            padding: 2rem 2.2rem;
            border-radius: 16px;
            box-shadow: 0 8px 30px rgba(0,0,0,0.08);
            border: 1px solid #e0d6c8;
        }
        h1 {
            font-size: 1.8rem;
            font-weight: normal;
            color: #2c2c2c;
            border-left: 6px solid #6b4f8a;
            padding-left: 1rem;
            margin-bottom: 0.3rem;
        }
        .subhead {
            font-size: 0.95rem;
            color: #6b6b6b;
            margin-bottom: 1.8rem;
            border-bottom: 1px solid #e0d6c8;
            padding-bottom: 0.8rem;
        }
        .subhead a {
            color: #6b4f8a;
            text-decoration: none;
        }
        .subhead a:hover {
            text-decoration: underline;
        }

        /* ========== SCHRITT-BLOCK ========== */
        .step-block {
            background-color: #faf8f3;
            border-left: 4px solid #c4a86b;
            padding: 1.5rem 1.8rem;
            margin-bottom: 2rem;
            border-radius: 0 10px 10px 0;
        }
        .step-number {
            font-size: 0.75rem;
            text-transform: uppercase;
            letter-spacing: 1px;
            color: #8b6b3d;
            font-weight: bold;
        }
        .step-title {
            font-size: 1.3rem;
            font-weight: bold;
            margin: 0.2rem 0 0.8rem 0;
            color: #2c2c2c;
        }
        .step-explanation {
            margin-bottom: 1.2rem;
        }
        .step-explanation p {
            margin-bottom: 0.8rem;
        }
        .step-explanation ul, .step-explanation ol {
            margin: 0.5rem 0 0.8rem 1.5rem;
        }
        .step-explanation li {
            margin-bottom: 0.3rem;
        }

        /* Formel-Box */
        .formula-box {
            background-color: #f0ede6;
            padding: 0.8rem 1.2rem;
            border-radius: 8px;
            margin: 0.8rem 0;
            font-family: 'Courier New', monospace;
            font-size: 1.05rem;
            text-align: center;
            border: 1px solid #d4cab8;
            overflow-x: auto;
        }

        /* ========== FRAGE ========== */
        .question-box {
            background-color: #f5f0ea;
            padding: 1.2rem 1.5rem;
            border-radius: 10px;
            margin-top: 1rem;
            border: 1px solid #d4cab8;
        }
        .question-box .qtext {
            font-weight: bold;
            margin-bottom: 0.6rem;
        }
        .question-box .qoptions {
            display: flex;
            flex-wrap: wrap;
            gap: 0.4rem 1rem;
            margin-bottom: 0.8rem;
        }
        .question-box .qoptions label {
            display: inline-block;
            background-color: #fffef7;
            padding: 0.15rem 0.8rem;
            border-radius: 30px;
            border: 1px solid #d4cab8;
            font-size: 0.85rem;
            cursor: pointer;
            transition: background-color 0.2s;
        }
        .question-box .qoptions label:hover {
            background-color: #e8e2d7;
        }
        .question-box .qoptions input[type="radio"] {
            margin-right: 0.3rem;
            accent-color: #6b4f8a;
        }
        .question-box .qsubmit {
            background-color: #6b4f8a;
            color: #fffef7;
            border: none;
            padding: 0.4rem 1.6rem;
            border-radius: 30px;
            font-size: 0.85rem;
            font-family: inherit;
            cursor: pointer;
            transition: background-color 0.2s;
        }
        .question-box .qsubmit:hover {
            background-color: #4d3a63;
        }
        .question-box .qfeedback {
            margin-top: 0.8rem;
            padding: 0.6rem 1rem;
            border-radius: 8px;
            font-weight: bold;
            display: none;
        }
        .question-box .qfeedback.correct {
            display: block;
            background-color: #d4edda;
            color: #155724;
            border: 1px solid #c3e6cb;
        }
        .question-box .qfeedback.wrong {
            display: block;
            background-color: #f8d7da;
            color: #721c24;
            border: 1px solid #f5c6cb;
        }

        /* ========== PROGRESS ========== */
        .progress-bar {
            background-color: #e0d6c8;
            border-radius: 20px;
            height: 8px;
            margin: 1.8rem 0 1rem 0;
            overflow: hidden;
        }
        .progress-bar .fill {
            height: 100%;
            width: 0%;
            background-color: #6b4f8a;
            border-radius: 20px;
            transition: width 0.4s ease;
        }
        .progress-text {
            text-align: right;
            font-size: 0.8rem;
            color: #8b8b8b;
            margin-top: -0.3rem;
        }

        /* ========== NAVI ========== */
        .nav-links {
            display: flex;
            flex-wrap: wrap;
            justify-content: space-between;
            align-items: center;
            margin-top: 2rem;
            padding-top: 1rem;
            border-top: 1px solid #e0d6c8;
        }
        .nav-links a {
            color: #6b4f8a;
            text-decoration: none;
            font-size: 0.9rem;
            padding: 0.3rem 0.8rem;
            border-radius: 30px;
            background-color: #f0ede6;
            transition: background-color 0.2s;
        }
        .nav-links a:hover {
            background-color: #d4cab8;
        }
        .nav-links .disabled {
            color: #b0a89a;
            pointer-events: none;
            background-color: #f5f3ef;
        }

        /* ========== RESPONSIVE ========== */
        @media (max-width: 640px) {
            .container {
                padding: 1.2rem;
            }
            h1 {
                font-size: 1.4rem;
            }
            .step-block {
                padding: 1rem 1.2rem;
            }
            .question-box {
                padding: 1rem;
            }
            .question-box .qoptions {
                flex-direction: column;
                gap: 0.2rem;
            }
            .formula-box {
                font-size: 0.9rem;
                padding: 0.6rem 0.8rem;
            }
            .nav-links {
                flex-direction: column;
                gap: 0.6rem;
                align-items: stretch;
                text-align: center;
            }
        }

        /* ========== HILFSKLASSEN ========== */
        .highlight {
            background-color: #f5f0ea;
            padding: 0.1rem 0.3rem;
            border-radius: 4px;
            font-weight: bold;
        }
        .symbol {
            font-family: 'Courier New', monospace;
            background-color: #f0ede6;
            padding: 0.05rem 0.4rem;
            border-radius: 4px;
            font-size: 0.95rem;
        }
        .boxed {
            border: 1px solid #c4a86b;
            padding: 0.3rem 0.8rem;
            border-radius: 6px;
            display: inline-block;
            background-color: #faf8f3;
            font-weight: bold;
        }
        .mt-1 { margin-top: 1rem; }
        .mb-1 { margin-bottom: 1rem; }
        .text-center { text-align: center; }
        .text-muted { color: #8b8b8b; font-size: 0.85rem; }
    </style>
</head>
<body>

<div class="container" id="app">

    <!-- ===== HEADER ===== -->
    <h1>📐 Die Trinität als notwendige Struktur einer monistischen Modalontologie</h1>
    <div class="subhead">
        Ein interaktives Tutorial – Schritt für Schritt<br>
        <a href="index.html">← Zurück zur Einstiegsseite</a>
    </div>

    <!-- ===== PROGRESS ===== -->
    <div class="progress-bar" id="progressBar">
        <div class="fill" id="progressFill" style="width: 0%;"></div>
    </div>
    <div class="progress-text" id="progressText">Schritt 0 von 17</div>

    <!-- ===== SCHRITTE ===== -->
    <div id="stepContainer">
        <!-- Wird von JavaScript befüllt -->
    </div>

    <!-- ===== NAVIGATION ===== -->
    <div class="nav-links" id="navLinks">
        <a href="#" id="prevBtn" class="disabled">← Zurück</a>
        <span id="stepIndicator" style="font-size:0.85rem; color:#8b8b8b;">0 / 17</span>
        <a href="#" id="nextBtn">Weiter →</a>
    </div>

    <!-- ===== FOOTER ===== -->
    <div style="margin-top: 2.5rem; padding-top: 1rem; border-top: 1px solid #e0d6c8; font-size: 0.75rem; color: #8b8b8b; text-align: center;">
        <p>© Paul Koop – <a href="index.html" style="color: #6b4f8a;">the-last-freedom.org/Projekt_Pompeji</a></p>
        <p style="margin-top:0.2rem;">Dieses Tutorial führt Sie Schritt für Schritt durch die modallogische Abhandlung.</p>
    </div>

</div>

<script>
    // ================================================================
    //  DATEN: Alle 17 Schritte
    //  Jeder Schritt: { id, title, explanation_html, question_html, answer }
    //  answer: Zahl (0–5) der korrekten Antwort
    // ================================================================

    const steps = [
        // ---- Schritt 0 ----
        {
            id: 0,
            title: "Was ist das Ziel der Abhandlung?",
            explanation: `
                <p>Die Abhandlung will <strong>keinen Gott beweisen</strong>. Sie will zeigen, dass <strong>jede konsistente monistische Modalontologie</strong> notwendigerweise eine <strong>dreifache Struktur</strong> enthalten muss:</p>
                <ol>
                    <li><strong>Ursprung (U)</strong> – der notwendige Grund aller Möglichkeiten.</li>
                    <li><strong>Totalität (T)</strong> – die Gesamtheit aller realisierten Möglichkeiten.</li>
                    <li><strong>Selbsterkenntnis (S)</strong> – die reflexive Vollendung dieser Struktur.</li>
                </ol>
                <p>Die Abhandlung sagt also nicht: „Gott existiert.“ Sie sagt: <strong>Wenn Sie die folgenden sechs Axiome akzeptieren, dann folgt notwendig U ∧ T ∧ S.</strong></p>
                <div class="formula-box">Tr := U ∧ T ∧ S</div>
            `,
            question_html: `
                <p><strong>Was ist das Ziel der Abhandlung?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q0" value="0"> Sie will beweisen, dass Gott existiert.</label>
                    <label><input type="radio" name="q0" value="1"> Sie will zeigen, dass eine monistische Modalontologie ohne U, T und S widersprüchlich ist.</label>
                    <label><input type="radio" name="q0" value="2"> Sie will beweisen, dass die Welt aus drei Substanzen besteht.</label>
                    <label><input type="radio" name="q0" value="3"> Sie will zeigen, dass die Trinität eine religiöse Lehre ist.</label>
                    <label><input type="radio" name="q0" value="4"> Sie will beweisen, dass der Mensch unsterblich ist.</label>
                    <label><input type="radio" name="q0" value="5"> Sie will zeigen, dass die Welt aus Nichts entstanden ist.</label>
                </div>
            `,
            answer: 1
        },
        // ---- Schritt 1 ----
        {
            id: 1,
            title: "Die formale Sprache – Was bedeuten □ und ◇?",
            explanation: `
                <p>Die Abhandlung verwendet die <strong>Modallogik</strong>. Es gibt zwei zentrale Zeichen:</p>
                <ul>
                    <li><span class="symbol">□p</span> – „Es ist <strong>notwendig</strong>, dass p“ (p gilt in allen möglichen Welten).</li>
                    <li><span class="symbol">◇p</span> – „Es ist <strong>möglich</strong>, dass p“ (p gilt in mindestens einer möglichen Welt).</li>
                </ul>
                <p>Es gilt: <span class="symbol">◇p := ¬□¬p</span> – „Möglichkeit ist die Negation der Unmöglichkeit.“</p>
                <p>In S5 gilt zusätzlich: <span class="symbol">◇p → □◇p</span> – „Wenn etwas möglich ist, dann ist es notwendigerweise möglich.“</p>
                <div class="formula-box">◇p := ¬□¬p</div>
            `,
            question_html: `
                <p><strong>Was bedeutet der Ausdruck □p?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q1" value="0"> p ist möglich.</label>
                    <label><input type="radio" name="q1" value="1"> p ist notwendig.</label>
                    <label><input type="radio" name="q1" value="2"> p ist unmöglich.</label>
                    <label><input type="radio" name="q1" value="3"> p ist wahr, aber nicht notwendig.</label>
                    <label><input type="radio" name="q1" value="4"> p ist falsch.</label>
                    <label><input type="radio" name="q1" value="5"> p ist wahrscheinlich.</label>
                </div>
            `,
            answer: 1
        },
        // ---- Schritt 2 ----
        {
            id: 2,
            title: "Die Definition von T – Was ist die Totalität?",
            explanation: `
                <p>Die Abhandlung definiert die <strong>Totalität (T)</strong> als die <strong>Gesamtheit aller realisierten Möglichkeiten</strong>.</p>
                <div class="formula-box">T := ∀p(◇p → ∃w Realisiert(w,p))</div>
                <p>Das bedeutet: Für jede Aussage p gilt: <strong>Wenn p möglich ist, dann gibt es eine Welt w, in der p realisiert ist.</strong></p>
                <p>T ist nicht die Menge aller denkbaren Dinge, sondern die Menge aller <strong>tatsächlich realisierten</strong> Möglichkeiten.</p>
            `,
            question_html: `
                <p><strong>Was bedeutet die Definition T := ∀p(◇p → ∃w Realisiert(w,p))?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q2" value="0"> T ist die Menge aller unmöglichen Dinge.</label>
                    <label><input type="radio" name="q2" value="1"> T ist die Menge aller Dinge, die in unserer Welt existieren.</label>
                    <label><input type="radio" name="q2" value="2"> T ist die Menge aller Aussagen p, für die gilt: Wenn p möglich ist, dann gibt es eine Welt, in der p realisiert ist.</label>
                    <label><input type="radio" name="q2" value="3"> T ist die Menge aller Gedanken, die Menschen haben.</label>
                    <label><input type="radio" name="q2" value="4"> T ist die Menge aller Dinge, die notwendig existieren.</label>
                    <label><input type="radio" name="q2" value="5"> T ist die Menge aller Dinge, die Gott geschaffen hat.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 3 ----
        {
            id: 3,
            title: "Die Definition von U – Was ist der Ursprung?",
            explanation: `
                <p>Die Abhandlung definiert den <strong>Ursprung (U)</strong> als den <strong>notwendigen Grund der Totalität</strong>.</p>
                <div class="formula-box">U(x) := Grund(x, T) ∧ □∃x</div>
                <p>Das bedeutet: U ist dasjenige x, das <strong>der Grund von T ist</strong> und <strong>notwendig existiert</strong>.</p>
                <p><strong>Wichtig:</strong> Diese Definition setzt nicht voraus, dass U existiert. Sie definiert, <em>was es bedeuten würde</em>, wenn U existiert. Die Existenz muss aus den Axiomen <strong>abgeleitet</strong> werden.</p>
            `,
            question_html: `
                <p><strong>Was bedeutet die Definition U(x) := Grund(x, T) ∧ □∃x?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q3" value="0"> U ist dasjenige x, das von T abhängig ist und zufällig existiert.</label>
                    <label><input type="radio" name="q3" value="1"> U ist dasjenige x, das der Grund von T ist und notwendig existiert.</label>
                    <label><input type="radio" name="q3" value="2"> U ist dasjenige x, das T erschafft, aber nicht notwendig existiert.</label>
                    <label><input type="radio" name="q3" value="3"> U ist dasjenige x, das in keiner Beziehung zu T steht.</label>
                    <label><input type="radio" name="q3" value="4"> U ist dasjenige x, das T zerstört.</label>
                    <label><input type="radio" name="q3" value="5"> U ist dasjenige x, das nur in Gedanken existiert.</label>
                </div>
            `,
            answer: 1
        },
        // ---- Schritt 4 ----
        {
            id: 4,
            title: "Die Definition von S – Was ist Selbsterkenntnis?",
            explanation: `
                <p>Die Abhandlung definiert die <strong>Selbsterkenntnis (S)</strong> als die <strong>reflexive Vollständigkeit des Wissens über die Totalität T</strong>.</p>
                <div class="formula-box">S := ∀p(K_T(p) → K_T(K_T(p)))</div>
                <p>Das bedeutet: Für jede Aussage p gilt: <strong>Wenn p in einem Zustand vollständigen Wissens über T erkannt wird, dann wird auch erkannt, dass p erkannt wird.</strong></p>
                <p>Ein vollständiges Wissen, das sich selbst nicht kennt, wäre unvollständig. S macht das Wissen <strong>transparent</strong> und <strong>vollendet</strong>.</p>
            `,
            question_html: `
                <p><strong>Was bedeutet die Definition S := ∀p(K_T(p) → K_T(K_T(p)))?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q4" value="0"> S bedeutet, dass niemand etwas weiß.</label>
                    <label><input type="radio" name="q4" value="1"> S bedeutet, dass Wissen immer falsch ist.</label>
                    <label><input type="radio" name="q4" value="2"> S bedeutet, dass für jede Aussage p gilt: Wenn p gewusst wird, dann wird auch gewusst, dass p gewusst wird.</label>
                    <label><input type="radio" name="q4" value="3"> S bedeutet, dass es kein Wissen über T gibt.</label>
                    <label><input type="radio" name="q4" value="4"> S bedeutet, dass Wissen nur dann gültig ist, wenn es von Gott kommt.</label>
                    <label><input type="radio" name="q4" value="5"> S bedeutet, dass Wissen immer subjektiv ist.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 5 ----
        {
            id: 5,
            title: "Die Trinität – Was ist Tr?",
            explanation: `
                <p>Die Abhandlung definiert die <strong>Trinität</strong> als die <strong>Konjunktion</strong> (das logische "und") aller drei:</p>
                <div class="formula-box">Tr := U ∧ T ∧ S</div>
                <p>Das bedeutet: <strong>Tr ist genau dann wahr, wenn alle drei – U, T und S – gleichzeitig wahr sind.</strong></p>
                <p><strong>Wichtig:</strong> Die Abhandlung verwendet den Begriff "Trinität" <strong>nicht</strong> im religiösen Sinne (Vater, Sohn, Heiliger Geist), sondern als <strong>formalen Begriff</strong> für die Einheit der drei notwendigen Strukturmomente.</p>
            `,
            question_html: `
                <p><strong>Was bedeutet die Definition Tr := U ∧ T ∧ S?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q5" value="0"> Tr ist wahr, wenn mindestens einer der drei Begriffe (U, T oder S) wahr ist.</label>
                    <label><input type="radio" name="q5" value="1"> Tr ist wahr, wenn keiner der drei Begriffe wahr ist.</label>
                    <label><input type="radio" name="q5" value="2"> Tr ist wahr, wenn genau einer der drei Begriffe wahr ist.</label>
                    <label><input type="radio" name="q5" value="3"> Tr ist wahr, wenn alle drei Begriffe (U, T und S) gleichzeitig wahr sind.</label>
                    <label><input type="radio" name="q5" value="4"> Tr ist wahr, wenn U und T wahr sind, aber S nicht.</label>
                    <label><input type="radio" name="q5" value="5"> Tr ist wahr, wenn U wahr ist, aber T und S nicht.</label>
                </div>
            `,
            answer: 3
        },
        // ---- Schritt 6 ----
        {
            id: 6,
            title: "Axiom 1 – Monismus",
            explanation: `
                <p><strong>A1 – Monismus</strong> lautet:</p>
                <div class="formula-box">□¬∃x∃y FundamentalGetrennt(x,y)</div>
                <p>Das bedeutet: <strong>Es ist notwendig, dass es keine zwei fundamental getrennten Wirklichkeitsbereiche gibt.</strong></p>
                <p>In einfachen Worten: <strong>Die Wirklichkeit ist eine Einheit.</strong> Es gibt keine absolute Trennung zwischen Geist und Materie, Diesseits und Jenseits, Gut und Böse.</p>
                <p>Warum ist das wichtig? Wenn es zwei fundamental getrennte Bereiche gäbe, könnten sie nicht aufeinander wirken – dann gäbe es keine einheitliche Wirklichkeit.</p>
            `,
            question_html: `
                <p><strong>Was besagt Axiom 1 (Monismus)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q6" value="0"> Es gibt viele fundamental getrennte Wirklichkeitsbereiche.</label>
                    <label><input type="radio" name="q6" value="1"> Es gibt notwendigerweise keine fundamental getrennten Wirklichkeitsbereiche.</label>
                    <label><input type="radio" name="q6" value="2"> Es gibt mindestens zwei fundamental getrennte Wirklichkeitsbereiche.</label>
                    <label><input type="radio" name="q6" value="3"> Die Wirklichkeit besteht aus drei Substanzen.</label>
                    <label><input type="radio" name="q6" value="4"> Es gibt eine Trennung zwischen Geist und Materie.</label>
                    <label><input type="radio" name="q6" value="5"> Die Wirklichkeit ist willkürlich und zusammenhangslos.</label>
                </div>
            `,
            answer: 1
        },
        // ---- Schritt 7 ----
        {
            id: 7,
            title: "Axiom 2 – Kein absolutes Nichts",
            explanation: `
                <p><strong>A2 – Kein absolutes Nichts</strong> lautet:</p>
                <div class="formula-box">□(N → ¬◇Welt)</div>
                <p>Das bedeutet: <strong>Es ist notwendig, dass aus einem absoluten Nicht-Zustand keine Welt möglich ist.</strong></p>
                <p>In einfachen Worten: <strong>Aus dem Nichts kann nichts entstehen.</strong></p>
                <p>Die kontrapositive Formulierung lautet:</p>
                <div class="formula-box">◇Welt → ¬N</div>
                <p>Das bedeutet: <strong>Wenn eine Welt möglich ist, dann ist der Zustand nicht das absolute Nichts.</strong></p>
            `,
            question_html: `
                <p><strong>Was besagt Axiom 2 (Kein absolutes Nichts)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q7" value="0"> Aus dem Nichts kann alles entstehen.</label>
                    <label><input type="radio" name="q7" value="1"> Das Nichts hat viele Eigenschaften.</label>
                    <label><input type="radio" name="q7" value="2"> Ein absoluter Nicht-Zustand kann keine Welt hervorbringen.</label>
                    <label><input type="radio" name="q7" value="3"> Das Nichts ist der Ursprung aller Dinge.</label>
                    <label><input type="radio" name="q7" value="4"> Es ist möglich, dass aus dem Nichts eine Welt entsteht.</label>
                    <label><input type="radio" name="q7" value="5"> Das Nichts ist dasselbe wie die Totalität.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 8 ----
        {
            id: 8,
            title: "Axiom 3 – Realismus der Möglichkeiten",
            explanation: `
                <p><strong>A3 – Realismus der Möglichkeiten</strong> lautet:</p>
                <div class="formula-box">∀p(Cons(p) → ◇p)</div>
                <p>Das bedeutet: <strong>Für jede Aussage p gilt: Wenn p konsistent (logisch widerspruchsfrei) ist, dann ist p möglich.</strong></p>
                <p>Und ein zweiter Teil:</p>
                <div class="formula-box">∀p(◇p → ∃w Realisiert(w,p))</div>
                <p>Das bedeutet: <strong>Für jede Aussage p gilt: Wenn p möglich ist, dann gibt es eine Welt, in der p realisiert ist.</strong></p>
                <p>In einfachen Worten: <strong>Jede Möglichkeit wird auch irgendwo realisiert.</strong></p>
            `,
            question_html: `
                <p><strong>Was besagt Axiom 3 (Realismus der Möglichkeiten)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q8" value="0"> Nur das, was tatsächlich existiert, ist möglich.</label>
                    <label><input type="radio" name="q8" value="1"> Konsistente Möglichkeiten müssen nicht realisiert werden.</label>
                    <label><input type="radio" name="q8" value="2"> Jede konsistente Aussage ist möglich, und jede Möglichkeit wird in irgendeiner Welt realisiert.</label>
                    <label><input type="radio" name="q8" value="3"> Möglichkeiten sind nur Gedanken, keine Realitäten.</label>
                    <label><input type="radio" name="q8" value="4"> Es gibt keine konsistenten Aussagen.</label>
                    <label><input type="radio" name="q8" value="5"> Nur Gott kennt alle Möglichkeiten.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 9 ----
        {
            id: 9,
            title: "Axiom 4 – S5-Modalität",
            explanation: `
                <p><strong>A4 – S5-Modalität</strong> ist nicht ein einzelnes Axiom, sondern ein <strong>ganzes System von Regeln</strong>.</p>
                <p>Die wichtigste Regel in S5 lautet:</p>
                <div class="formula-box">◇p → □◇p</div>
                <p>Das bedeutet: <strong>Wenn p möglich ist, dann ist es notwendigerweise möglich.</strong></p>
                <p>Eine Möglichkeit ist also kein Zufall – sie ist eine stabile Eigenschaft der Wirklichkeit.</p>
                <p>Weitere Regeln:</p>
                <ul>
                    <li><span class="symbol">□p → p</span> – Wenn p notwendig ist, dann ist p wahr.</li>
                    <li><span class="symbol">□p → □□p</span> – Wenn p notwendig ist, dann ist es notwendigerweise notwendig.</li>
                </ul>
            `,
            question_html: `
                <p><strong>Was besagt die S5-Regel ◇p → □◇p?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q9" value="0"> Wenn p möglich ist, dann ist p auch wahr.</label>
                    <label><input type="radio" name="q9" value="1"> Wenn p möglich ist, dann ist es notwendigerweise möglich.</label>
                    <label><input type="radio" name="q9" value="2"> Wenn p notwendig ist, dann ist p möglich.</label>
                    <label><input type="radio" name="q9" value="3"> Wenn p möglich ist, dann ist p unmöglich.</label>
                    <label><input type="radio" name="q9" value="4"> Wenn p möglich ist, dann ist es nicht notwendig, dass p möglich ist.</label>
                    <label><input type="radio" name="q9" value="5"> Wenn p möglich ist, dann ist p in keiner Welt wahr.</label>
                </div>
            `,
            answer: 1
        },
        // ---- Schritt 10 ----
        {
            id: 10,
            title: "Axiom 5 – Bewusstsein als reale Möglichkeit",
            explanation: `
                <p><strong>A5 – Bewusstsein als reale Möglichkeit</strong> lautet:</p>
                <div class="formula-box">◇C</div>
                <p>Das bedeutet: <strong>Es ist möglich, dass Bewusstsein existiert.</strong></p>
                <p>Warum ist dieses Axiom wichtig? Die Abhandlung will zeigen, dass Selbsterkenntnis (S) notwendig ist. Aber S setzt voraus, dass es <strong>überhaupt</strong> Bewusstsein geben kann. Wenn Bewusstsein unmöglich wäre, wäre auch S unmöglich.</p>
            `,
            question_html: `
                <p><strong>Was besagt Axiom 5 (Bewusstsein als reale Möglichkeit)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q10" value="0"> Bewusstsein existiert notwendigerweise.</label>
                    <label><input type="radio" name="q10" value="1"> Bewusstsein ist unmöglich.</label>
                    <label><input type="radio" name="q10" value="2"> Es ist möglich, dass Bewusstsein existiert.</label>
                    <label><input type="radio" name="q10" value="3"> Bewusstsein ist eine Illusion.</label>
                    <label><input type="radio" name="q10" value="4"> Bewusstsein ist dasselbe wie die Totalität.</label>
                    <label><input type="radio" name="q10" value="5"> Bewusstsein existiert nur in der Fantasie.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 11 ----
        {
            id: 11,
            title: "Axiom 6 – Reflexivität vollständigen Wissens",
            explanation: `
                <p><strong>A6 – Reflexivität vollständigen Wissens</strong> lautet:</p>
                <div class="formula-box">□(V_T(x) → V_T(V_T(x)))</div>
                <p>Das bedeutet: <strong>Es ist notwendig, dass für jedes x gilt: Wenn x vollständiges Wissen über T hat, dann hat x auch Wissen über dieses Wissen.</strong></p>
                <p>In einfachen Worten: <strong>Vollständiges Wissen ist immer auch Wissen über sich selbst.</strong></p>
                <p>Ein vollständiges Wissen, das sich selbst nicht kennt, wäre wie ein Buch, das alle Wahrheiten enthält, aber nicht weiß, dass es sie enthält – es wäre "blind".</p>
            `,
            question_html: `
                <p><strong>Was besagt Axiom 6 (Reflexivität vollständigen Wissens)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q11" value="0"> Vollständiges Wissen ist unmöglich.</label>
                    <label><input type="radio" name="q11" value="1"> Vollständiges Wissen muss nicht wissen, dass es vollständig ist.</label>
                    <label><input type="radio" name="q11" value="2"> Wenn jemand vollständiges Wissen über T hat, dann weiß er auch, dass er dieses Wissen hat.</label>
                    <label><input type="radio" name="q11" value="3"> Wissen ist immer falsch.</label>
                    <label><input type="radio" name="q11" value="4"> Nur Gott kann vollständiges Wissen haben.</label>
                    <label><input type="radio" name="q11" value="5"> Vollständiges Wissen ist dasselbe wie die Totalität.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 12 ----
        {
            id: 12,
            title: "Die Annahme für die Reductio ad absurdum",
            explanation: `
                <p>Die Abhandlung verwendet eine <strong>Reductio ad absurdum</strong> – eine Beweistechnik, bei der man das Gegenteil annimmt und zeigt, dass es zu einem Widerspruch führt.</p>
                <p><strong>Die Annahme lautet:</strong></p>
                <div class="formula-box">¬Tr</div>
                <p>Das bedeutet: <strong>Die Trinität existiert nicht.</strong></p>
                <p>Da <span class="symbol">Tr := U ∧ T ∧ S</span> ist, bedeutet <span class="symbol">¬Tr</span>:</p>
                <div class="formula-box">¬U ∨ ¬T ∨ ¬S</div>
                <p>Es gibt also <strong>drei Fälle</strong>:</p>
                <ol>
                    <li><strong>Fall 1:</strong> T existiert, aber U nicht (<span class="symbol">T ∧ ¬U</span>)</li>
                    <li><strong>Fall 2:</strong> U existiert, aber S nicht (<span class="symbol">U ∧ ¬S</span>)</li>
                    <li><strong>Fall 3:</strong> S existiert, aber T nicht (<span class="symbol">S ∧ ¬T</span>)</li>
                </ol>
                <p>Die Abhandlung wird nun <strong>jeden dieser drei Fälle einzeln widerlegen</strong>.</p>
            `,
            question_html: `
                <p><strong>Was ist die Annahme für die Reductio ad absurdum?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q12" value="0"> Die Trinität existiert notwendigerweise.</label>
                    <label><input type="radio" name="q12" value="1"> Die Trinität existiert nicht.</label>
                    <label><input type="radio" name="q12" value="2"> Die Trinität existiert teilweise.</label>
                    <label><input type="radio" name="q12" value="3"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q12" value="4"> Die Trinität ist dasselbe wie die Totalität.</label>
                    <label><input type="radio" name="q12" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        },
        // ---- Schritt 13 ----
        {
            id: 13,
            title: "Fall 1 – Totalität ohne Ursprung (T ∧ ¬U)",
            explanation: `
                <p><strong>Fall 1:</strong> <span class="symbol">T ∧ ¬U</span> – Totalität ohne Ursprung.</p>
                <p><strong>Die Argumentation:</strong></p>
                <ol>
                    <li><strong>T existiert.</strong> Also gibt es mindestens eine realisierte Möglichkeit – mindestens eine Welt.</li>
                    <li><strong>Aus Axiom 2</strong> (Kein absolutes Nichts) folgt: Eine Welt kann nicht aus dem Nichts entstehen. Sie muss einen Grund haben.</li>
                    <li><strong>Also muss es einen Grund für T geben.</strong></li>
                    <li>Dieser Grund kann <strong>nicht außerhalb von T liegen</strong>, weil T die Totalität aller realisierten Möglichkeiten ist.</li>
                    <li><strong>Also muss der Grund innerhalb von T liegen.</strong> Aber dann wäre T sein eigener Grund – ein <strong>Widerspruch</strong> (Zirkel).</li>
                </ol>
                <div class="formula-box">T ∧ ¬U → ⊥</div>
                <p>Das bedeutet: <strong>T ∧ ¬U führt zu einem Widerspruch.</strong></p>
                <p>Also: <span class="boxed">□(T → U)</span></p>
            `,
            question_html: `
                <p><strong>Was zeigt Fall 1 (Totalität ohne Ursprung)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q13" value="0"> T kann ohne U existieren.</label>
                    <label><input type="radio" name="q13" value="1"> T ist sein eigener Grund.</label>
                    <label><input type="radio" name="q13" value="2"> T ∧ ¬U führt zu einem Widerspruch.</label>
                    <label><input type="radio" name="q13" value="3"> U ist nicht notwendig für T.</label>
                    <label><input type="radio" name="q13" value="4"> Die Totalität kann aus dem Nichts entstehen.</label>
                    <label><input type="radio" name="q13" value="5"> T und U sind dasselbe.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 14 ----
        {
            id: 14,
            title: "Fall 2 – Ursprung ohne Selbsterkenntnis (U ∧ ¬S)",
            explanation: `
                <p><strong>Fall 2:</strong> <span class="symbol">U ∧ ¬S</span> – Ursprung ohne Selbsterkenntnis.</p>
                <p><strong>Die Argumentation:</strong></p>
                <ol>
                    <li><strong>U existiert.</strong> U ist der Grund aller Möglichkeiten.</li>
                    <li><strong>Aus Axiom 5</strong> (Bewusstsein ist möglich) folgt: <span class="symbol">◇C</span>.</li>
                    <li><strong>Aus Axiom 3</strong> (Realismus) folgt: Es gibt eine Welt mit Bewusstsein.</li>
                    <li><strong>In dieser Welt</strong> ist nach Axiom 6 vollständiges Wissen über T möglich.</li>
                    <li><strong>Da U der Grund aller Möglichkeiten ist</strong>, bringt U auch diese Möglichkeit hervor.</li>
                    <li><strong>Nach Axiom 3</strong> ist diese Möglichkeit realisiert.</li>
                    <li><strong>Nach Axiom 6</strong> muss dieses Wissen auch das Wissen über sich selbst enthalten – das ist genau S.</li>
                    <li><strong>Also: U führt notwendig zu S.</strong> Widerspruch zu <span class="symbol">¬S</span>.</li>
                </ol>
                <div class="formula-box">U ∧ ¬S → ⊥</div>
                <p>Also: <span class="boxed">□(U → S)</span></p>
            `,
            question_html: `
                <p><strong>Was zeigt Fall 2 (Ursprung ohne Selbsterkenntnis)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q14" value="0"> U kann ohne S existieren.</label>
                    <label><input type="radio" name="q14" value="1"> Bewusstsein ist unmöglich.</label>
                    <label><input type="radio" name="q14" value="2"> U führt notwendig zu S.</label>
                    <label><input type="radio" name="q14" value="3"> S ist nicht notwendig für U.</label>
                    <label><input type="radio" name="q14" value="4"> Vollständiges Wissen ist unmöglich.</label>
                    <label><input type="radio" name="q14" value="5"> Axiom 6 ist falsch.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 15 ----
        {
            id: 15,
            title: "Fall 3 – Selbsterkenntnis ohne Totalität (S ∧ ¬T)",
            explanation: `
                <p><strong>Fall 3:</strong> <span class="symbol">S ∧ ¬T</span> – Selbsterkenntnis ohne Totalität.</p>
                <p><strong>Die Argumentation:</strong></p>
                <ol>
                    <li><strong>S existiert.</strong> S ist definiert als "Erkenntnis der Totalität T".</li>
                    <li>Wenn es S gibt, dann gibt es einen <strong>Erkenntnisakt, der auf T gerichtet ist</strong>.</li>
                    <li><strong>Wenn T nicht existiert</strong> (wie angenommen), dann ist S eine <strong>Erkenntnis ohne Objekt</strong>.</li>
                    <li><strong>Nach Axiom 1 (Monismus)</strong> gibt es keine fundamentale Trennung zwischen Erkennendem und Erkanntem.</li>
                    <li><strong>Also muss T existieren.</strong> Widerspruch zu <span class="symbol">¬T</span>.</li>
                </ol>
                <div class="formula-box">S ∧ ¬T → ⊥</div>
                <p>Also: <span class="boxed">□(S → T)</span></p>
            `,
            question_html: `
                <p><strong>Was zeigt Fall 3 (Selbsterkenntnis ohne Totalität)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q15" value="0"> S kann ohne T existieren.</label>
                    <label><input type="radio" name="q15" value="1"> S und T sind dasselbe.</label>
                    <label><input type="radio" name="q15" value="2"> S führt notwendig zu T.</label>
                    <label><input type="radio" name="q15" value="3"> T ist nicht notwendig für S.</label>
                    <label><input type="radio" name="q15" value="4"> S ist eine leere Erkenntnis.</label>
                    <label><input type="radio" name="q15" value="5"> Axiom 1 ist falsch.</label>
                </div>
            `,
            answer: 2
        },
        // ---- Schritt 16 ----
        {
            id: 16,
            title: "Der synthetische Schluss – Was folgt aus den drei Fällen?",
            explanation: `
                <p>Die Abhandlung hat <strong>alle drei Fälle</strong> widerlegt:</p>
                <ul>
                    <li><strong>Fall 1:</strong> <span class="symbol">T ∧ ¬U → ⊥</span> → <span class="boxed">□(T → U)</span></li>
                    <li><strong>Fall 2:</strong> <span class="symbol">U ∧ ¬S → ⊥</span> → <span class="boxed">□(U → S)</span></li>
                    <li><strong>Fall 3:</strong> <span class="symbol">S ∧ ¬T → ⊥</span> → <span class="boxed">□(S → T)</span></li>
                </ul>
                <p>Das ergibt einen Kreis:</p>
                <div class="formula-box">T → U → S → T</div>
                <p>In S5 folgt daraus:</p>
                <div class="formula-box">□(U ↔ T) ∧ □(T ↔ S) ∧ □(S ↔ U)</div>
                <p>Mit Axiom 4 (Existenz einer Welt) und der Definition von T folgt:</p>
                <div class="formula-box">∃T → ∃U ∧ ∃S</div>
                <p>Also:</p>
                <div class="formula-box" style="font-size:1.2rem; background-color:#d4edda; border-color:#6b4f8a;">□(U ∧ T ∧ S)</div>
                <p style="font-weight:bold; color:#6b4f8a;">Die Trinität existiert notwendigerweise.</p>
            `,
            question_html: `
                <p><strong>Was folgt aus den drei Fällen zusammen mit Axiom 4 (Existenz einer Welt)?</strong></p>
                <div class="qoptions">
                    <label><input type="radio" name="q16" value="0"> Die Trinität ist unmöglich.</label>
                    <label><input type="radio" name="q16" value="1"> Die Trinität existiert notwendigerweise.</label>
                    <label><input type="radio" name="q16" value="2"> Die Trinität existiert nur in Gedanken.</label>
                    <label><input type="radio" name="q16" value="3"> Die Trinität existiert teilweise.</label>
                    <label><input type="radio" name="q16" value="4"> Die Trinität ist dasselbe wie die Totalität.</label>
                    <label><input type="radio" name="q16" value="5"> Die Trinität ist eine Illusion.</label>
                </div>
            `,
            answer: 1
        }
    ];

    // ================================================================
    //  LOGIK
    // ================================================================

    let currentStep = 0;
    const totalSteps = steps.length;
    const stepContainer = document.getElementById('stepContainer');
    const prevBtn = document.getElementById('prevBtn');
    const nextBtn = document.getElementById('nextBtn');
    const stepIndicator = document.getElementById('stepIndicator');
    const progressFill = document.getElementById('progressFill');
    const progressText = document.getElementById('progressText');

    // Zustand: welche Schritte wurden korrekt beantwortet?
    let stepCompleted = new Array(totalSteps).fill(false);

    // --------------------------------------------------------------
    //  Schritt rendern
    // --------------------------------------------------------------
    function renderStep(index) {
        const step = steps[index];
        if (!step) return;

        // HTML für den Schritt
        let html = `
            <div class="step-block">
                <div class="step-number">Schritt ${index} von ${totalSteps-1}</div>
                <div class="step-title">${step.title}</div>
                <div class="step-explanation">${step.explanation}</div>
                <div class="question-box" id="questionBox${index}">
                    ${step.question_html}
                    <button class="qsubmit" data-step="${index}">Antwort prüfen</button>
                    <div class="qfeedback" id="feedback${index}"></div>
                </div>
            </div>
        `;

        stepContainer.innerHTML = html;

        // Event-Listener für den Submit-Button
        const submitBtn = document.querySelector(`.qsubmit[data-step="${index}"]`);
        if (submitBtn) {
            submitBtn.addEventListener('click', function(e) {
                checkAnswer(index);
            });
        }

        // Enter-Taste im aktuellen Frageblock abfangen
        const questionBox = document.getElementById(`questionBox${index}`);
        if (questionBox) {
            const radioInputs = questionBox.querySelectorAll('input[type="radio"]');
            radioInputs.forEach(input => {
                input.addEventListener('keydown', function(e) {
                    if (e.key === 'Enter') {
                        e.preventDefault();
                        checkAnswer(index);
                    }
                });
            });
        }

        // Navigation aktualisieren
        updateNav(index);
        updateProgress(index);

        // Wenn Schritt bereits abgeschlossen, Buttons deaktivieren / Feedback zeigen
        if (stepCompleted[index]) {
            const feedback = document.getElementById(`feedback${index}`);
            if (feedback) {
                feedback.className = 'qfeedback correct';
                feedback.textContent = '✅ Richtig! Sie haben diesen Schritt bereits abgeschlossen.';
                feedback.style.display = 'block';
            }
            const submitBtn2 = document.querySelector(`.qsubmit[data-step="${index}"]`);
            if (submitBtn2) submitBtn2.disabled = true;
        }

        // Scroll zum Schritt
        document.querySelector('.step-block').scrollIntoView({ behavior: 'smooth', block: 'start' });
    }

    // --------------------------------------------------------------
    //  Antwort prüfen
    // --------------------------------------------------------------
    function checkAnswer(index) {
        if (stepCompleted[index]) return;

        const step = steps[index];
        const questionBox = document.getElementById(`questionBox${index}`);
        const feedback = document.getElementById(`feedback${index}`);

        // Ausgewählte Radio-Buttons finden
        const selected = questionBox.querySelector('input[type="radio"]:checked');
        if (!selected) {
            feedback.className = 'qfeedback wrong';
            feedback.textContent = '❌ Bitte wählen Sie eine Antwort aus.';
            feedback.style.display = 'block';
            return;
        }

        const userAnswer = parseInt(selected.value);
        const isCorrect = (userAnswer === step.answer);

        if (isCorrect) {
            feedback.className = 'qfeedback correct';
            feedback.textContent = '✅ Richtig! Sie können zum nächsten Schritt gehen.';
            feedback.style.display = 'block';
            stepCompleted[index] = true;

            // Submit-Button deaktivieren
            const submitBtn = questionBox.querySelector('.qsubmit');
            if (submitBtn) submitBtn.disabled = true;

            // Alle Radio-Buttons deaktivieren (damit keine Änderung mehr möglich)
            const radios = questionBox.querySelectorAll('input[type="radio"]');
            radios.forEach(r => r.disabled = true);

            // Navigation aktualisieren
            updateNav(index);
            updateProgress(index);

            // Prüfen, ob alle Schritte abgeschlossen sind
            if (stepCompleted.every(v => v === true)) {
                setTimeout(() => {
                    alert('🎉 Herzlichen Glückwunsch! Sie haben das gesamte Tutorial erfolgreich abgeschlossen!');
                }, 400);
            }

        } else {
            feedback.className = 'qfeedback wrong';
            feedback.textContent = '❌ Falsch. Bitte lesen Sie den Schritt noch einmal und versuchen Sie es erneut.';
            feedback.style.display = 'block';
        }
    }

    // --------------------------------------------------------------
    //  Navigation
    // --------------------------------------------------------------
    function updateNav(index) {
        // Vorheriger Schritt
        if (index > 0) {
            prevBtn.className = '';
            prevBtn.style.pointerEvents = 'auto';
            prevBtn.style.opacity = '1';
        } else {
            prevBtn.className = 'disabled';
            prevBtn.style.pointerEvents = 'none';
            prevBtn.style.opacity = '0.5';
        }

        // Nächster Schritt – nur wenn aktueller Schritt abgeschlossen
        if (index < totalSteps - 1 && stepCompleted[index]) {
            nextBtn.className = '';
            nextBtn.style.pointerEvents = 'auto';
            nextBtn.style.opacity = '1';
            nextBtn.textContent = 'Weiter →';
        } else if (index === totalSteps - 1 && stepCompleted[index]) {
            nextBtn.className = '';
            nextBtn.style.pointerEvents = 'auto';
            nextBtn.style.opacity = '1';
            nextBtn.textContent = '🎉 Fertig – zurück zur Einstiegsseite';
            nextBtn.href = 'index.html';
        } else {
            nextBtn.className = 'disabled';
            nextBtn.style.pointerEvents = 'none';
            nextBtn.style.opacity = '0.5';
            if (index === totalSteps - 1) {
                nextBtn.textContent = '🎉 Abschluss – alle Schritte abschließen';
            } else {
                nextBtn.textContent = 'Weiter → (bitte zuerst die Frage beantworten)';
            }
        }

        stepIndicator.textContent = `${index} / ${totalSteps-1}`;
    }

    // --------------------------------------------------------------
    //  Progress
    // --------------------------------------------------------------
    function updateProgress(index) {
        const completedCount = stepCompleted.filter(v => v === true).length;
        const percent = (completedCount / totalSteps) * 100;
        progressFill.style.width = `${percent}%`;
        progressText.textContent = `Schritt ${index} von ${totalSteps-1} – ${completedCount}/${totalSteps} abgeschlossen`;
    }

    // --------------------------------------------------------------
    //  Event-Listener für Navigation
    // --------------------------------------------------------------
    prevBtn.addEventListener('click', function(e) {
        e.preventDefault();
        if (currentStep > 0) {
            currentStep--;
            renderStep(currentStep);
        }
    });

    nextBtn.addEventListener('click', function(e) {
        e.preventDefault();
        if (currentStep < totalSteps - 1 && stepCompleted[currentStep]) {
            currentStep++;
            renderStep(currentStep);
        } else if (currentStep === totalSteps - 1 && stepCompleted[currentStep]) {
            // Zur Einstiegsseite
            window.location.href = 'index.html';
        }
    });

    // --------------------------------------------------------------
    //  Initialisierung
    // --------------------------------------------------------------
    renderStep(0);
</script>

</body>
</html>