Einführung in die Logik

Einführungen in die Logik gibt es viele. Dieses behandelt die Aussagenlogik und die Prädikatenlogik, ohne Widerspruchsfreiheit und Vollständigkeit. Der Autor Sven Rosenkranz geht behutsam und so ausführlich vor, dass sich seine Einführung sehr gut zum Selbststudium eignet. Zusätzlich wird eine Vorgehensweise ("Leitfaden") fürs Beweisen sowohl für die Aussagenlogik als auch für die Prädikatenlogik geboten. Auch das hilft Anfängern und allen, die nicht in Seminaren nachfragen können. Hervorragend finde ich die Einleitung "Was ist Logik und wozu ist sie gut?", da sie motiviert und den Platz der Logik zeigt. Ebenso hilfreich ist das abschliessende "Wann kann ein Argument überzeugen?", in dem beliebte Fehlschlüsse gezeigt werden und verdeutlicht wird, warum logische Schlüsse (obwohl die Konklusion immer irgendwie schon in den Prämissen steckt) Erkenntnis erweiternd sein können. In 14 Übungen wird der Stoff vertieft. Hier zeigt sich aber, dass das Werk wohl für Logikseminare im Grundstudium ausgerichtet ist: es fehlen Lösungen oder zumindest Fingerzeige bei den kritischen Aufgaben. Ich vermisste auch einen Index, der recht knapp ausfallen könnte. Zu den drei Klausurvorschlägen werden Musterlösungen gegeben. Der Studierende kann sich damit sehr gut vorbereiten. Das ideale Logik-Lehrbuch für jeden wird es nie geben. Jeder Lernende spricht auf eine andere Herangehensweise an. Für das Selbststudium und für Logikseminare wird diese Einführung in die Logik zur ersten Wahl gehören.