Inhalt
Aktueller Ordner:
/modal3tutorialeng.html
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Modal Tutorial (Version 3) – The Trinity as a Necessary Structure of a Monistic Modal Ontology</title>
<base href="https://the-last-freedom.org/Projekt_Pompeji/">
<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 #2a6b4f;
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: #2a6b4f;
text-decoration: none;
}
.subhead a:hover {
text-decoration: underline;
}
.version-badge {
display: inline-block;
background-color: #2a6b4f;
color: #fffef7;
font-size: 0.65rem;
padding: 0.15rem 0.6rem;
border-radius: 20px;
vertical-align: middle;
margin-left: 0.5rem;
}
/* ========== STEP BLOCK ========== */
.step-block {
background-color: #faf8f3;
border-left: 4px solid #2a6b4f;
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: #2a6b4f;
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;
}
/* Formula 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;
}
.formula-box.important {
background-color: #d4edda;
border-color: #2a6b4f;
}
/* ========== QUESTION ========== */
.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: #2a6b4f;
}
.question-box .qsubmit {
background-color: #2a6b4f;
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: #1d4f3a;
}
.question-box .qsubmit:disabled {
background-color: #b0a89a;
cursor: not-allowed;
}
.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: #2a6b4f;
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: #2a6b4f;
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:not(.disabled) {
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;
}
}
/* ========== HELPER CLASSES ========== */
.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>📐 The Trinity as a Necessary Structure of a Monistic Modal Ontology <span class="version-badge">Version 3 – Final</span></h1>
<div class="subhead">
An interactive tutorial – Step by step<br>
<a href="index.html">← Back to the entry page</a> |
<a href="modal3eng.pdf">📄 PDF of the treatise</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">Step 0 of 16</div>
<!-- ===== STEPS ===== -->
<div id="stepContainer">
<!-- Will be filled by JavaScript -->
</div>
<!-- ===== NAVIGATION ===== -->
<div class="nav-links" id="navLinks">
<a href="#" id="prevBtn" class="disabled">← Back</a>
<span id="stepIndicator" style="font-size:0.85rem; color:#8b8b8b;">0 / 16</span>
<a href="#" id="nextBtn">Next →</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: #2a6b4f;">the-last-freedom.org/Projekt_Pompeji</a></p>
<p style="margin-top:0.2rem;">This final version of the treatise uses four axioms – Monism, Existence of a World, and two transcendental bridges.</p>
</div>
</div>
<script>
// ================================================================
// DATA: All 16 steps for Version 3 (Final) – English
// ================================================================
const steps = [
// ---- Step 0 ----
{
id: 0,
title: "What is the goal of the final version?",
explanation: `
<p>The final version of the treatise is the result of several revisions. It uses <strong>four axioms</strong>:</p>
<ol>
<li><strong>A1 – Monism:</strong> There are no fundamentally separated realms of reality.</li>
<li><strong>A4 – Existence of a World:</strong> There is at least one possible world.</li>
<li><strong>A11 – Transcendental Bridge:</strong> A world without consciousness would be fundamentally separated.</li>
<li><strong>A12 – Experience ↔ Realization:</strong> What is experienceable is realized.</li>
</ol>
<p>The concepts <strong>U (Origin)</strong>, <strong>T (Totality)</strong>, and <strong>S (Self-Knowledge)</strong> are understood as <strong>limits</strong> of a well-founded, open interval.</p>
<div class="formula-box">T := { x | U < x < S } – U = lim inf T – S = lim sup T</div>
`,
question_html: `
<p><strong>What is the main goal of the final version?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q0" value="0"> It proves the existence of God.</label>
<label><input type="radio" name="q0" value="1"> It shows that a monistic modal ontology without U, T, and S is contradictory.</label>
<label><input type="radio" name="q0" value="2"> It proves that the world consists of three substances.</label>
<label><input type="radio" name="q0" value="3"> It uses more than four axioms.</label>
<label><input type="radio" name="q0" value="4"> It shows that the Trinity is an illusion.</label>
<label><input type="radio" name="q0" value="5"> It proves that the human being is immortal.</label>
</div>
`,
answer: 1
},
// ---- Step 1 ----
{
id: 1,
title: "The four axioms – A1: Monism",
explanation: `
<p><strong>A1 – Monism</strong> states:</p>
<div class="formula-box">□¬∃x∃y FundamentallySeparated(x,y)</div>
<p>This means: <strong>There are no fundamentally separated realms of reality.</strong></p>
<p>This axiom prohibits:</p>
<ul>
<li>Cartesian dualism (mind vs. matter)</li>
<li>Any form of "beyond" as a fundamentally separated realm</li>
<li>Absolute separation between knower and known</li>
</ul>
`,
question_html: `
<p><strong>What does Axiom 1 (Monism) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q1" value="0"> There are many fundamentally separated realms of reality.</label>
<label><input type="radio" name="q1" value="1"> There are no fundamentally separated realms of reality.</label>
<label><input type="radio" name="q1" value="2"> Reality consists of three substances.</label>
<label><input type="radio" name="q1" value="3"> There is a separation between mind and matter.</label>
<label><input type="radio" name="q1" value="4"> Reality is arbitrary.</label>
<label><input type="radio" name="q1" value="5"> There are infinitely many worlds.</label>
</div>
`,
answer: 1
},
// ---- Step 2 ----
{
id: 2,
title: "The four axioms – A4: Existence of a World",
explanation: `
<p><strong>A4 – Existence of a World</strong> states:</p>
<div class="formula-box">◇∃w World(w)</div>
<p>This means: <strong>It is possible that a world exists.</strong></p>
<p>This axiom is deliberately <strong>weak</strong>. It does not say that a world actually exists, but only that it is <strong>possible</strong>.</p>
<p>From this weak axiom, we will later derive the existence of T, the possibility of consciousness, and ultimately the Trinity.</p>
`,
question_html: `
<p><strong>What does Axiom 4 (Existence of a World) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q2" value="0"> A world actually exists.</label>
<label><input type="radio" name="q2" value="1"> It is possible that a world exists.</label>
<label><input type="radio" name="q2" value="2"> There is no world.</label>
<label><input type="radio" name="q2" value="3"> There are infinitely many worlds.</label>
<label><input type="radio" name="q2" value="4"> The world is an illusion.</label>
<label><input type="radio" name="q2" value="5"> The world exists necessarily.</label>
</div>
`,
answer: 1
},
// ---- Step 3 ----
{
id: 3,
title: "A11 – The Transcendental Bridge",
explanation: `
<p><strong>A11 – Transcendental Bridge</strong> states:</p>
<div class="formula-box">∀w (WorldSeparatedFromConsciousness(w) ↔ ¬∃c (Consciousness(c) ∧ c(w)))</div>
<p>with the definition:</p>
<div class="formula-box">WorldSeparatedFromConsciousness(w) := ¬∃c (Consciousness(c) ∧ c(w))</div>
<p>This means: <strong>A world is separated from consciousness exactly when it contains no consciousness.</strong></p>
<p>Why is this important? This axiom formalizes the transcendental insight that a world without consciousness would be <strong>unknowable</strong> and therefore <strong>fundamentally separated</strong> – which monism (A1) prohibits.</p>
<p><strong>Image:</strong> Imagine a world with no consciousness. It could not be experienced by anyone – it would be like a book that no one reads. Such a world would be fundamentally separated from the conscious perspective.</p>
`,
question_html: `
<p><strong>What does Axiom 11 (Transcendental Bridge) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q3" value="0"> A world without consciousness is experienceable.</label>
<label><input type="radio" name="q3" value="1"> A world without consciousness would be fundamentally separated.</label>
<label><input type="radio" name="q3" value="2"> Consciousness is impossible.</label>
<label><input type="radio" name="q3" value="3"> The world is always experienceable.</label>
<label><input type="radio" name="q3" value="4"> There are no worlds without consciousness.</label>
<label><input type="radio" name="q3" value="5"> A11 contradicts A1.</label>
</div>
`,
answer: 1
},
// ---- Step 4 ----
{
id: 4,
title: "A12 – Experience and Realization",
explanation: `
<p><strong>A12 – Experience ↔ Realization</strong> states:</p>
<div class="formula-box">∀p. Experienceable(p) ↔ ∃w. Realized(w, p)</div>
<p>with the definition:</p>
<div class="formula-box">Experienceable(p) := ∃w. (Consciousness(w) ∧ Realized(w, p))</div>
<p>This means: <strong>A proposition is experienceable exactly when it is realized in some world.</strong></p>
<p>This axiom is the formal version of the transcendental argument: <strong>What is not realized cannot be experienced.</strong></p>
<p><strong>Example:</strong> A thought about a unicorn is experienceable – so there must be some world in which unicorns are realized. (This follows from modal realism, which is derived from A12.)</p>
`,
question_html: `
<p><strong>What does Axiom 12 (Experience ↔ Realization) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q4" value="0"> Experience is independent of realization.</label>
<label><input type="radio" name="q4" value="1"> A proposition is experienceable exactly when it is realized.</label>
<label><input type="radio" name="q4" value="2"> Realized propositions are always experienceable.</label>
<label><input type="radio" name="q4" value="3"> There are no experienceable propositions.</label>
<label><input type="radio" name="q4" value="4"> Experience contradicts monism.</label>
<label><input type="radio" name="q4" value="5"> Only God can guarantee experience.</label>
</div>
`,
answer: 1
},
// ---- Step 5 ----
{
id: 5,
title: "T as a Well-Founded, Open Interval",
explanation: `
<p><strong>Totality T</strong> is defined as:</p>
<div class="formula-box">T := { x | U < x < S }</div>
<p>This means: T is a <strong>well-founded, open interval</strong> between Origin U and Self-Knowledge S.</p>
<p><strong>What does "well-founded, open" mean?</strong></p>
<ul>
<li><strong>Open:</strong> T contains all states <strong>between</strong> U and S, but <strong>neither U nor S</strong> themselves.</li>
<li><strong>Well-founded:</strong> Every non-empty subset of T has a minimal element. This prevents infinite chains of grounds.</li>
</ul>
<p><strong>Transferred to ontology:</strong></p>
<ul>
<li>Totality is the set of all <strong>actually realized</strong> states.</li>
<li>Origin U is the <strong>lower limit</strong> – that which comes closest to nothing.</li>
<li>Self-Knowledge S is the <strong>upper limit</strong> – the complete transparency of Totality.</li>
</ul>
`,
question_html: `
<p><strong>What does T := { x | U < x < S } mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q5" value="0"> T is a closed interval.</label>
<label><input type="radio" name="q5" value="1"> T is a well-founded, open interval between U and S.</label>
<label><input type="radio" name="q5" value="2"> T contains U and S.</label>
<label><input type="radio" name="q5" value="3"> T is the set of all impossible things.</label>
<label><input type="radio" name="q5" value="4"> T is empty.</label>
<label><input type="radio" name="q5" value="5"> T is the same as U.</label>
</div>
`,
answer: 1
},
// ---- Step 6 ----
{
id: 6,
title: "U as the Lower Limit – Origin",
explanation: `
<p><strong>Origin U</strong> is defined as:</p>
<div class="formula-box">U := lim inf T</div>
<p>This means: U is the <strong>lower limit</strong> of Totality T.</p>
<p>U is what comes closest to <strong>nothing</strong> – but <strong>not nothing</strong> itself.</p>
<p>Why is U not nothing? Because nothing would be a <strong>fundamental separation</strong> – and A1 prohibits fundamental separation.</p>
<p>U is therefore the <strong>minimal existing state</strong> – the state of minimal structure that still exists.</p>
`,
question_html: `
<p><strong>What does U := lim inf T mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q6" value="0"> U is the upper limit of T.</label>
<label><input type="radio" name="q6" value="1"> U is the lower limit of T – that which comes closest to nothing.</label>
<label><input type="radio" name="q6" value="2"> U is the same as nothing.</label>
<label><input type="radio" name="q6" value="3"> U is part of T.</label>
<label><input type="radio" name="q6" value="4"> U is Totality itself.</label>
<label><input type="radio" name="q6" value="5"> U is Self-Knowledge.</label>
</div>
`,
answer: 1
},
// ---- Step 7 ----
{
id: 7,
title: "S as the Upper Limit – Self-Knowledge",
explanation: `
<p><strong>Self-Knowledge S</strong> is defined as:</p>
<div class="formula-box">S := lim sup T</div>
<p>This means: S is the <strong>upper limit</strong> of Totality T.</p>
<p>S is the <strong>complete self-transparency</strong> of Totality – but <strong>not itself a part</strong> of T.</p>
<p>Why does S not belong to T? If S belonged to T, then T would already be completely transparent – but then it would no longer be open. The openness of T is the precondition for S.</p>
`,
question_html: `
<p><strong>What does S := lim sup T mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q7" value="0"> S is the lower limit of T.</label>
<label><input type="radio" name="q7" value="1"> S is the upper limit of T – the complete self-transparency.</label>
<label><input type="radio" name="q7" value="2"> S is the same as nothing.</label>
<label><input type="radio" name="q7" value="3"> S is part of T.</label>
<label><input type="radio" name="q7" value="4"> S is Totality itself.</label>
<label><input type="radio" name="q7" value="5"> S is Origin.</label>
</div>
`,
answer: 1
},
// ---- Step 8 ----
{
id: 8,
title: "The Trinity as the Unity of the Three Limits",
explanation: `
<p>The <strong>Trinity</strong> is the unity of the three limits:</p>
<div class="formula-box">Tr := U ∧ T ∧ S</div>
<p>This means: The Trinity is <strong>not three things</strong>, but <strong>three perspectives on the same reality</strong>:</p>
<ul>
<li><strong>U (Origin)</strong> – the perspective of "Whence?"</li>
<li><strong>T (Totality)</strong> – the perspective of "What is?"</li>
<li><strong>S (Self-Knowledge)</strong> – the perspective of "Who knows?"</li>
</ul>
<div class="formula-box important">Tr := lim inf T ∧ T ∧ lim sup T</div>
`,
question_html: `
<p><strong>What does Tr := U ∧ T ∧ S mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q8" value="0"> Tr is true if at least one of the three concepts is true.</label>
<label><input type="radio" name="q8" value="1"> Tr is true if all three concepts (U, T, and S) are true simultaneously.</label>
<label><input type="radio" name="q8" value="2"> Tr is true if none of the three concepts is true.</label>
<label><input type="radio" name="q8" value="3"> Tr is the same as U.</label>
<label><input type="radio" name="q8" value="4"> Tr is the same as T.</label>
<label><input type="radio" name="q8" value="5"> Tr is the same as S.</label>
</div>
`,
answer: 1
},
// ---- Step 9 ----
{
id: 9,
title: "Proof of the Existence of T",
explanation: `
<p><strong>Theorem:</strong> Totality T exists.</p>
<p><strong>Proof:</strong></p>
<ol>
<li>From A4: <span class="symbol">∃w. World(w)</span>.</li>
<li>Let <span class="symbol">w₀</span> be such a world. Then there is at least one realized state <span class="symbol">x</span> in <span class="symbol">w₀</span>.</li>
<li>The set of all realized states is non-empty.</li>
<li>Totality T is the set of all realized states.</li>
<li>Since there is at least one realized state, T is non-empty.</li>
<li><strong>Therefore T exists.</strong></li>
</ol>
<p><strong>This is important because:</strong> Without the existence of T, the entire reductio would have no foundation.</p>
`,
question_html: `
<p><strong>What follows from A4 (Existence of a World) for the existence of T?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q9" value="0"> T does not exist.</label>
<label><input type="radio" name="q9" value="1"> T exists because there is at least one realized possibility.</label>
<label><input type="radio" name="q9" value="2"> T is empty.</label>
<label><input type="radio" name="q9" value="3"> T is impossible.</label>
<label><input type="radio" name="q9" value="4"> T is the same as U.</label>
<label><input type="radio" name="q9" value="5"> T is the same as S.</label>
</div>
`,
answer: 1
},
// ---- Step 10 ----
{
id: 10,
title: "Proof of A5 – Consciousness is Possible",
explanation: `
<p><strong>Theorem:</strong> From A1, A4 and A11 follows A5 – consciousness is possible.</p>
<div class="formula-box">A1 ∧ A4 ∧ A11 → ◇C</div>
<p><strong>Proof:</strong></p>
<ol>
<li>Assumption: There is no consciousness, <span class="symbol">¬◇C</span>.</li>
<li>Then the world is unknowable (definition of consciousness).</li>
<li>By A11, an unknowable world is fundamentally separated.</li>
<li><strong>A1 prohibits fundamental separation.</strong></li>
<li>Therefore: <span class="symbol">¬◇C</span> leads to a contradiction.</li>
<li>Thus: <span class="symbol">◇C</span> – consciousness is possible.</li>
</ol>
<p><strong>This is the transcendental argument of the treatise:</strong> A world without consciousness would be unknowable and therefore fundamentally separated – which A1 prohibits.</p>
`,
question_html: `
<p><strong>What follows from A1, A4 and A11?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q10" value="0"> Consciousness is impossible.</label>
<label><input type="radio" name="q10" value="1"> Consciousness is possible.</label>
<label><input type="radio" name="q10" value="2"> Consciousness exists necessarily.</label>
<label><input type="radio" name="q10" value="3"> Consciousness is an illusion.</label>
<label><input type="radio" name="q10" value="4"> Consciousness is the same as Totality.</label>
<label><input type="radio" name="q10" value="5"> Consciousness is impossible because it contradicts A1.</label>
</div>
`,
answer: 1
},
// ---- Step 11 ----
{
id: 11,
title: "Proof of A2 – Modal Realism",
explanation: `
<p><strong>Theorem:</strong> From A1, A4, A5, A11 and A12 follows A2 – Modal Realism.</p>
<div class="formula-box">∀p(◇p → ∃w. Realized(w,p))</div>
<p><strong>Proof:</strong></p>
<ol>
<li>Let <span class="symbol">p</span> be any possibility: <span class="symbol">◇p</span>.</li>
<li>By A11 and A12, <span class="symbol">p</span> is experienceable.</li>
<li>If <span class="symbol">p</span> were not realized, it would be unexperienceable.</li>
<li><strong>Contradiction to A11, A12 and A1.</strong></li>
<li>Therefore <span class="symbol">p</span> must be realized.</li>
<li>Thus: <span class="symbol">∀p(◇p → ∃w. Realized(w,p))</span></li>
</ol>
<p><strong>This means:</strong> Every possibility is realized in some world.</p>
`,
question_html: `
<p><strong>What follows from A1, A4, A5, A11 and A12?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q11" value="0"> Possibilities need not be realized.</label>
<label><input type="radio" name="q11" value="1"> Every possibility is realized in some world.</label>
<label><input type="radio" name="q11" value="2"> There are no possibilities.</label>
<label><input type="radio" name="q11" value="3"> Possibilities are only thoughts.</label>
<label><input type="radio" name="q11" value="4"> Only necessary possibilities are realized.</label>
<label><input type="radio" name="q11" value="5"> Possibilities contradict monism.</label>
</div>
`,
answer: 1
},
// ---- Step 12 ----
{
id: 12,
title: "The Assumption for the Reductio ad absurdum",
explanation: `
<p>The treatise uses a <strong>Reductio ad absurdum</strong> – a proof technique in which one assumes the opposite and shows that it leads to a contradiction.</p>
<p><strong>The assumption is:</strong></p>
<div class="formula-box">¬Tr</div>
<p>This means: <strong>The Trinity does not exist.</strong></p>
<p>Since <span class="symbol">Tr := U ∧ T ∧ S</span>, <span class="symbol">¬Tr</span> means:</p>
<div class="formula-box">¬U ∨ ¬T ∨ ¬S</div>
<p>So there are <strong>three cases</strong>:</p>
<ol>
<li><strong>Case 1:</strong> T exists, but U does not (<span class="symbol">T ∧ ¬U</span>)</li>
<li><strong>Case 2:</strong> U exists, but S does not (<span class="symbol">U ∧ ¬S</span>)</li>
<li><strong>Case 3:</strong> S exists, but T does not (<span class="symbol">S ∧ ¬T</span>)</li>
</ol>
`,
question_html: `
<p><strong>What is the assumption for the Reductio ad absurdum?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q12" value="0"> The Trinity exists necessarily.</label>
<label><input type="radio" name="q12" value="1"> The Trinity does not exist.</label>
<label><input type="radio" name="q12" value="2"> The Trinity exists partially.</label>
<label><input type="radio" name="q12" value="3"> The Trinity is impossible.</label>
<label><input type="radio" name="q12" value="4"> The Trinity is the same as Totality.</label>
<label><input type="radio" name="q12" value="5"> The Trinity is an illusion.</label>
</div>
`,
answer: 1
},
// ---- Step 13 ----
{
id: 13,
title: "Case 1 – Totality without Origin (T ∧ ¬U)",
explanation: `
<p><strong>Case 1:</strong> <span class="symbol">T ∧ ¬U</span> – Totality without Origin.</p>
<p><strong>The contradiction:</strong></p>
<ol>
<li>T exists. So there is at least one state within the open interval.</li>
<li>Since T is a <strong>well-founded, open interval</strong>, it has <strong>no smallest element</strong>.</li>
<li>The well-foundedness of T <strong>guarantees</strong> the existence of the lower limit U.</li>
<li>If U does not exist (<span class="symbol">¬U</span>), then there is no lower limit.</li>
<li>Then T would no longer be a well-founded, open interval.</li>
<li><strong>Contradiction to the definition of T.</strong></li>
</ol>
<div class="formula-box">T ∧ ¬U → ⊥ → □(T → U)</div>
`,
question_html: `
<p><strong>What does Case 1 (Totality without Origin) show?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q13" value="0"> T can exist without U.</label>
<label><input type="radio" name="q13" value="1"> T ∧ ¬U leads to a contradiction.</label>
<label><input type="radio" name="q13" value="2"> U is not necessary for T.</label>
<label><input type="radio" name="q13" value="3"> Totality can come from nothing.</label>
<label><input type="radio" name="q13" value="4"> T and U are the same.</label>
<label><input type="radio" name="q13" value="5"> T is its own ground.</label>
</div>
`,
answer: 1
},
// ---- Step 14 ----
{
id: 14,
title: "Case 2 – Origin without Self-Knowledge (U ∧ ¬S)",
explanation: `
<p><strong>Case 2:</strong> <span class="symbol">U ∧ ¬S</span> – Origin without Self-Knowledge.</p>
<p><strong>The contradiction:</strong></p>
<ol>
<li>U exists. This means: There is a lower limit of Totality.</li>
<li>From the derived theorems: <span class="symbol">◇C</span> (consciousness is possible).</li>
<li>From A2 (Modal Realism): There is a world with consciousness.</li>
<li>From A7: In this world, complete knowledge is possible.</li>
<li>From A8: Complete knowledge knows itself – that is precisely S.</li>
<li>Thus: <span class="symbol">U → S</span>.</li>
<li><strong>Contradiction to the assumption</strong> <span class="symbol">¬S</span>.</li>
</ol>
<div class="formula-box">U ∧ ¬S → ⊥ → □(U → S)</div>
`,
question_html: `
<p><strong>What does Case 2 (Origin without Self-Knowledge) show?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q14" value="0"> U can exist without S.</label>
<label><input type="radio" name="q14" value="1"> U ∧ ¬S leads to a contradiction.</label>
<label><input type="radio" name="q14" value="2"> S is not necessary for U.</label>
<label><input type="radio" name="q14" value="3"> Consciousness is impossible.</label>
<label><input type="radio" name="q14" value="4"> Complete knowledge is impossible.</label>
<label><input type="radio" name="q14" value="5"> U and S are the same.</label>
</div>
`,
answer: 1
},
// ---- Step 15 ----
{
id: 15,
title: "Case 3 – Self-Knowledge without Totality (S ∧ ¬T)",
explanation: `
<p><strong>Case 3:</strong> <span class="symbol">S ∧ ¬T</span> – Self-Knowledge without Totality.</p>
<p><strong>The contradiction:</strong></p>
<ol>
<li>S exists. S is defined as "complete self-knowledge of Totality".</li>
<li>If S exists, there is an <strong>act of knowing</strong> directed at T.</li>
<li>If T does not exist (<span class="symbol">¬T</span>), then S is <strong>knowledge without an object</strong>.</li>
<li>From A9 (derived): <span class="symbol">V_T(x) → T</span> – knowledge of T presupposes T.</li>
<li>Thus: <span class="symbol">S → T</span>.</li>
<li><strong>Contradiction to the assumption</strong> <span class="symbol">¬T</span>.</li>
</ol>
<div class="formula-box">S ∧ ¬T → ⊥ → □(S → T)</div>
`,
question_html: `
<p><strong>What does Case 3 (Self-Knowledge without Totality) show?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q15" value="0"> S can exist without T.</label>
<label><input type="radio" name="q15" value="1"> S ∧ ¬T leads to a contradiction.</label>
<label><input type="radio" name="q15" value="2"> T is not necessary for S.</label>
<label><input type="radio" name="q15" value="3"> S is empty knowledge.</label>
<label><input type="radio" name="q15" value="4"> S and T are the same.</label>
<label><input type="radio" name="q15" value="5"> Axiom 1 is false.</label>
</div>
`,
answer: 1
},
// ---- Step 16 ----
{
id: 16,
title: "The Synthetic Conclusion – The Trinity follows necessarily",
explanation: `
<p>The treatise has <strong>refuted all three cases</strong>:</p>
<ul>
<li><strong>Case 1:</strong> <span class="symbol">T ∧ ¬U → ⊥</span> → <span class="boxed">□(T → U)</span></li>
<li><strong>Case 2:</strong> <span class="symbol">U ∧ ¬S → ⊥</span> → <span class="boxed">□(U → S)</span></li>
<li><strong>Case 3:</strong> <span class="symbol">S ∧ ¬T → ⊥</span> → <span class="boxed">□(S → T)</span></li>
</ul>
<p>This yields a circle:</p>
<div class="formula-box">T → U → S → T</div>
<p>In S5, it follows:</p>
<div class="formula-box">□(U ↔ T) ∧ □(T ↔ S) ∧ □(S ↔ U)</div>
<p>With the proven existence of T, it follows:</p>
<div class="formula-box important">□(U ∧ T ∧ S)</div>
<p style="font-weight:bold; color:#2a6b4f;">The Trinity exists necessarily.</p>
`,
question_html: `
<p><strong>What follows from the three cases and the existence of T?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q16" value="0"> The Trinity is impossible.</label>
<label><input type="radio" name="q16" value="1"> The Trinity exists necessarily.</label>
<label><input type="radio" name="q16" value="2"> The Trinity exists only in thought.</label>
<label><input type="radio" name="q16" value="3"> The Trinity exists partially.</label>
<label><input type="radio" name="q16" value="4"> The Trinity is the same as Totality.</label>
<label><input type="radio" name="q16" value="5"> The Trinity is an illusion.</label>
</div>
`,
answer: 1
}
];
// ================================================================
// LOGIC
// ================================================================
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');
let stepCompleted = new Array(totalSteps).fill(false);
// --------------------------------------------------------------
// Render step
// --------------------------------------------------------------
function renderStep(index) {
const step = steps[index];
if (!step) return;
let html = `
<div class="step-block">
<div class="step-number">Step ${index} of ${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}">Check answer</button>
<div class="qfeedback" id="feedback${index}"></div>
</div>
</div>
`;
stepContainer.innerHTML = html;
const submitBtn = document.querySelector(`.qsubmit[data-step="${index}"]`);
if (submitBtn) {
submitBtn.addEventListener('click', function(e) {
checkAnswer(index);
});
}
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);
}
});
});
}
updateNav(index);
updateProgress(index);
if (stepCompleted[index]) {
const feedback = document.getElementById(`feedback${index}`);
if (feedback) {
feedback.className = 'qfeedback correct';
feedback.textContent = '✅ Correct! You have already completed this step.';
feedback.style.display = 'block';
}
const submitBtn2 = document.querySelector(`.qsubmit[data-step="${index}"]`);
if (submitBtn2) submitBtn2.disabled = true;
}
document.querySelector('.step-block').scrollIntoView({ behavior: 'smooth', block: 'start' });
}
// --------------------------------------------------------------
// Check answer
// --------------------------------------------------------------
function checkAnswer(index) {
if (stepCompleted[index]) return;
const step = steps[index];
const questionBox = document.getElementById(`questionBox${index}`);
const feedback = document.getElementById(`feedback${index}`);
const selected = questionBox.querySelector('input[type="radio"]:checked');
if (!selected) {
feedback.className = 'qfeedback wrong';
feedback.textContent = '❌ Please select an answer.';
feedback.style.display = 'block';
return;
}
const userAnswer = parseInt(selected.value);
const isCorrect = (userAnswer === step.answer);
if (isCorrect) {
feedback.className = 'qfeedback correct';
feedback.textContent = '✅ Correct! You may proceed to the next step.';
feedback.style.display = 'block';
stepCompleted[index] = true;
const submitBtn = questionBox.querySelector('.qsubmit');
if (submitBtn) submitBtn.disabled = true;
const radios = questionBox.querySelectorAll('input[type="radio"]');
radios.forEach(r => r.disabled = true);
updateNav(index);
updateProgress(index);
if (stepCompleted.every(v => v === true)) {
setTimeout(() => {
alert('🎉 Congratulations! You have successfully completed the entire tutorial!');
}, 400);
}
} else {
feedback.className = 'qfeedback wrong';
feedback.textContent = '❌ Incorrect. Please read the step again and try again.';
feedback.style.display = 'block';
}
}
// --------------------------------------------------------------
// Navigation
// --------------------------------------------------------------
function updateNav(index) {
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';
}
if (index < totalSteps - 1 && stepCompleted[index]) {
nextBtn.className = '';
nextBtn.style.pointerEvents = 'auto';
nextBtn.style.opacity = '1';
nextBtn.textContent = 'Next →';
} else if (index === totalSteps - 1 && stepCompleted[index]) {
nextBtn.className = '';
nextBtn.style.pointerEvents = 'auto';
nextBtn.style.opacity = '1';
nextBtn.textContent = '🎉 Done – back to entry page';
nextBtn.href = 'index.html';
} else {
nextBtn.className = 'disabled';
nextBtn.style.pointerEvents = 'none';
nextBtn.style.opacity = '0.5';
if (index === totalSteps - 1) {
nextBtn.textContent = '🎉 Final step – complete all steps';
} else {
nextBtn.textContent = 'Next → (please answer the question first)';
}
}
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 = `Step ${index} of ${totalSteps-1} – ${completedCount}/${totalSteps} completed`;
}
// --------------------------------------------------------------
// Event listeners
// --------------------------------------------------------------
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]) {
window.location.href = 'index.html';
}
});
// --------------------------------------------------------------
// Init
// --------------------------------------------------------------
renderStep(0);
</script>
</body>
</html>