Was den Menschen zum Menschen macht

Verifikationsinstanz

4 Min. Lesezeit

🇬🇧 English version: Verification Authority

Eine Verifikationsinstanz ist eine Instanz, die die Ergebnisse eines Systems prüft und deren Begründungsbasis von der geprüften Instanz unabhängig ist. Nur eine solche externe Instanz vermeidet den logischen Zirkel der Selbstbegründung, den das Münchhausen-Trilemma diagnostiziert: Wer sich selbst prüft, setzt voraus, was die Prüfung zeigen soll.

Drei Grundformen

Formaler Verifikator. Eine Prüfinstanz mit kalkülbasierter Begründungsbasis: der Beweisprüfer (etwa Lean, der jeden Beweis maschinell verifiziert), der Compiler, der Testkatalog, die maschinelle Konsistenzprüfung einer Wissensbasis, das Spielregelwerk mit eindeutiger Gewinnbedingung. Der formale Verifikator löst das Zirkel-Horn technisch, weil er ein anderes Prüfsystem ist als der geprüfte Erzeuger. Er prüft Konsistenz und strukturelle Korrektheit — nicht, ob das Geprüfte die Wirklichkeit trifft. Er selbst bleibt Werkzeug mit abgeleiteter Intentionalität.

Personale Verifikationsinstanz. Eine menschliche Person in der Rolle der prüfenden Instanz: Domänenexpertin, Berufsträger, Gutachter. Sie prüft, was kein formales Verfahren prüfen kann — die semantische Adäquatheit: ob ein Modell die Wirklichkeit seines Gegenstandsbereichs korrekt abbildet. Der empirische Befund der KI-gestützten Wissensmodellierung stützt das: Je höher die Fachkompetenz der prüfenden Person, desto eher erkennt sie Fehler in maschinell erzeugten Definitionen (DRAGON-AI-Studie: Toro u. a. 2024).

Normative Setzungsinstanz. Eine Instanz, deren Geltung nicht auf Beweis, sondern auf autoritativer Setzung beruht: die Rechtsnorm, das Normungsgremium, das institutionelle Regelwerk. Eine Norm gilt nicht, weil sie beweisbar wahr ist, sondern weil sie gesetzt wurde — Geltung durch Setzung. Ein KI-System kann solche Normen anwenden und gegen sie geprüft werden; es kann sie weder ableiten noch autoritativ setzen oder ändern.

Konsistenz ist nicht Adäquatheit

Die entscheidende Unterscheidung verläuft zwischen zwei Prüfungen, die oft verwechselt werden. Die Konsistenzprüfung stellt fest, ob die Aussagen einer Wissensbasis untereinander widerspruchsfrei sind — das ist maschinell entscheidbar. Die Adäquatheitsprüfung stellt fest, ob die Aussagen die Wirklichkeit korrekt abbilden — dafür gibt es kein formales Orakel. Eine vollkommen konsistente Wissensbasis kann semantisch komplett falsch sein. Der Ausdruck „Adäquatheit” verweist auf die klassische Definition der Wahrheit als adaequatio intellectus et rei: Die Übereinstimmung von Denken und Sache ist ein personaler Vollzug — ein Urteil, kein Rechenschritt.

Die endliche Prüfkette

Das Trilemma wird durch Verifikationsinstanzen nicht gelöst, sondern architektonisch externalisiert — und genau das ist die kritisch-rationalistische Antwort in technischer Form: Aus dem infiniten Regress wird eine endliche Prüfkette (Erzeuger → formale Prüfung → personales Urteil → gesetzte Norm); aus dem Zirkel wird die Trennung von Erzeuger und Prüfer; aus dem Dogmatismus werden bewusst gesetzte, revidierbare und versionierte Grundannahmen unter permanentem Test. Am Ende der Kette steht kein weiterer Prüfschritt, sondern der geerdete Abbruch: die Person, die das Adäquatheitsurteil fällt und die Verantwortung trägt — im Sinne Wittgensteins durch geerdete Praxis, nicht durch Willkür.

Gegenargument

Man kann einwenden, der menschliche Anteil sei eine schrumpfende Restgröße: Je mehr Gegenstandsbereiche formale Prüfregeln, Testkataloge und maschinell prüfbare Erfolgskriterien erhalten, desto weiter verschiebe sich die Prüfung von der Person zur Maschine — die personale Instanz sei ein Übergangsphänomen. Die Antwort: Die Verschiebung ist real und dort legitim, wo formale Verifikatoren konstruierbar sind. Drei Punkte bleiben jedoch strukturell unübertragbar: wer definiert, was als richtig gilt (die Setzung der Kriterien); worin die Zeichen geerdet sind (das Symbol-Erdungsproblem nach Harnad 1990; die Praxis und Lebenswelt im Sinne Wittgensteins); und wem ein Fehler zugerechnet wird (Verantwortung trifft nur Personen). Diese drei sind keine technischen Lücken, sondern Grenzen der Sache selbst.

Ontologische Einordnung: Unterbegriffe: Formaler Verifikator, Personale Verifikationsinstanz (eine menschliche Person in Prüferrolle), Normative Setzungsinstanz; die Konsistenzprüfung ist von der Adäquatheitsprüfung disjunkt — Letztere ist ein personaler Urteilsakt.

Quellenangaben: Recherchestand 14. Juli 2026 (Recherche Das Münchhausen-Problem im LLM-gestützten Ontologie-Engineering).

Weitere Quellen:

  • Albert, Hans (1968): Traktat über kritische Vernunft. Tübingen: Mohr Siebeck.
  • Wittgenstein, Ludwig (1969): Über Gewißheit. Hrsg. von G. E. M. Anscombe und G. H. von Wright. Frankfurt am Main: Suhrkamp.
  • Harnad, Stevan (1990): The Symbol Grounding Problem. Physica D 42, S. 335–346.
  • Toro, Sabrina u. a. (2024): Dynamic Retrieval Augmented Generation of Ontologies using Artificial Intelligence (DRAGON-AI). Journal of Biomedical Semantics 15, Art. 19.
  • Lambert, Nathan u. a. (2024): Tülu 3: Pushing Frontiers in Open Language Model Post-Training (Reinforcement Learning from Verifiable Rewards). Preprint.
  • DeepMind (2025): Olympiad-level formal mathematical reasoning with reinforcement learning (AlphaProof). Nature, 12. November 2025.

Siehe auch

Generiert via Abfrage aus der Personsein-Ontologie.

Graphansicht

Backlinks