23. Elemente der Mengenlehre und das Verfahren des Beweises durch vollständige Induktion

Kapitel in diesem Buch

1. Frontmatter i
2. Vorwort zur vierten Auflage vii
3. Vorwort zur dritten Auflage viii
4. Vorwort zur zweiten Auflage ix
5. Vorwort xi
6. Inhaltsverzeichnis xiii
7. I. Grundbegriffe
8. 1. Logik und Argumentation 1
9. 2. Argumente 2
10. 3. Aussagesätze 13
11. 4. Gute Argumente – Gültigkeit und Schlüssigkeit 19
12. 5. Noch einmal: wahr, gültig, schlüssig 24
13. 6. Deduktiv und nicht-deduktiv gültige Argumente 28
14. 7. Gültigkeit und die logische Form von Argumenten 34
15. 8. Logische Form und die Bedeutung der in einem Argument enthaltenen logischen Ausdrücke 39
16. 9. Die Problematik der logischen Form umgangssprachlicher Aussagesätze 43
17. II. Aussagenlogik
18. 10. Die Sprache AL 51
19. 11. Grundbegriffe der Logik der Sprache AL 66
20. 12. Die Wahrheitstafelmethode 74
21. 13. Die Wahrheitsbaummethode 92
22. *14. Der Kalkül AK 113
23. 15. Übersetzung umgangssprachlicher Sätze in die Sprache AL 132
24. 16. Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln 161
25. III. Prädikatenlogik
26. 17. Die Sprache PL 172
27. 18. Grundbegriffe der Logik der Sprache PL 197
28. 19. Das Wahrheitsbaumverfahren für PL 207
29. *20. Der Kalkül PK 225
30. 21. Übersetzung umgangssprachlicher Sätze in die Sprache PL 240
31. 22. Beurteilung umgangssprachlicher Sätze und Argumente mit prädikatenlogischen Mitteln 263
32. *IV. Metalogik
33. 23. Elemente der Mengenlehre und das Verfahren des Beweises durch vollständige Induktion 275
34. 24. Die formale Semantik der Sprache PL 285
35. 25. Korrektheit und Vollständigkeit von AK 305
36. 26. Korrektheit und Vollständigkeit von PK 319
37. 27. Korrektheit und Vollständigkeit der Wahrheitsbaumverfahren für AL und PL 337
38. V. Anhang
39. Lösung der Übungsaufgaben 350
40. Quellennachweise für die Beispielargumente 404
41. Weiterführende Literatur 406
42. Register 408