Einführung in die formale Logik für Philosophen

Dr. Thomas Zoglauer ist außerplanmäßiger Professor an der Brandenburgischen Technischen Universität Cottbus.

Vorwort7
1. Sprachphilosophische Grundlagen der Logik9
1.1 Syntax, Semantik, Pragmatik9
1.2 Logische Paradoxien14
1.3 Definitionslehre18
1.4 Aussagen und Aussageformen21
1.5 Wahrheitstheorien28
2. Aussagenlogische Verknüpfungen35
2.1 Die Negation35
2.2 Die Konjunktion36
2.3 Die Disjunktion38
2.4 Die Implikation41
2.5 Die Äquivalenz43
2.6 Andere Junktoren44
3. Gesetze der Aussagenlogik47
3.1 Wahrheitstafeln47
3.2 Die Methode des indirekten Beweises50
3.3 Vereinfachung komplexer Ausdrücke51
3.4 Konjunktive und disjunktive Normalformen52
3.5 Junktorenbasen55
4. Logisches Schließen 58
4.1 Induktive und deduktive Schlüsse58
4.2 Wichtige Schlussregeln60
4.3 Kalkül des natürlichen Schließens68
5. Prädikatenlogik72
5.1 Subjekt und Prädikat72
5.2 Intension und Extension von Begriffen74
5.3 Relationen77
5.4 Quantoren79
5.5 Der Kalkül des natürlichen Schließens für die Prädikatenlogik81
6. Urteilslehre und Syllogistik87
6.1 Urteile87
6.2 Die Rabenparadoxie von Hempel92
6.3 Syllogismen94
7. Axiomatik102
7.1 Axiome der Aussagenlogik102
7.2 Vollständigkeit und Widerspruchsfreiheit der Aussagenlogik107
7.3 Axiome der Prädikatenlogik108
7.4 Die Peano-Axiome110
7.5 Die Gödelschen Theoreme112
8. Modallogik116
8.1 Modaloperatoren116
8.2 Ein Axiomensystem der Modallogik: Das System K119
8.3 Das System T123
8.4 Das System S4124
8.5 Das System S5125
8.6 Semantik der Modallogik127
8.7 Modale Prädikatenlogik131
9. Deontische Logik135
9.1 Grundriss der Normenlogik135
9.2 Paradoxien der Normenlogik137
9.3 Bedingte Gebote142
9.4 Normative und deontische Widersprüche145
10. Temporale Logik150
10.1 Das Seeschlacht-Dilemma150
10.2 Der R-Kalkül153
10.3 Das Minimalsystem der temporalen Logik157
10.4 Spezielle Zeitordnungen160
11. Aufgaben164
12. Lösungen ausgewählter Aufgaben178
13. Literatur184