Einführung in die Logik (eBook)

lt;!doctype html public "-//w3c//dtd html 4.0 transitional//en">

Ansgar Beckermann, Universität Bielefeld.

Vorwort zur dritten Auflage 8
Vorwort zur zweiten Auflage 9
Vorwort 11
Inhaltsverzeichnis 14
I Grundbegriffe 18
1 Logik und Argumentation 18
2 Argumente 19
3 Aussagesätze 30
4 Gute Argumente – Gültigkeit und Schlüssigkeit 36
5 Noch einmal: wahr, gültig, schlüssig 41
6 Deduktiv und nicht-deduktiv gültige Argumente 45
7 Gültigkeit und die logische Form von Argumenten 51
8 Logische Form und die Bedeutung der in einem Argument enthaltenen logischen Ausdrücke 56
9 Die Problematik der logischen Form umgangssprachlicher Aussagesätze 60
II Aussagenlogik 68
10 Die Sprache AL 68
10.1 Verwenden und Erwähnen – Objekt- und Metasprache 69
10.2 Die Syntax von AL 72
10.3 Die Semantik von AL 76
11 Grundbegriffe der Logik der Sprache AL 83
12 Die Wahrheitstafelmethode 91
13 Die Wahrheitsbaummethode 109
14 Der Kalkül AK 130
15 Übersetzung umgangssprachlicher Sätze in die Sprache AL 149
15.1 Negationen 154
15.2 Konjunktion 157
15.3 Adjunktionen 163
15.4 Subjunktionen 167
15.5 Bisubjunktionen 173
16 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln 178
III Prädikatenlogik 189
17 Die Sprache PL 189
17.1 Die Syntax von PL 190
17.2 Die Semantik von PL 203
18 Grundbegriffe der Logik der Sprache PL 214
19 Das Wahrheitsbaumverfahren für PL 224
20 Der Kalkül PK 242
21 Übersetzung umgangssprachlicher Sätze in die Sprache PL 257
21.1 Atomare Sätze 258
21.2 Komplexe Sätze 261
21.3 Quantifizierte Sätze 266
22 Beurteilung umgangssprachlicher Sätze und Argumente mit prädikatenlogischen Mitteln 280
IV Metalogik 292
23 Elemente der Mengenlehre und das Verfahren des Beweises durch vollständige Induktion 292
23.1 Grundzüge der Mengenlehre 292
23.2 Beweise durch vollständige Induktion 300
24 Die formale Semantik der Sprache PL 302
25 Korrektheit und Vollständigkeit von AK 322
26 Korrektheit und Vollständigkeit von PK 336
27 Korrektheit und Vollständigkeit der Wahrheitsbaumverfahren für AL und PL 354
27.1 Korrektheit und Vollständigkeit des Wahrheitsbaumverfahrens für AL 354
27.2 Korrektheit und Vollständigkeit des Wahrheitsbaumverfahrens für PL 360
V Anhang 367
Lösungen ausgewählter Übungsaufgaben 367
Quellennachweise für die Beispielargumente 391
Weiterführende Literatur 393
Register 395