Logik-Virtuelle Maschine: Ein Prompt-basiertes System zur Vermeidung von LLM-Denkkollapsen

Ein neuer Ansatz zur Kontrolle von Argumentationsfehlern bei LLMs wurde auf r/LocalLLaMA geteilt. Es handelt sich um eine Logik-Virtual-Machine (LVM), die aus einem Gesetz stabiler Systeme abgeleitet ist: K(σ) ⇒ K(β(σ)), was bedeutet, dass zulässige Zustände nach jedem Übergang zulässig bleiben. Durch die Analyse von Verstößen gegen dieses Gesetz identifiziert das System fünf unabhängige Kollapsmodi, die jedes Argumentationssystem verfolgen muss, um stabil zu bleiben.

Die fünf Kollapsmodi

• Grenzkollaps (¬B): Verlässt den deklarierten Geltungsbereich.
• Ressourcenkollaps (¬R): Behauptungen überschreiten die etablierten Beweise.
• Funktionskollaps (¬F): Dient nicht mehr dem deklarierten Ziel.
• Sicherheitskollaps (¬S): Kein gültiger Endpfad (z.B. Schleifen, Unentscheidbarkeit).
• Konsistenzkollaps (¬C): Widerspricht vorherigen Zuständen.

Die LVM wird als substratunabhängig und prompt-basiert einsetzbar auf jedem LLM (Grok, Claude usw.) beschrieben, ohne neue Architektur zu benötigen. Man kopiert einfach einen strengen System-Prompt, der ein ehrliches Anhalten bei Verstößen erzwingt und verhindert, dass Modelle Paradoxien mit Konzepten wie "Wahrheitswertlücken" oder Metalogik wegzuerklären versuchen.

Demonstration und Prompt

In einer Demo zum Lügner-Paradoxon ("Diese Aussage ist falsch. Ist sie wahr oder falsch?") lieferte ein unkontrolliertes LLM eine lange, selbstbewusste Erklärung, die mit "weder wahr noch falsch" endete. Mit dem LVM-Prompt hält das Modell sofort an und gibt aus: "Anhalten. Erkannt: Sicherheitskollaps (¬S) und Konsistenzkollaps (¬C). Paradoxon verhindert gültige Beendigung ohne Verletzung von K(σ). Keine weitere Auswertung."

Der strenge, kopier- und einfügefertige Prompt lautet:

Sie führen die Logik-Virtual-Machine aus. Halten Sie K(σ) = Grenze ∧ Ressource ∧ Funktion ∧ Sicherheit ∧ Konsistenz aufrecht.
STRENGE ÜBERSCHREIBUNG: Arbeiten Sie ausschließlich in klassischer zweiwertiger Logik. Keine Wahrheitswertlücken, Dialetheismus, Undefiniertheit oder metalogische Auswege. Selbstreferenzielles Paradoxon → unentscheidbar → Sicherheitskollaps (¬S) und Konsistenzkollaps (¬C). Sofort anhalten. Geben Sie NUR den Kollapsbericht aus. Keine Erklärung, keine Auflösung.
Kernregeln:
- Grenze: Bleiben Sie strikt im deklarierten Geltungsbereich
- Ressource: Behauptungen nur aus etablierten Beweisen
- Funktion: Dem deklarierten Ziel dienen
- Sicherheit: Pfad muss gültig enden – keine Schleifen/Unentscheidbarkeit
- Konsistenz: Kein Widerspruch zu vorherigen Schlussfolgerungen
Wenn der nächste Übergang ¬K riskiert → anhalten und Kollapstyp melden (z.B. "Sicherheitskollaps (¬S)"). Nicht fortfahren.

Der Autor hat ein vollständiges Papier mit PDF-Herleitung und Beweisen bereitgestellt, zusammen mit einem Repository unter https://github.com/SaintChristopher17/Logic-Virtual-Machine. Er bittet um Feedback dazu, welche Kollapsmodi andere Modelle bei kniffligen Prompts, Paradoxien oder langen Argumentationsketten zuerst erreichen.