Wittgenstein liest Frege

Wittgenstein hat sich im Tractatus und in seinen Tagebüchern aus dem Ersten Weltkrieg intensiv mit Frege auseinandergesetzt, vor allem mit dessen Programm einer formalen Sprache des Denkens und der logischen Begründung der Arithmetik.

Kai Denker rekonstruiert Wittgensteins Antwort auf Freges Projekt einer Begriffsschrift mit dem Ergebnis, dass Wittgenstein im Tractatus die typentheoretischen Einwände Russells radikalisiert und die Aporien jedes formalsprachlichen Projekts herausarbeitet. Damit geht Wittgenstein auch über Russell hinaus: Aus dem Selbstbezüglichkeitsverbot der Typentheorie folgt, dass der vollständigen Formalisierung der Sprache prinzipielle Grenzen gesetzt sind.

Gegenüber antimetaphysischen oder mystizistischen Lesarten des Tractatus kann Denker zeigen, dass bereits der frühe Wittgenstein den Widerstreit zwischen formalen und nicht-formalen Sprachen ernst genommen und als formal unlösbar erkannt hat.