Der Grundkurs ist voraussetzungsfrei geschrieben und fuhrt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Pradikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schlieens. Logische Zusammenhange werden in Verbindung mit sorgfaltig ausgewahlten Ubungsbeispielen - inklusive Losungen - einsichtig gemacht. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Texte und Argumente liegt besonderes Augenmerk. Zusammenhange zwischen alternativen logischen Notationen und Techniken, die anfangs oft Schwierigkeiten bereiten, werden sorgfaltig erklart.

Der anschlieende Aufbaukurs schlagt die Brucke zwischen einer philosophischen Logikeinfuhrung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer grundlichen Einfuhrung in die volle Pradikatenlogik und ihrer mengentheoretischen Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollstandigkeit der Pradikatenlogik, zur Entscheidbarkeit der monadischen und Unentscheidbarkeit der vollen Pradikatenlogik sowie zur Unvollstandigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklart.

Abgerundet wird der Band durch zahlreiche Exkurse zur philosophischen Vertiefung logischer Grundlagenfragen. Zahlreiche Ubungsbeispiele mit Losungen zum Download vertiefen den Stoff. Die Losungen werden ab Oktober 2018 verfugbar sein.