Logik der Philosophie

Dr. Jörg Hardy lehrt an der Freien Universität Berlin.

Dr. Christoph Schamberger lehrt an der Humboldt-Universität zu Berlin.

Vorwort zur zweiten Auflage9
Einleitung10
Teil I: Philosophie und formale Logik13
1. Was ist Philosophie? Ein Vorschlag13
1.1 Wie Selbstverständlichkeiten zu Rätseln werden13
1.2 Die philosophische Perspektive15
1.3 Das stillschweigende Wissen16
1.4 Die Wörter17
1.5 Drei Merkmale philosophischer Fragen18
1.6 Philosophische Begriffsanalyse19
1.7 Von der Begriffsanalyse zur logischen Analyse22
1.8 Logik und gedankliche Autonomie23
1.9 Begriffsanalyse als Konfliktlösungsvorbereitung25
1.10 Wie wird man Philosoph? Ein Programm28
1.11 Kritik und Verteidigung31
1.12 Weshalb Konsistenz so wichtig ist33
2. Was ist formale Logik?37
2.1 Logische Gültigkeit39
2.2 Gegenbeispiele46
2.3 Sein-Sollen-Fehlschluss49
2.4 Intensionaler Fehlschluss51
Teil II: Aussagenlogik55
3. Wahrheitstafeln59
3.1 Wahrheitsbedingungen60
3.2 Ausfüllen von Wahrheitstafeln71
3.3 Logische Wahrheit77
4. Aussagenlogische Formalisierung81
4.1 Aussagen82
4.2 Konjunktion84
4.3 Disjunktion88
4.4 Negation91
4.5 Konditional93
4.6 Bikonditional95
4.7 Formalisierung von Argumenten96
5. Aussagenlogischer Kalkül des natürlichen Schließens103
5.1 Modus ponens104
5.2 Modus tollens108
5.3 Kettenschluss109
5.4 Kontraposition109
5.5 Negations-Beseitigung111
5.6 Negations-Einführung112
5.7 Konjunktions-Beseitigung118
5.8 Konjunktions-Einführung118
5.9 Disjunktiver Syllogismus120
5.10 Disjunktions-Einführung121
5.11 Bikonditional-Beseitigung122
5.12 Bikonditional-Einführung123
5.13 De Morgan’sche Gesetze124
5.14 Konditional-Ersetzung125
5.15 Kommutation125
6. Beweise mit Zusatzannahmen128
6.1 Konditional-Einführung128
6.2 Linke Beweisspalte130
6.3 Reductio ad absurdum132
7. Baumkalkül143
Teil III: Prädikatenlogik151
8. Prädikatenlogische Formalisierung155
8.1 Namen155
8.2 Prädikate157
8.3 Quantoren163
8.4 Allaussagen168
8.5 Beziehungen174
8.6 Formeln mit mehreren Quantoren175
8.7 Prädikatenlogik und Philosophie176
9. Verhältnis zwischen Aussagen- und Prädikatenlogik177
10. Prädikatenlogischer Kalkül des natürlichen Schließens179
10.1 Quantorentausch179
10.2 Allquantor-Beseitigung181
10.3 Existenzquantor-Beseitigung182
10.4 Existenzquantor-Einführung185
10.5 Allquantor-Einführung188
10.6 Prädikatenlogischer Kettenschluss192
10.7 Kontraposition193
10.8 Die Wahl der Formalisierung194
10.9 Unterschiede zwischen Aussagen- und Prädikatenlogik196
Teil IV: Meisterargumente203
11. Das Wiedererinnerungs-Argument in Platons Phaidon203
11.1 Das Glücksargument des Phaidon204
11.2 Das Wissensargument206
11.3 Das Argument zugunsten eines vorgeburtlichen Wissenserwerbs210
11.4 Kommentar: Quod (non) erat demonstrandum oder:
Argumente mit unvermeidlich hypothetischen Konklusionen212
12. Niemals trügt der Schein? – Ein staunenswertes Argument in Platons Theaitet213
13. Wissen und Erklärungen im Theaitet216
13.1 Wissen und wahre Meinungen vor Gericht216
13.2 Ein Traum über Wissen und Erklärungen219
Anhang223
Musterlösungen223
Lehrbücher zur Logik und Argumentationstheorie248
Register249
Verzeichnis der Symbole, Wahrheitstafeln und Regeln252