Formalisierung kann den philosophischen Schnitt nicht setzen
Was Formalisierung gut kann
Formale Sprache registriert Abhängigkeiten, trennt ähnliche Begriffe, prüft Ableitungen unter festen Regeln und schreibt Prämissenänderungen fort. Sie macht Sprünge sichtbar, die Prosa verdecken kann.
Ihr Wert liegt nicht im mathematischen Ansehen, sondern in kontrollierbarer Buchführung. Sobald Notation das Urteil selbst zu vollenden beansprucht, versteckt sie jedoch die Wahl von Feld, Gegenstand und Regel.
Urteil ist keine vorgegebene Funktion
Ein formales System beantwortet, was aus gelieferten Prämissen und Regeln folgt. Es entscheidet nicht allein, welche Erfahrung zum Gegenstand wird, welche Unterscheidung zählt, welche Logik gilt und wie das Resultat zu deuten ist. Diese Entscheidungen tragen philosophische Verantwortung.
Die fünf Konfigurationen prüfen die Trennbarkeit von Postulaten. Sie schreiben der Wirklichkeit keine Konfiguration vor. Formalisierung testet Beziehungen; sie befiehlt keine Überzeugung.
Das Arbeitertheorem
Das Arbeitertheorem besagt: Die Ausführung fester Prämissen und Regeln vollendet kein Urteil. Ein Arbeiter kann einen Zweig weit treiben, aber nicht aus eigener Kraft seinen Untergrund neu meißeln. Er wird an der Arbeit erkannt, nicht an menschlicher oder maschineller Herkunft.
Menschen und KI können innerhalb eines Rahmens Arbeiter sein. Den Rahmen zu befragen ist andere, ebenfalls fehlbare Arbeit. Entliehene Logik, Notation und Werkzeuge gehören mit dem, was sie erhalten, verlieren und hinzufügen, ins Register.