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.