Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form?

Der Autor hat sich das Ziel gesetzt, verschiedene Ansätze zur formalen Logik unter einer einheitlichen Fragestellung darzustellen und zu erörtern. Das Buch beginnt deshalb mit der Aristotelischen Syllogistik als einer historisch bedeutsamen Ausprägung der formalen Logik. Dann wird durch die schrittweise Erweiterung der einfachen Aussagenlogik zur klassischen Quantorenlogik in einen wesentlichen Teil der mathematischen Logik eingeführt. Es folgen einige Anwendungen der formalen Logik, Ansätze zu einer Theorie der Argumentation, ein kurzer Abriß der Geschichte der formalen Logik und ein Überblick über andere Logiken als die bereits genannten. Ein Kapitel mit Aufgaben und deren Lösungen soll die aktive Auseinandersetzung mit dem Inhalt des Buches fördern.