Vorwort

Kapitel in diesem Buch

1. Frontmatter I
2. Vorwort IV
3. Vorwort zur zweiten Auflage VI
4. Inhaltsverzeichnis VII
5. Teil I: Grundkurs in Aussagenlogik und elementarer Prädikatenlogik
6. 1. Allgemeine Grundlagen 1
7. Sektion A: Aussagenlogik (AL)
8. 2. Junktoren und ihre Wahrheitstafeln 33
9. 3. Aussagenlogische Sprache 45
10. 4. Aussagenlogische Semantik I: Die Wahrheitstafelmethode 55
11. 5. Aussagenlogische Semantik II: Die Reduktio ad Absurdum Methode 71
12. 6. Rekonstruktion natursprachlicher Sätze und Argumente 89
13. 7. Wichtige Regeln und Theoreme der Aussagenlogik 113
14. 8. Deduktive Methode 123
15. Sektion B: Elementare Prädikatenlogik (PL)
16. 9. Grundlagen der Prädikatenlogik 151
17. 10. Die Sprache der Prädikatenlogik 169
18. 11. Rekonstruktion natursprachlicher Sätze in der PL 175
19. 12. Deduktive Methode in der Prädikatenlogik 185
20. Teil II: Aufbaukurs in Prädikatenlogik und Metalogik
21. Sektion C: Fortgeschrittene Prädikatenlogik (inklusive Aussagenlogik)
22. 13. Äquivalenzumformungen in der Aussagen- und Prädikatenlogik 211
23. 14. Beweistheorie: Kalkülarten in Aussagenund Prädikatenlogik 233
24. 15. Modelltheorie: Semantik der Prädikatenlogik 273
25. 16. Prädikatenlogik mit Identität und Funktionszeichen (PL=) 295
26. 17. Anwendungen der PL= 309
27. Sektion D: Metalogik
28. 18. Informelle und formelle Mengenlehre 335
29. 19. Induktive Beweise und Metatheoreme der PL 357
30. 20. Korrektheit und Vollständigkeit der PL 377
31. 21. Exkurs: Metalogik und die Grenzen der PL 393
32. Literaturverzeichnis 419
33. Symbol- und Abkürzungsverzeichnis 424
34. Übersicht über Definitionen, Merksätze und Abbildungen 426
35. Sachregister 428
36. Personenregister 434