Inhalt
Aktueller Ordner:
/modaltutorialeng.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 – The Trinity as a Necessary Structure of a Monistic Modal Ontology</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;
}
/* ========== STEP 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;
}
/* 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;
}
/* ========== 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: #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;
}
}
/* ========== 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</h1>
<div class="subhead">
An interactive tutorial – Step by step<br>
<a href="index.html">← Back to the entry page</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 17</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 / 17</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: #6b4f8a;">the-last-freedom.org/Projekt_Pompeji</a></p>
<p style="margin-top:0.2rem;">This tutorial guides you step by step through the modal-logical treatise.</p>
</div>
</div>
<script>
// ================================================================
// DATA: All 17 steps
// Each step: { id, title, explanation_html, question_html, answer }
// answer: Number (0–5) of the correct answer
// ================================================================
const steps = [
// ---- Step 0 ----
{
id: 0,
title: "What is the goal of the treatise?",
explanation: `
<p>The treatise does <strong>not</strong> aim to prove God. It aims to show that <strong>every consistent monistic modal ontology</strong> necessarily contains a <strong>threefold structure</strong>:</p>
<ol>
<li><strong>Origin (U)</strong> – the necessary ground of all possibilities.</li>
<li><strong>Totality (T)</strong> – the entirety of all realized possibilities.</li>
<li><strong>Self-Knowledge (S)</strong> – the reflexive completion of this structure.</li>
</ol>
<p>The treatise does not say: "God exists." It says: <strong>If you accept the following six axioms, then U ∧ T ∧ S necessarily follows.</strong></p>
<div class="formula-box">Tr := U ∧ T ∧ S</div>
`,
question_html: `
<p><strong>What is the goal of the treatise?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q0" value="0"> It aims to prove that God exists.</label>
<label><input type="radio" name="q0" value="1"> It aims to show that a monistic modal ontology without U, T, and S is contradictory.</label>
<label><input type="radio" name="q0" value="2"> It aims to prove that the world consists of three substances.</label>
<label><input type="radio" name="q0" value="3"> It aims to show that the Trinity is a religious doctrine.</label>
<label><input type="radio" name="q0" value="4"> It aims to prove that the human being is immortal.</label>
<label><input type="radio" name="q0" value="5"> It aims to show that the world came from nothing.</label>
</div>
`,
answer: 1
},
// ---- Step 1 ----
{
id: 1,
title: "The formal language – What do □ and ◇ mean?",
explanation: `
<p>The treatise uses <strong>modal logic</strong>. There are two central symbols:</p>
<ul>
<li><span class="symbol">□p</span> – "It is <strong>necessary</strong> that p" (p holds in all possible worlds).</li>
<li><span class="symbol">◇p</span> – "It is <strong>possible</strong> that p" (p holds in at least one possible world).</li>
</ul>
<p>It holds: <span class="symbol">◇p := ¬□¬p</span> – "Possibility is the negation of impossibility."</p>
<p>In S5, additionally: <span class="symbol">◇p → □◇p</span> – "If something is possible, then it is necessarily possible."</p>
<div class="formula-box">◇p := ¬□¬p</div>
`,
question_html: `
<p><strong>What does the expression □p mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q1" value="0"> p is possible.</label>
<label><input type="radio" name="q1" value="1"> p is necessary.</label>
<label><input type="radio" name="q1" value="2"> p is impossible.</label>
<label><input type="radio" name="q1" value="3"> p is true, but not necessary.</label>
<label><input type="radio" name="q1" value="4"> p is false.</label>
<label><input type="radio" name="q1" value="5"> p is probable.</label>
</div>
`,
answer: 1
},
// ---- Step 2 ----
{
id: 2,
title: "The definition of T – What is Totality?",
explanation: `
<p>The treatise defines <strong>Totality (T)</strong> as the <strong>totality of all realized possibilities</strong>.</p>
<div class="formula-box">T := ∀p(◇p → ∃w Realized(w,p))</div>
<p>This means: For every proposition p: <strong>If p is possible, then there is a world w in which p is realized.</strong></p>
<p>T is not the set of all thinkable things, but the set of all <strong>actually realized</strong> possibilities.</p>
`,
question_html: `
<p><strong>What does the definition T := ∀p(◇p → ∃w Realized(w,p)) mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q2" value="0"> T is the set of all impossible things.</label>
<label><input type="radio" name="q2" value="1"> T is the set of all things that exist in our world.</label>
<label><input type="radio" name="q2" value="2"> T is the set of all propositions p for which: If p is possible, then there is a world in which p is realized.</label>
<label><input type="radio" name="q2" value="3"> T is the set of all thoughts that humans have.</label>
<label><input type="radio" name="q2" value="4"> T is the set of all things that necessarily exist.</label>
<label><input type="radio" name="q2" value="5"> T is the set of all things that God created.</label>
</div>
`,
answer: 2
},
// ---- Step 3 ----
{
id: 3,
title: "The definition of U – What is Origin?",
explanation: `
<p>The treatise defines <strong>Origin (U)</strong> as the <strong>necessary ground of Totality</strong>.</p>
<div class="formula-box">U(x) := Ground(x, T) ∧ □∃x</div>
<p>This means: U is that x which is <strong>the ground of T</strong> and <strong>exists necessarily</strong>.</p>
<p><strong>Important:</strong> This definition does not presuppose that U exists. It defines <em>what it would mean</em> for U to exist. Existence must be <strong>derived</strong> from the axioms.</p>
`,
question_html: `
<p><strong>What does the definition U(x) := Ground(x, T) ∧ □∃x mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q3" value="0"> U is that x which depends on T and exists contingently.</label>
<label><input type="radio" name="q3" value="1"> U is that x which is the ground of T and exists necessarily.</label>
<label><input type="radio" name="q3" value="2"> U is that x which creates T but does not exist necessarily.</label>
<label><input type="radio" name="q3" value="3"> U is that x which stands in no relation to T.</label>
<label><input type="radio" name="q3" value="4"> U is that x which destroys T.</label>
<label><input type="radio" name="q3" value="5"> U is that x which exists only in thought.</label>
</div>
`,
answer: 1
},
// ---- Step 4 ----
{
id: 4,
title: "The definition of S – What is Self-Knowledge?",
explanation: `
<p>The treatise defines <strong>Self-Knowledge (S)</strong> as the <strong>reflexive completeness of knowledge about Totality T</strong>.</p>
<div class="formula-box">S := ∀p(K_T(p) → K_T(K_T(p)))</div>
<p>This means: For every proposition p: <strong>If p is known in a state of complete knowledge about T, then it is also known that p is known.</strong></p>
<p>Complete knowledge that does not know itself would be incomplete. S makes knowledge <strong>transparent</strong> and <strong>complete</strong>.</p>
`,
question_html: `
<p><strong>What does the definition S := ∀p(K_T(p) → K_T(K_T(p))) mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q4" value="0"> S means that nobody knows anything.</label>
<label><input type="radio" name="q4" value="1"> S means that knowledge is always false.</label>
<label><input type="radio" name="q4" value="2"> S means that for every proposition p: If p is known, then it is also known that p is known.</label>
<label><input type="radio" name="q4" value="3"> S means that there is no knowledge about T.</label>
<label><input type="radio" name="q4" value="4"> S means that knowledge is only valid if it comes from God.</label>
<label><input type="radio" name="q4" value="5"> S means that knowledge is always subjective.</label>
</div>
`,
answer: 2
},
// ---- Step 5 ----
{
id: 5,
title: "The Trinity – What is Tr?",
explanation: `
<p>The treatise defines the <strong>Trinity</strong> as the <strong>conjunction</strong> (logical "and") of all three:</p>
<div class="formula-box">Tr := U ∧ T ∧ S</div>
<p>This means: <strong>Tr is true if and only if all three – U, T, and S – are true simultaneously.</strong></p>
<p><strong>Important:</strong> The treatise does <strong>not</strong> use the term "Trinity" in the religious sense (Father, Son, Holy Spirit), but as a <strong>formal concept</strong> for the unity of the three necessary structural moments.</p>
`,
question_html: `
<p><strong>What does the definition Tr := U ∧ T ∧ S mean?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q5" value="0"> Tr is true if at least one of the three concepts (U, T, or S) is true.</label>
<label><input type="radio" name="q5" value="1"> Tr is true if none of the three concepts is true.</label>
<label><input type="radio" name="q5" value="2"> Tr is true if exactly one of the three concepts is true.</label>
<label><input type="radio" name="q5" value="3"> Tr is true if all three concepts (U, T, and S) are true simultaneously.</label>
<label><input type="radio" name="q5" value="4"> Tr is true if U and T are true, but S is not.</label>
<label><input type="radio" name="q5" value="5"> Tr is true if U is true, but T and S are not.</label>
</div>
`,
answer: 3
},
// ---- Step 6 ----
{
id: 6,
title: "Axiom 1 – Monism",
explanation: `
<p><strong>A1 – Monism</strong> states:</p>
<div class="formula-box">□¬∃x∃y FundamentallySeparated(x,y)</div>
<p>This means: <strong>It is necessary that there are no two fundamentally separated realms of reality.</strong></p>
<p>In simple words: <strong>Reality is a unity.</strong> There is no absolute separation between mind and matter, this world and the beyond, good and evil.</p>
<p>Why is this important? If there were two fundamentally separated realms, they could not interact – then there would be no unified reality.</p>
`,
question_html: `
<p><strong>What does Axiom 1 (Monism) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q6" value="0"> There are many fundamentally separated realms of reality.</label>
<label><input type="radio" name="q6" value="1"> There are necessarily no fundamentally separated realms of reality.</label>
<label><input type="radio" name="q6" value="2"> There are at least two fundamentally separated realms of reality.</label>
<label><input type="radio" name="q6" value="3"> Reality consists of three substances.</label>
<label><input type="radio" name="q6" value="4"> There is a separation between mind and matter.</label>
<label><input type="radio" name="q6" value="5"> Reality is arbitrary and disconnected.</label>
</div>
`,
answer: 1
},
// ---- Step 7 ----
{
id: 7,
title: "Axiom 2 – No Absolute Nothing",
explanation: `
<p><strong>A2 – No Absolute Nothing</strong> states:</p>
<div class="formula-box">□(N → ¬◇World)</div>
<p>This means: <strong>It is necessary that from an absolute nothing-state no world is possible.</strong></p>
<p>In simple words: <strong>Nothing can come from nothing.</strong></p>
<p>The contrapositive formulation is:</p>
<div class="formula-box">◇World → ¬N</div>
<p>This means: <strong>If a world is possible, then the state is not absolute nothing.</strong></p>
`,
question_html: `
<p><strong>What does Axiom 2 (No Absolute Nothing) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q7" value="0"> Everything can come from nothing.</label>
<label><input type="radio" name="q7" value="1"> Nothing has many properties.</label>
<label><input type="radio" name="q7" value="2"> An absolute nothing-state cannot bring forth a world.</label>
<label><input type="radio" name="q7" value="3"> Nothing is the origin of all things.</label>
<label><input type="radio" name="q7" value="4"> It is possible that a world comes from nothing.</label>
<label><input type="radio" name="q7" value="5"> Nothing is the same as Totality.</label>
</div>
`,
answer: 2
},
// ---- Step 8 ----
{
id: 8,
title: "Axiom 3 – Realism of Possibilities",
explanation: `
<p><strong>A3 – Realism of Possibilities</strong> states:</p>
<div class="formula-box">∀p(Cons(p) → ◇p)</div>
<p>This means: <strong>For every proposition p: If p is consistent (logically non-contradictory), then p is possible.</strong></p>
<p>And a second part:</p>
<div class="formula-box">∀p(◇p → ∃w Realized(w,p))</div>
<p>This means: <strong>For every proposition p: If p is possible, then there is a world in which p is realized.</strong></p>
<p>In simple words: <strong>Every possibility is realized somewhere.</strong></p>
`,
question_html: `
<p><strong>What does Axiom 3 (Realism of Possibilities) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q8" value="0"> Only what actually exists is possible.</label>
<label><input type="radio" name="q8" value="1"> Consistent possibilities need not be realized.</label>
<label><input type="radio" name="q8" value="2"> Every consistent proposition is possible, and every possibility is realized in some world.</label>
<label><input type="radio" name="q8" value="3"> Possibilities are only thoughts, not realities.</label>
<label><input type="radio" name="q8" value="4"> There are no consistent propositions.</label>
<label><input type="radio" name="q8" value="5"> Only God knows all possibilities.</label>
</div>
`,
answer: 2
},
// ---- Step 9 ----
{
id: 9,
title: "Axiom 4 – S5 Modality",
explanation: `
<p><strong>A4 – S5 Modality</strong> is not a single axiom, but a <strong>whole system of rules</strong>.</p>
<p>The most important rule in S5 is:</p>
<div class="formula-box">◇p → □◇p</div>
<p>This means: <strong>If p is possible, then it is necessarily possible.</strong></p>
<p>A possibility is therefore not a coincidence – it is a stable property of reality.</p>
<p>Other rules:</p>
<ul>
<li><span class="symbol">□p → p</span> – If p is necessary, then p is true.</li>
<li><span class="symbol">□p → □□p</span> – If p is necessary, then it is necessarily necessary.</li>
</ul>
`,
question_html: `
<p><strong>What does the S5 rule ◇p → □◇p state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q9" value="0"> If p is possible, then p is also true.</label>
<label><input type="radio" name="q9" value="1"> If p is possible, then it is necessarily possible.</label>
<label><input type="radio" name="q9" value="2"> If p is necessary, then p is possible.</label>
<label><input type="radio" name="q9" value="3"> If p is possible, then p is impossible.</label>
<label><input type="radio" name="q9" value="4"> If p is possible, then it is not necessary that p is possible.</label>
<label><input type="radio" name="q9" value="5"> If p is possible, then p is true in no world.</label>
</div>
`,
answer: 1
},
// ---- Step 10 ----
{
id: 10,
title: "Axiom 5 – Consciousness as a Real Possibility",
explanation: `
<p><strong>A5 – Consciousness as a Real Possibility</strong> states:</p>
<div class="formula-box">◇C</div>
<p>This means: <strong>It is possible that consciousness exists.</strong></p>
<p>Why is this axiom important? The treatise aims to show that Self-Knowledge (S) is necessary. But S presupposes that <strong>there can be</strong> consciousness at all. If consciousness were impossible, S would also be impossible.</p>
`,
question_html: `
<p><strong>What does Axiom 5 (Consciousness as a Real Possibility) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q10" value="0"> Consciousness exists necessarily.</label>
<label><input type="radio" name="q10" value="1"> Consciousness is impossible.</label>
<label><input type="radio" name="q10" value="2"> It is possible that consciousness exists.</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 exists only in the imagination.</label>
</div>
`,
answer: 2
},
// ---- Step 11 ----
{
id: 11,
title: "Axiom 6 – Reflexivity of Complete Knowledge",
explanation: `
<p><strong>A6 – Reflexivity of Complete Knowledge</strong> states:</p>
<div class="formula-box">□(V_T(x) → V_T(V_T(x)))</div>
<p>This means: <strong>It is necessary that for every x: If x has complete knowledge of T, then x also has knowledge of this knowledge.</strong></p>
<p>In simple words: <strong>Complete knowledge is always also knowledge about itself.</strong></p>
<p>Complete knowledge that does not know itself would be like a book that contains all truths but does not know that it contains them – it would be "blind".</p>
`,
question_html: `
<p><strong>What does Axiom 6 (Reflexivity of Complete Knowledge) state?</strong></p>
<div class="qoptions">
<label><input type="radio" name="q11" value="0"> Complete knowledge is impossible.</label>
<label><input type="radio" name="q11" value="1"> Complete knowledge need not know that it is complete.</label>
<label><input type="radio" name="q11" value="2"> If someone has complete knowledge of T, then they also know that they have this knowledge.</label>
<label><input type="radio" name="q11" value="3"> Knowledge is always false.</label>
<label><input type="radio" name="q11" value="4"> Only God can have complete knowledge.</label>
<label><input type="radio" name="q11" value="5"> Complete knowledge is the same as Totality.</label>
</div>
`,
answer: 2
},
// ---- 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>
<p>The treatise will now <strong>refute each of these three cases individually</strong>.</p>
`,
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 argument:</strong></p>
<ol>
<li><strong>T exists.</strong> So there is at least one realized possibility – at least one world.</li>
<li><strong>From Axiom 2</strong> (No Absolute Nothing) it follows: A world cannot come from nothing. It must have a ground.</li>
<li><strong>So there must be a ground for T.</strong></li>
<li>This ground <strong>cannot lie outside T</strong>, because T is the totality of all realized possibilities.</li>
<li><strong>So the ground must lie within T.</strong> But then T would be its own ground – a <strong>contradiction</strong> (circle).</li>
</ol>
<div class="formula-box">T ∧ ¬U → ⊥</div>
<p>This means: <strong>T ∧ ¬U leads to a contradiction.</strong></p>
<p>Thus: <span class="boxed">□(T → U)</span></p>
`,
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 is its own ground.</label>
<label><input type="radio" name="q13" value="2"> T ∧ ¬U leads to a contradiction.</label>
<label><input type="radio" name="q13" value="3"> U is not necessary for T.</label>
<label><input type="radio" name="q13" value="4"> Totality can come from nothing.</label>
<label><input type="radio" name="q13" value="5"> T and U are the same.</label>
</div>
`,
answer: 2
},
// ---- 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 argument:</strong></p>
<ol>
<li><strong>U exists.</strong> U is the ground of all possibilities.</li>
<li><strong>From Axiom 5</strong> (Consciousness is possible) it follows: <span class="symbol">◇C</span>.</li>
<li><strong>From Axiom 3</strong> (Realism) it follows: There is a world with consciousness.</li>
<li><strong>In this world</strong>, according to Axiom 6, complete knowledge of T is possible.</li>
<li><strong>Since U is the ground of all possibilities</strong>, U also brings forth this possibility.</li>
<li><strong>According to Axiom 3</strong>, this possibility is realized.</li>
<li><strong>According to Axiom 6</strong>, this knowledge must also contain knowledge about itself – that is precisely S.</li>
<li><strong>Thus: U necessarily leads to S.</strong> Contradiction to <span class="symbol">¬S</span>.</li>
</ol>
<div class="formula-box">U ∧ ¬S → ⊥</div>
<p>Thus: <span class="boxed">□(U → S)</span></p>
`,
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"> Consciousness is impossible.</label>
<label><input type="radio" name="q14" value="2"> U necessarily leads to S.</label>
<label><input type="radio" name="q14" value="3"> S is not necessary for U.</label>
<label><input type="radio" name="q14" value="4"> Complete knowledge is impossible.</label>
<label><input type="radio" name="q14" value="5"> Axiom 6 is false.</label>
</div>
`,
answer: 2
},
// ---- 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 argument:</strong></p>
<ol>
<li><strong>S exists.</strong> S is defined as "knowledge of Totality T".</li>
<li>If S exists, then there is an <strong>act of knowing directed at T</strong>.</li>
<li><strong>If T does not exist</strong> (as assumed), then S is <strong>knowledge without an object</strong>.</li>
<li><strong>According to Axiom 1 (Monism)</strong>, there is no fundamental separation between knower and known.</li>
<li><strong>Thus T must exist.</strong> Contradiction to <span class="symbol">¬T</span>.</li>
</ol>
<div class="formula-box">S ∧ ¬T → ⊥</div>
<p>Thus: <span class="boxed">□(S → T)</span></p>
`,
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 and T are the same.</label>
<label><input type="radio" name="q15" value="2"> S necessarily leads to T.</label>
<label><input type="radio" name="q15" value="3"> T is not necessary for S.</label>
<label><input type="radio" name="q15" value="4"> S is empty knowledge.</label>
<label><input type="radio" name="q15" value="5"> Axiom 1 is false.</label>
</div>
`,
answer: 2
},
// ---- Step 16 ----
{
id: 16,
title: "The Synthetic Conclusion – What follows from the three cases?",
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 Axiom 4 (Existence of a World) and the definition of T, it follows:</p>
<div class="formula-box">∃T → ∃U ∧ ∃S</div>
<p>Thus:</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;">The Trinity exists necessarily.</p>
`,
question_html: `
<p><strong>What follows from the three cases together with Axiom 4 (Existence of a World)?</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');
// State: which steps have been correctly answered?
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;
// Event listener for submit button
const submitBtn = document.querySelector(`.qsubmit[data-step="${index}"]`);
if (submitBtn) {
submitBtn.addEventListener('click', function(e) {
checkAnswer(index);
});
}
// Enter key on radio inputs
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>