Die Regel, die sich nicht selbst erklärt: Wittgensteins Paradox und Kripkes Skeptiker

Der Aufhänger: Die Rechnung, die noch nie jemand gemacht hat

Stellen Sie sich vor, jemand stellt Ihnen eine Aufgabe, die Sie in Ihrem Leben noch nie gelöst haben. Nicht, weil sie schwierig wäre – sie ist trivial –, sondern weil die konkreten Zahlen zufällig nie vorkamen. Sagen wir: 68 + 57.

Sie antworten: 125.

Nun tritt ein Skeptiker auf. Er bestreitet nicht Ihre Rechenfähigkeit. Er bestreitet nicht einmal, dass 125 das korrekte Ergebnis der Addition ist. Er bestreitet etwas viel Merkwürdigeres: dass Sie mit „plus" jemals die Addition gemeint haben.

Vielleicht, sagt er, haben Sie immer eine andere Funktion gemeint. Nennen wir sie Quaddition, geschrieben als \(\oplus\). Sie ist definiert als:

x \(\oplus\) y = x + y, falls x und y beide kleiner als 57 sind; andernfalls x \(\oplus\) y = 5.

Diese Funktion ist vollkommen wohldefiniert. Sie ist nicht sinnlos, nicht widersprüchlich, nicht einmal besonders exotisch – Informatiker kennen solche Funktionen als Spezialfälle mit Schwellenwert. Und entscheidend: Jede einzelne Rechnung, die Sie in Ihrem Leben jemals durchgeführt haben, ist mit ihr verträglich. Denn Sie haben, in diesem Gedankenexperiment, nie mit Zahlen ab 57 gerechnet.

Der Skeptiker fragt nun: Welche Tatsache über Sie – über Ihr Verhalten, Ihre Erinnerung, Ihren Geisteszustand, Ihr Gehirn – macht es wahr, dass Sie „plus" und nicht „quus" meinten?

Die naheliegende Antwort lautet: „Ich habe doch die Additionsregel im Kopf gehabt." Aber der Skeptiker hat diese Antwort bereits antizipiert. Welche Regel hatten Sie im Kopf? Wenn Sie sie formulieren, besteht sie aus Wörtern oder Symbolen – und die lassen sich genauso umdeuten. Haben Sie an „zähle die Elemente zweier Mengen zusammen" gedacht? Dann fragt der Skeptiker, was Sie mit „zählen" meinten: zählen oder quählen?

Das ist der Kern dessen, was in der Philosophie seit gut vier Jahrzehnten als Regelfolgen-Paradox diskutiert wird. Es ist nicht nur eine akademische Spitzfindigkeit. Es ist, in seiner strengsten Form, die Frage, warum eine Vorschrift – ein Gesetz, eine Spezifikation, ein Trainingsdatensatz, ein Code-Standard – jemals genau einen Weg der Fortsetzung festlegt statt beliebig vieler. Und es ist eine Frage, die jeder beantworten muss, der einem System beibringen will, sich „richtig" zu verhalten.

Teil 1: Wittgensteins Paradox

Die Stelle, um die es geht

Ludwig Wittgenstein formulierte das Problem in den Philosophischen Untersuchungen, posthum 1953 erschienen. Die einschlägige Passage erstreckt sich etwa über die §§138–242; ihr Scharnier ist §201. Dort heißt es, das Paradox bestehe darin, dass „eine Regel keine Handlungsweise bestimmen [könne], da jede Handlungsweise mit der Regel in Übereinstimmung zu bringen sei" (PU §201).

Das Argument dahinter ist schlicht und zerstörerisch. Angenommen, jemand soll die Reihe „+2" fortsetzen: 2, 4, 6, 8 … Bei 1000 schreibt er plötzlich 1004, 1008, 1012. Man korrigiert ihn, und er antwortet verständnislos: Er habe doch genau das getan, was man ihm gesagt habe – er sei doch so weitergegangen wie vorher. Seine Deutung der Regel lautete: „Addiere bis 1000 jeweils 2, danach 4." Nichts in der Anweisung „+2" schließt diese Deutung aus, solange man nur die endlich vielen bisherigen Schritte betrachtet.

