Das Werk bietet eine Einführung in die moderne Logik mit Anwendungen in der Philosophie und den Wissenschaften, die mathematischen Standards genügt, zugleich jedoch Wert legt auf Anschaulichkeit und pädagogische Sorgfalt. Das Werk setzt sich mehrere Ziele: 1. Logische Theoriebildung; 2. Philosophische Anwendungen in Sprachphilosophie, Ontologie, Erkenntnistheorie, Philosophie der Mathematik; 3. Anwendungen in den Wissenschaften: Methodologie (Definitions- und Argumentationslehre, Mengenlehre, Modellierung); Interpretation und Reduktion von Theorien; Wahrscheinlichkeit als Logik der Wissenschaften; Kausalität; 4. Neben der Vermittlung von Standard-Wissen fließen eigene Forschungen in die Darstellung ein, die den Stoff vertiefen und aktuelle Forschungsthemen aufgreifen.

Das Werk richtet sich an alle, die Kenntnisse in der Logik auf zwei Ebenen erwerben wollen: (i) Logik als formales Instrument zur Modellierung logischer Zusammenhänge sowie (ii) Logik als Gegenstand der Untersuchung (Metalogik). In seiner ausführlichen Darstellungsweise eignet sich das Werk gleichermaßen als Lehrbuch wie für das Selbststudium und führt zugleich an die Forschungsliteratur heran.

Das Werk erscheint in zwei Bänden. Band 1 enthält eine Einführung in die klassische Logik bis hin zum Vollständigkeitssatz der Prädikatenlogik. Band 2 befaßt sich mit Modallogik, Theorien der ersten Stufe (Mereologie, Arithmetik, Mengentheorie), den Gödelschen Unvollständigkeitssätzen sowie der Logik der Wissenschaften.