1 Einleitung.- 2 Grundbegriffe.- 3 Grundlagen der Aussagenlogik.- 4 Semantik der Aussagenlogik.- 5 Systematik der Junktoren.- 6 Semantische Beweise.- 7 Schlussfiguren und die Idee eines Kalküls.- 8 Der Kalkül des natürlichen Schließens.- 9 Grundlagen der Prädikatenlogik.- 10 Prädikatenlogik und natürliche Sprache.- 11 Semantik der Prädikatenlogik.- 12 Ein Kalkül für die Prädikatenlogik.- 13 Identität von Individuen.- 14Aristotelische Syllogistik.- 15 Verzeichnis der Definitionen.- 16 Verzeichnis der Beweisregeln. Skryť popis