Meldungen

Wittgenstein hat sich im Tractaus 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 gegen Frege 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.