Man könnte nachlegen: „Nein, ich meinte, in jedem Schritt dieselbe Zahl zu addieren." Aber auch „dieselbe" lässt sich umdeuten. Jede Präzisierung ist selbst ein Zeichen und braucht wieder eine Deutung. Wittgenstein zieht daraus keine skeptische, sondern eine therapeutische Konsequenz: Es gibt eine Auffassung einer Regel, die keine Deutung ist, sondern sich im Befolgen zeigt – in dem, was man tatsächlich tut, wenn man abgerichtet worden ist. Und §202 schließt an: „Der Regel folgen" ist eine Praxis; und darum kann man nicht „privatim" einer Regel folgen, weil sonst der Regel zu folgen glauben und ihr folgen dasselbe wäre.

Warum das nicht nur Sprachphilosophie ist

Diese Passage ist deshalb so folgenreich, weil sie eine Grundannahme angreift, die wir selten aussprechen: dass das Verstehen einer Regel darin besteht, einen Inhalt im Kopf zu haben, der alle künftigen Anwendungsfälle im Voraus festlegt. Crispin Wright hat dafür das Bild der „Schienen ins Unendliche" aufgegriffen, das Wittgenstein selbst verwendet – als ob die Regel wie ein bereits verlegtes Gleis alle künftigen Schritte schon enthielte.

Wittgensteins Punkt ist, dass dieses Bild leer ist. Nicht falsch im Sinne einer widerlegten Hypothese, sondern leer: Es erklärt nichts, weil die Frage nach der Deutung nur verschoben wird.

Teil 2: Kripkes Skeptiker

Ein Buch, das ein Erdbeben auslöste

1982 veröffentlichte Saul Kripke bei Harvard University Press ein schmales Buch von rund 150 Seiten: Wittgenstein on Rules and Private Language. An Elementary Exposition. Es machte aus Wittgensteins verstreuten Bemerkungen ein scharf gefasstes Argument – und löste eine Debatte aus, die bis heute anhält.

Kripke war vorsichtig genug, sich von seiner eigenen Lesart zu distanzieren. Er präsentiere das Argument, wie es ihn getroffen habe, nicht als getreue Wittgenstein-Exegese. Die Fachwelt hat daraus die halb spöttische, halb praktische Bezeichnung „Kripkenstein" gemacht: eine Figur, die die Thesen des Buches vertritt, ohne mit dem historischen Wittgenstein identisch zu sein.

Die Struktur des Arguments

Was Kripkes Version so schwer abzuschütteln macht, ist ihre Großzügigkeit gegenüber dem Gegner. Der Skeptiker räumt ein:

1. Ihr Gedächtnis ist perfekt. Sie erinnern sich an jede Rechnung, die Sie je ausgeführt haben.
2. Sie haben vollständigen Zugang zu allen Tatsachen über Ihren eigenen Geist.
3. Es geht nicht um Erkenntnis. Die Frage ist nicht, woher Sie wissen, was Sie meinten, sondern worin diese Tatsache besteht.

Das Argument ist also kein epistemologischer, sondern ein konstitutiver Skeptizismus. Gefragt wird nach dem Tatsachen­macher der Bedeutung.

Und die gesuchte Tatsache muss zwei Bedingungen erfüllen:

Die Normativitätsbedingung ist der schärfere Haken. Eine Bedeutungstatsache soll erklären, warum 125 die richtige Antwort ist. Eine bloße Beschreibung meiner Neigungen kann das nicht: Wenn ich mich systematisch verrechne, ist meine Neigung falsch – aber wenn die Neigung definiert, was ich meine, kann sie per Konstruktion nicht falsch sein.

Kripkes Skeptiker kommt am Ende zu dem Schluss, die ganze Idee der Bedeutung löse sich in Luft auf – ein Resultat, das Kripke selbst als unerträglich bezeichnet.

Teil 3: Die Kandidaten und warum sie der Reihe nach fallen

Der Mittelteil von Kripkes Buch ist ein systematisches Abarbeiten aller plausiblen Antworten. Es lohnt sich, das im Detail nachzuvollziehen, weil die Fehlermuster wiederkehren.

Kandidat 1: Dispositionen

Der naheliegendste Vorschlag: Die Tatsache, dass ich „plus" meine, besteht in meiner Disposition, auf die Frage „Was ist x + y?" mit der Summe zu antworten. Das ist die naturalistisch sauberste Antwort, und sie scheitert an drei Stellen:

