1 Aussagenlogik.- 1.1 Aussagenlogische Strukturen der Umgangssprache.- 1.2 Theorie der Wahrheitsfunktionen.- 1.3 Eine Axiomatisierung der Aussagenlogik.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Strukturen in der Umgangssprache.- 2.2 Die Sprache der Prädikatenlogik.- 2.3 Der Kalkül P 1.- 2.4 Formalisierungen des natürlichen Schließens.- 3 Erweiterungen und Anwendungen der Prädikatenlogik.- 3.1 Die Identität.- 3.2 Kennzeichnungs- und Funktionsterme.- 3.3 Elementare Systeme.- 4 Die Prädikatenlogik der zweiten Stufe.- 4.1 Die Sprache der Prädikatenlogik der zweiten Stufe.- 4.2 Die Unvollständigkeit der Prädikatenlogik der zweiten Stufe.- 4.3 Der Vollständigkeitssatz von Henkin.- 4.4 Relationsprodukte und Relationsketten * *.- 4.5 Die Kategorizität der Peanoaxiome.- 5 Klassenlogik.- 5.1 Begriffe und Klassen.- 5.2 Die elementare Klassenalgebra 3°.- 5.3 Relationen und Funktionen 3*.- 5.4 Ein logisches Modell der Peanoaxiome.- 5.5 Das Problem der Geschlossenheit des Aufbaus der Logik.- 5.6 Die logischen Antinomien.- 6 Einige Themen aus der Geschichte der Logik.- 6.1 Die aristotelische Syllogistik..- 6.2 Die BooLESche Klassenlogik.- 6.3 FREGES Definitionslehre.- Verzeichnis der Abkürzungen und Symbole.- Verzeichnis der Axiome und Definitionen.- Verzeichnis der Theoreme.
