Aussagen- und Prädikatenlogik

Dr. Raphael van Riel, Dilthey-Fellow der Volkswagenstiftung mit dem Projekt "A Study in Explanatory Power" an der Universität Duisburg-EssenProf. Dr. Gottfried Vosgerau, seit 2014 Professor für Philosophie des Geistes und der Kognition an der Heinrich-Heine-Universität Düsseldorf

• 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.