Abstract

Der Autor hat sich das Ziel gesetzt, verschiedene Ansatze zur formalen Logik unter einer einheitlichen Fragestellung darzustellen und zu erortern. Das Buch beginnt deshalb mit der Aristotelischen Syllogistik als einer historisch bedeutsamen Auspragung der formalen Logik. Dann wird durch die schrittweise Erweiterung der einfachen Aussagenlogik zur klassischen Quantorenlogik in einen wesentlichen Teil der mathematischen Logik eingefuhrt. Es folgen einige Anwendungen der formalen Logik, Ansatze zu einer Theorie der Argumentation, ein kurzer Abriss der Geschichte der formalen Logik und ein Uberblick uber andere Logiken als die bereits genannten. Ein Kapitel mit Aufgaben und deren Losungen soll die aktive Auseinandersetzung mit dem Inhalt des Buches fordern."