Das Endlichkeitsproblem. Meine Dispositionen sind endlich. Für hinreichend große Zahlen würde ich sterben, einschlafen oder den Überblick verlieren, bevor ich antworte. Die Disposition zeichnet also nicht die Additionsfunktion aus, sondern bestenfalls eine Funktion, die irgendwo in eine undefinierte Zone übergeht – und das ist strukturell dasselbe, was der Skeptiker behauptet hat.

Das Irrtumsproblem. Ich bin disponiert, mich zu verrechnen. Wenn meine Dispositionen definieren, was ich meine, dann meine ich eine Funktion, die meine Fehler enthält – und dann sind es keine Fehler mehr. Der Begriff des Rechenfehlers wird unmöglich.

Das Normativitätsproblem. Dispositionen sind deskriptiv. Aus „ich würde so antworten" folgt nicht „ich sollte so antworten".

Es gibt Reparaturversuche. Simon Blackburn hat „infinitäre Dispositionen" vorgeschlagen; andere Autoren arbeiten mit „Normalbedingungen" – was ich täte, wenn ich unbegrenzt Zeit, Papier und Konzentration hätte. Die Standardkritik lautet, dass die Normalbedingungen nur dann die richtige Funktion auszeichnen, wenn man beim Formulieren der Bedingungen schon weiß, welche Funktion gemeint ist. Der Zirkel ist dann nur gut versteckt.

Kandidat 2: Einfachheit

„Addition ist einfacher als Quaddition, also habe ich Addition gemeint."

Das ist nicht falsch, aber es beantwortet eine andere Frage. Einfachheit ist ein Kriterium für die beste Erklärung fremden Verhaltens. Es macht mein Wissen darüber, was ich selbst meine, zu einer Hypothese, die ich über mich aufstelle. Genau das ist es nicht: Ich schließe nicht darauf, was ich meine; ich weiß es unmittelbar. Zudem ist „einfach" selbst relativ zu einer Beschreibungssprache – in einer Sprache, in der Quaddition primitiv ist, ist die Addition die komplizierte Funktion.

Kandidat 3: Qualia, Bilder, Introspektion

Vielleicht gibt es ein besonderes Erlebnis, das das Meinen von „plus" begleitet. Kripke hält dagegen: Selbst wenn es ein solches Erlebnis gäbe, bliebe die Frage, was dieses Erlebnis mit der Additionsfunktion verbindet. Ein Kopfschmerz zeichnet keine mathematische Funktion aus. Dasselbe gilt für innere Bilder: Ein Bild einer Tabelle muss gelesen werden, und jede Tabelle ist endlich.

Kandidat 4: Ein sui-generis-Zustand

Man könnte das Meinen als eigenständigen, nicht weiter analysierbaren Zustand postulieren: Es gibt eben die Tatsache, „plus" zu meinen, und sie lässt sich nicht auf etwas anderes zurückführen. Kripke nennt diesen Zug verzweifelt – er benennt das Explanandum und erklärt es zum Explanans.

Kandidat 5: Platonismus

Vielleicht erfasse ich beim Verstehen von „plus" eine abstrakte Entität – einen Fregeschen Sinn, die Additionsfunktion selbst. Das löst die Extensionalität elegant: Die Funktion ist unendlich und eindeutig. Aber es verschiebt das Problem auf die Relation des Erfassens. Welche Tatsache über mich macht es wahr, dass ich diese abstrakte Entität erfasse und nicht eine andere? Platonismus liefert einen Gegenstand, aber keine Verbindung zu ihm.

Kandidat 6: Die Maschine

Das vielleicht lehrreichste Kapitel für Techniker: Vielleicht bin ich wie eine Maschine, die die Additionsfunktion verkörpert. Kripke erwidert, dass eine reale Maschine ein physisches Objekt mit endlicher Lebensdauer, endlichem Speicher und Fehlermodi ist. Dass eine Maschine die Addition „verkörpert", ist keine physikalische Tatsache über sie, sondern unsere Beschreibung dessen, wofür wir sie halten. Eine Maschine, die bei genügend großen Eingaben überläuft, ist physikalisch nicht von einer Quaddition-Maschine zu unterscheiden – der Unterschied liegt in unserer Spezifikation, und über deren Bedeutung tobt gerade der Streit.

