Diese neu erarbeitete philosophische Einführung in die formale Logik zeichnet sich durch Klarheit und Übersichtlichkeit sowie durch didaktische Kompetenz aus. Sie behandelt nach einer grundsätzlichen Einleitung die Gebiete der Aussagenlogik und der Prädikatenlogik jeweils in paralleler Gliederung. Ein Kapitel über den mathematischen Zugang zur Aussagenlogik schließt den Hauptteil des Lehrbuchs ab. Der Anhang bringt die Lösungen der zahlreichen Übungen, die sich aus der Anwendung des Textes ergeben. Hier findet die Erfolgskontrolle der Lektüre statt.
Dieses Buch hat mich massivst verwirrt und hätte ich es nicht in einem Seminar gelesen, wäre ich daran kaputt gegangen. Wenn man aber die wesentlichen Passagen erklärt bekommt, kann es einen Einstieg in die Logik erleichtern.