Klassische Logik

Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format.

1;Inhaltsverzeichnis;2 2;VORWORT;5 3;Teil A Einführung;9 3.1;LEKTION 1KLASSISCHE LOGIK;11 4;Teil BAussagenlogik;37 4.1;LEKTION 2WAHRHEITSWERTTABELLEN;39 4.2;LEKTION 3AUSSAGENLOGISCHE FORMALISIERUNG;64 4.3;LEKTION 4AUSSAGENLOGISCHER KALKÜL;97 4.4;LEKTION 5AUSSAGENLOGISCHE SCHLUSSREGELN;131 4.5;LEKTION 6KORREKTHEIT UND VOLLSTÄNDIGKEIT;149 5;Teil CQuantorenlogik;189 5.1;LEKTION 7EINFÜHRUNG IN DIE QUANTORENLOGIK;191 5.2;LEKTION 8Q-INTERPRETATIONEN;215 5.3;LEKTION 9QUANTORENLOGISCHE FORMALISIERUNG;237 5.4;LEKTION 10QUANTORENLOGISCHER KALKÜL;275 5.5;LEKTION 11IDENTITÄT;305 5.6;LEKTION 12UNENTSCHEIDBARKEIT DER QUANTORENLOGIK;332 6;NACHWORT;367 7;VERZEICHNIS DER ZITIERTEN SCHRIFTEN;368 8;Teil DAnhang;373 8.1;LISTE DER WICHTIGSTEN AUSSAGENLOGISCHENSCHLUSSREGELN;375 8.2;LISTE DER GÜLTIGEN SYLLOGISMEN;380 8.3;LISTE DER WICHTIGSTEN QUANTORENLOGISCHENSCHLUSSREGELN;385 8.4;VERZEICHNIS DER ABKÜRZUNGEN UND SYMBOLE;392 9;INDEX;396