Das ist der Punkt, an dem das Argument aufhört, abstrakt zu sein. Jeder, der je einen Integer-Overflow debuggt hat, kennt die Erfahrung, dass eine Maschine „offensichtlich" addiert – bis zu dem Punkt, an dem sie es offensichtlich nicht tut.

Teil 4: Die skeptische Lösung

Das Humesche Muster

Kripke akzeptiert, dass es keine Bedeutungstatsache im gesuchten Sinn gibt. Er schließt daraus aber nicht, dass Bedeutungszuschreibungen sinnlos sind. Sein Vorbild ist David Hume: Hume bestritt, dass es in der Welt eine beobachtbare notwendige Verknüpfung zwischen Ursache und Wirkung gibt – und erklärte unser Kausalurteil stattdessen aus Gewohnheit und der Projektion einer Erwartung. Die Rede von Ursachen bleibt legitim, aber ihre Rechtfertigung liegt woanders, als man dachte.

Eine solche Antwort heißt skeptische Lösung: Sie gibt dem Skeptiker in der Sache recht und rettet die Praxis auf anderem Fundament. Das Gegenstück wäre eine gerade Lösung (straight solution), die eine Prämisse des Skeptikers zurückweist.

Kripkes Vorschlag: Statt nach Wahrheitsbedingungen von „Sven meint Addition mit ‚plus'" zu fragen, fragt man nach Behauptbarkeitsbedingungen – wann ist es berechtigt, das zu sagen, und welche Rolle spielt diese Rede in unserem Leben? Die Antwort verweist auf die Gemeinschaft: Wir schreiben jemandem zu, eine Regel verstanden zu haben, wenn seine Antworten in hinreichend vielen Fällen mit unseren übereinstimmen. Diese Zuschreibung hat einen handfesten Nutzen – ich kann jemanden zum Äpfelkaufen schicken, wenn ich ihm zutraue, richtig zu rechnen.

Die Verlegung des Privatsprachenarguments

Kripkes zweite große These ist exegetisch, aber wirkungsvoll: Das berühmte Privatsprachenargument beginne nicht erst bei §243 der Untersuchungen, wo das Tagebuch mit der Empfindung „E" diskutiert wird, sondern sei bereits in §202 abgeschlossen. Wenn Korrektheit nur über Übereinstimmung mit einer Gemeinschaft bestimmbar ist, dann kann ein prinzipiell isoliertes Subjekt nicht sinnvoll zwischen „ich folge der Regel" und „ich glaube, der Regel zu folgen" unterscheiden – und wo dieser Unterschied zusammenfällt, gibt es keine Regel.

Das macht aus einer Spezialdiskussion über Empfindungsbegriffe ein allgemeines Argument über Bedeutung überhaupt.

Die Schwachstelle

Die skeptische Lösung hat einen bekannten Angriffspunkt, und er ist ernst. Sie lässt sich auf zwei Weisen ausbuchstabieren, und beide sind unbequem:

• Als Irrtumstheorie: Alle Sätze der Form „X meint Y" sind falsch. Dann bleibt unerklärt, warum es nützlich ist, systematisch Falsches zu sagen – die Nützlichkeitserklärung braucht selbst wieder Tatsachen über Normbefolgung.
• Als Non-Faktualismus: Solche Sätze stellen keine Tatsachen fest, sondern haben eine andere Funktion. Paul Boghossian, Anandi Hattiangadi und Alexander Miller haben dagegen den Inkohärenzvorwurf erhoben: Auch ein nicht-deskriptiver Satz hat Korrektheitsbedingungen, und damit setzt die Position genau das voraus, was sie bestreitet.

Ich bin der Meinung, dass dieser Einwand der stärkste gegen Kripkes konstruktiven Teil ist – und dass die bleibende Leistung des Buches deshalb eher im negativen Teil liegt: in der sauberen Vorführung, woran alle naheliegenden Antworten scheitern.

Teil 5: Die Gegenwehr

Die Reaktionen auf Kripkes Buch lassen sich grob in vier Lager sortieren.

