Sprache, Logik, Mathematik

Logik gehört zum Zentrum der Philosophie. In einführenden Darstellungen wird diese Sachlage oft nur unzulänglich verdeutlicht. Hier soll das vorliegende Buch Abhilfe schaffen. Zunächst wird von einer elementaren Basis aus, unter Einbeziehung sprachphilosophischer Gesichtspunkte, die Prädikatenlogik mit Identität und Funktionszeichen entwickelt. Diese Logik hat eine Geschichte, und sie ist von Menschen gemacht, aus deren Leben das eine oder andere erhellende Detail in die Darstellung einbezogen wird. Mit der Formulierung und dem Beweis eines „Prä-Gödelsatzes“ werden Leserinnen und Leser schließlich in die Theorie axiomatischer Systeme eingeführt und in die Lage versetzt, auf einem höheren Niveau die Erkenntnissituation in der Mathematik zu reflektieren. Dieses Lehrbuch führt in allgemeinverständlicher Form in die klassische Logik und in Grundlagenfragen der Mathematik ein, wobei es die entwickelte Theorie an den Lebenszusammenhang und den konkreten Denkweg einiger herausragender Akteure anbindet.