Wolff, Michael: Die Vollständigkeit der kantischen UrteilstafelMit einem Essay über Freges Begriffsschrift
Für die Rekonstruktion dieses Beweises kommt es zunächst auf eine genaue Analyse der Behauptungen an, die Kant mit der Urteilstafel aufstellt. Diese Analyse präsentiert das erste Kapitel. Das zweite bietet dann einen ausführlichen Satz-für-Satz-Kommentar zu der für den Vollständigkeitsbeweis einschlägigen Textpassage und rekonstruiert ihn in allen Details. Das dritte Kapitel schließlich untersucht den Begriff von ›formaler Logik‹, den Kant voraussetzt und von dem seine Behauptung abhängt, die in der Urteilstafel vorgenommene Aufzählung logischer Formen sei vollständig. Der im Anhang abgedruckte Essay behandelt die bis heute kaum beachtete Auseinandersetzung, die Gottlob Frege in seiner »Begriffsschrift« von 1879 mit der kantischen Urteilstafel Punkt für Punkt geführt hat. Freges Kritik an ihr wird im ersten Teil des Anhangs dargestellt und erläutert. Im zweiten Teil wird dann gezeigt, daß diese Kritik in allen Punkten auf grundlegenden Irrtümern und Mißverständnissen beruht. Als besonders schwerwiegender und folgenreicher Irrtum stellt sich Freges Ansicht heraus, die Regeln dessen, was Kant als formale Logik ansah, seien aus dem Axiomensystem der »Begriffsschrift« ableitbar.
|