Ein gemeinsamer Nenner der Kritik: Kripke verlangt von einer Bedeutungstatsache etwas, das keine Tatsache leisten kann – nämlich sich selbst gegen jede Umdeutung zu immunisieren. Wenn man diese Forderung als überzogen zurückweist, verliert das Paradox seine Schärfe. Der Preis ist, dass man erklären muss, was Verstehen dann ist, ohne auf den Inhalt im Kopf zurückzufallen.

Nach über vierzig Jahren gilt die Debatte als offen. Es gibt keine Standardlösung, die sich durchgesetzt hätte.

Teil 6: Warum das kein Seminarproblem ist

Hier wird das Argument für alle interessant, die mit Spezifikationen, Modellen und Regelwerken arbeiten.

Maschinelles Lernen: dasselbe Problem, messbar gemacht

Ein Modell sieht endlich viele Beispiele und soll daraus eine Funktion „lernen", die auf unendlich vielen ungesehenen Eingaben definiert ist. Das ist strukturell exakt die Situation des Kripke-Skeptikers: Die Trainingsdaten unterbestimmen die Zielfunktion radikal.

Die Lerntheorie hat dieses Problem nicht nur beschrieben, sondern präzisiert. David Wolpert zeigte in The Lack of a Priori Distinctions Between Learning Algorithms (Neural Computation 8(7), 1996, 1341–1390), gemittelt über alle möglichen Zielfunktionen und bezogen auf den Fehler außerhalb der Trainingsmenge, dass kein Lernalgorithmus a priori besser ist als ein anderer. Zu je zwei Algorithmen A und B gibt es genauso viele Zielfunktionen, bei denen A besser abschneidet, wie umgekehrt – das gilt selbst für Kreuzvalidierung gegen „Anti-Kreuzvalidierung".

Die Konsequenz ist die direkte technische Entsprechung zu Wittgensteins Punkt: Generalisierung ist ohne Bias unmöglich. Ein Lernverfahren funktioniert nicht, weil es die richtige Fortsetzung aus den Daten ableitet – das kann es nicht –, sondern weil seine Architektur, sein Regularisierer und seine Optimierung bestimmte Fortsetzungen bevorzugen. Der induktive Bias ist nicht ein Mangel, den man beseitigen sollte, sondern die Bedingung dafür, dass überhaupt etwas gelernt wird.

Wer wissen will, wie ein konkretes System zu seinen Fortsetzungen kommt, landet damit bei der Frage nach den internen Repräsentationen – dem Thema von Der Geist in der Maschine: Wie man ein neuronales Netz von innen liest. Und wer wissen will, wie viel Bias man durch Datenmenge ersetzen kann, landet bei den Skalierungsgesetzen aus Wie groß ist groß genug? Skalierungsgesetze, Chinchilla und die Vermessung der KI.

Ich bin der Meinung, dass das Regelfolgen-Paradox die sauberste verfügbare Beschreibung dafür ist, warum Out-of-Distribution-Verhalten kein Bug ist, der sich wegtrainieren lässt. Ein Modell, das sich außerhalb des Trainingsbereichs anders verhält als erwartet, hat nicht „die Regel vergessen". Es hatte nie die Regel – es hatte eine Hypothesenklasse und eine Präferenz darin.

Spezifikationen und Compliance

Dieselbe Struktur findet sich überall dort, wo eine endliche Vorschrift unendlich viele Fälle regeln soll:

• Anforderungen. Eine Spezifikation legt eine Implementierung nie vollständig fest. Was sie tut, ist, den Raum der zulässigen Implementierungen einzuschränken. Die übliche Praxis, strittige Punkte durch Beispiele zu klären, ist ein Eingeständnis: Beispiele verengen, aber sie schließen nicht.
• Rechtsnormen. Juristen kennen das Problem seit langem unter anderem Namen. Dass ein Tatbestand ausgelegt werden muss und dass die Auslegung nicht aus dem Text selbst folgt, ist der Normalfall, nicht die Ausnahme. Die Lösung ist institutionell – Instanzenzug, Präjudiz, herrschende Meinung –, also eine Gemeinschaftslösung in Kripkes Sinn.
• Code-Reviews. Warum sind Style-Guides nie ausreichend? Weil sie als Text endlich sind und jede neue Konstruktion eine Deutungsfrage aufwirft. Was Teams tatsächlich trägt, ist eine eingespielte Praxis, in die neue Mitglieder hineinwachsen – was wiederum erklärt, warum ein neues Teammitglied einen Style-Guide lesen kann und trotzdem Monate braucht.
• KI-Alignment. Die Vorstellung, man könne ein Zielverhalten vollständig in einer Zielfunktion kodieren, ist genau die Vorstellung, die das Paradox angreift. Jede Zielfunktion ist endlich spezifiziert und lässt unendlich viele Fortsetzungen offen; „Specification Gaming" ist der empirische Name für eine Fortsetzung, die mit der Spezifikation verträglich, aber nicht gemeint war.

