دانلود کتاب Einführung in die Logik

فهرست مطالب :

I Grundbegriffe\n1 Logik und Argumentation\n2 Argumente\n3 Aussagesätze\n4 Gute Argumente - Gültigkeit und Schlüssigkeit\n5 Noch einmal: wahr, gültig, schlüssig\n6 Deduktiv und nicht-deduktiv gültige Argumente\n7 Gültigkeit und die logische Form von Argumenten\n8 Logische Form und die Bedeutung der in einem Argument enthaltenen logischen Ausdrücke\n9 Die Problematik der logischen Form umgangssprachlicher Aussagesätze\nII Aussagenlogik\n10 Die Sprache AL\n10.1 Verwenden und Erwähnen - Objekt- und Metasprache\n10.2 Die Syntax von AL\n10.3 Die Semantik von AL\n11 Grundbegriffe der Logik der Sprache AL\n12 Die Wahrheitstafelmethode\n13 Die Wahrheitsbaummethode\n*14 Der Kalkül AK\n15 Übersetzung umgangssprachlicher Sätze in die Sprache AL\n15.1 Negationen\n15.2 Konjunktion\n15.3 Adjunktionen\n15.4 Subjunktionen\n15.5 Bisubjunktionen\n16 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln\nIII Prädikatenlogik\n17 Die Sprache PL\n17.1 Die Syntax von PL\n17.2 Die Semantik von PL\n18 Grundbegriffe der Logik der Sprache PL\n19 Das Wahrheitsbaumverfahren für PL\n*20 Der Kalkül PK\n21 Übersetzung umgangssprachlicher Sätze in die Sprache PL\n21.1 Atomare Sätze\n21.2 Komplexe Sätze\n21.3 Quantifizierte Sätze\n22 Beurteilung umgangssprachlicher Sätze und Argumente mit prädikatenlogischen Mitteln\n*IV Metalogik\n23 Elemente der Mengenlehre und das Verfahren des Beweises durch vollständige Induktion\n23.1 Grundzüge der Mengenlehre\n23.2 Beweise durch vollständige Induktion\n24 Die formale Semantik der Sprache PL\n25 Korrektheit und Vollständigkeit von AK\n26 Korrektheit und Vollständigkeit von PK\n27 Korrektheit und Vollständigkeit der Wahrheitsbaumverfahren für AL und PL\n27.1 Korrektheit und Vollständigkeit des Wahrheitsbaumverfahrens für AL\n27.2 Korrektheit und Vollständigkeit des Wahrheitsbaumverfahrens für PL\nV Anhang\nLösungen ausgewählter Übungsaufgaben\nQuellennachweise für die Beispielargumente\nWeiterführende Literatur\nRegister