Die praktische Lehre

Daraus folgt kein Defätismus, sondern eine veränderte Erwartungshaltung. Wer glaubt, eine hinreichend präzise Regel schließe Fehldeutungen aus, wird immer wieder überrascht. Wer dagegen akzeptiert, dass Regeln Deutungsspielräume lassen, investiert in die Dinge, die tatsächlich tragen: Rückkopplung, Korrekturinstanzen, geteilte Praxis, explizite Grenzfälle – und Beobachtung des Verhaltens genau dort, wo die bisherige Erfahrung aufhört.

Teil 7: Eine Landkarte der Positionen

Die Erkenntnis zum Mitnehmen

Das Regelfolgen-Paradox hat eine praktische Pointe, die überraschend handfest ist: Eine Regel enthält ihre eigene Anwendung nicht.

Was eine Regel leistet, ist nicht, die Zukunft festzulegen, sondern den Raum zulässiger Fortsetzungen einzuschränken – und selbst das nur relativ zu einer geteilten Praxis des Lesens. Was die Lücke schließt, ist nie der Text, sondern immer etwas Externes: Einübung, Korrektur, Gemeinschaft, institutionalisierte Entscheidung oder, bei Maschinen, der eingebaute induktive Bias.

Für die Praxis heißt das dreierlei:

1. Investieren Sie nicht in Vollständigkeit, sondern in Rückkopplung. Eine Spezifikation, die „alles abdeckt", gibt es nicht. Ein Verfahren, das Fehldeutungen früh sichtbar macht, gibt es.
2. Behandeln Sie den Bereich jenseits der Erfahrung als eigenständige Frage. Bei Menschen heißt das Grenzfall-Training, bei Modellen heißt es Out-of-Distribution-Evaluation. In beiden Fällen ist es genau der Bereich, über den das bisherige Verhalten nichts aussagt.
3. Machen Sie die Praxis explizit, nicht nur die Regel. Teams, Gerichte und Standardisierungsgremien lösen das Problem nicht durch bessere Texte, sondern durch Verfahren, die Deutungen verbindlich machen.

Wer dieses Muster einmal sieht, erkennt es in sehr vielen Streitigkeiten wieder – und spart sich den Versuch, sie durch Nachschärfen des Wortlauts zu beenden.

Eine Reflexionsfrage zum Schluss

Denken Sie an eine Regel, der Sie beruflich folgen und die Sie für eindeutig halten – einen Code-Standard, eine Compliance-Vorgabe, ein Architekturprinzip.

Finden Sie den Fall, in dem zwei kompetente, wohlmeinende Kollegen sie unterschiedlich anwenden würden. Dieser Fall existiert fast sicher; die Frage ist nur, ob er Ihnen schon begegnet ist.

Und dann die eigentliche Frage: Woran würden Sie entscheiden, welche der beiden Anwendungen die richtige ist – wenn nicht am Wortlaut? Ihre Antwort auf diese Frage ist Ihre persönliche Stellungnahme zum Regelfolgen-Paradox. Und sie sagt mehr über die Funktionsweise Ihrer Organisation aus als jedes Regelwerk.

Querverweise im Vault

• Warum die Sonne morgen aufgeht: Humes Induktionsproblem, grue und die Grenzen des Lernens – der engste Verwandte. Goodmans „grue" ist die induktionstheoretische Zwillingsschwester von „quus": endliche Evidenz, unendlich viele verträgliche Fortsetzungen. Und Kripkes skeptische Lösung ist ausdrücklich Hume nachgebaut.
• Drei Seiten gegen 2000 Jahre: Das Gettier-Problem und die Frage, was Wissen ist – dasselbe methodische Muster: ein kurzer Text, ein konstruiertes Gegenbeispiel, und ein Jahrhundertkonsens wackelt.
• Das chinesische Zimmer: Searle und die Frage, ob Maschinen verstehen können – Searle fragt, ob Regelbefolgung zum Verstehen reicht. Kripke fragt vorgelagert, ob Regelbefolgung selbst wohldefiniert ist.
• Der Geist in der Maschine: Wie man ein neuronales Netz von innen liest – der Versuch, die „Regel im Kopf" einer Maschine tatsächlich zu lokalisieren statt sie vorauszusetzen.
• Wie groß ist groß genug? Skalierungsgesetze, Chinchilla und die Vermessung der KI – wie viel Unterbestimmtheit sich durch Daten und Parameter kompensieren lässt, und wo die Grenze liegt.
• Der Fehler, der rückwärts lernt: Backpropagation, die Kettenregel und der Algorithmus hinter dem Deep Learning – der Mechanismus, über den der induktive Bias konkret wirksam wird.
• Bin ich morgen noch ich? Personale Identität vom Schiff des Theseus bis zum Teletransporter – ein verwandter Fall einer Frage, bei der kein innerer Tatsachenbefund die Antwort entscheidet.
• Was Mary nicht wusste: Das Wissensargument und das Rätsel des Bewusstseins – die Gegenprobe: ein Argument, das gerade auf eine nicht-öffentliche, rein innere Tatsache setzt.

Quellen

• Miller, A., Wright, C. et al.: Rule-Following and Intentionality. Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/rule-following/
• Wittgenstein, L. (1953): Philosophische Untersuchungen. Blackwell, Oxford (posthum). Einschlägig §§138–242, insbesondere §201 und §202. Deutscher Text u. a. beim Ludwig Wittgenstein Project: https://www.wittgensteinproject.org/w/index.php/Philosophische_Untersuchungen
• Kripke, S. A. (1982): Wittgenstein on Rules and Private Language. An Elementary Exposition. Harvard University Press, Cambridge (MA), 150 S., ISBN 0-674-95401-7. https://philpapers.org/rec/KRIWOR
• Baker, G. P., Hacker, P. M. S. (1984): Scepticism, Rules and Language. Basil Blackwell, Oxford, xiii + 140 S. https://philpapers.org/rec/BAKSRA
• McDowell, J. (1984): Wittgenstein on Following a Rule. Synthese 58, 325–363. https://doi.org/10.1007/BF00485246
• Boghossian, P. A. (1989): The Rule-Following Considerations. Mind 98(392), 507–549. https://philpapers.org/rec/BOGTRC
• Soames, S. (1997): Skepticism about Meaning: Indeterminacy, Normativity, and the Rule-Following Paradox. Canadian Journal of Philosophy, Supplementary Volume 23, 211–249.
• Wright, C. (2001): Rails to Infinity. Essays on Themes from Wittgenstein's Philosophical Investigations. Harvard University Press, Cambridge (MA).
• Wolpert, D. H. (1996): The Lack of a Priori Distinctions Between Learning Algorithms. Neural Computation 8(7), 1341–1390. https://doi.org/10.1162/neco.1996.8.7.1341

Hinweis: Das Regelfolgen-Paradox ist eine offene philosophische Debatte; keine der dargestellten Positionen gilt als abschließend durchschlagend, und auch die Frage, ob Kripkes Lesart Wittgenstein trifft, ist strittig – Kripke selbst hat sie nur als „Wittgenstein, wie das Argument ihn traf" präsentiert. Verlässlich belegt sind die bibliographischen Angaben sowie das zitierte lerntheoretische Resultat (Wolpert 1996), das ein mathematischer Satz unter präzisen Voraussetzungen ist – insbesondere Mittelung über alle Zielfunktionen und Fehlermessung außerhalb der Trainingsmenge – und deshalb nicht bedeutet, dass in der Praxis alle Algorithmen gleich gut seien. Wo dieser Artikel über den gesicherten Stand hinausgeht, ist dies durch „Ich bin der Meinung, dass ..." gekennzeichnet.

← All articles