Logik der Philosophie - Einführung in die Logik und Argumentationstheorie

Was ist Philosophie? Wie funktioniert das logisch korrekte Schließen? Diese Fragen beantwortet dieses didaktisch hervorragende Lehrbuch in leserfreundlicher Weise. Es führt ein in das spezifisch philosophische Nachdenken, und es veranschaulicht den Nutzen der formalen Logik für die Philosophie und das Leben. Wer das Buch gelesen hat, wird philosophische Gedankengänge genauer verstehen und selbst logisch korrekt argumentieren können.Die besonderen (und neuen) beiden Eigenschaften der Einführung sind (1) die Verbindung der formalen Logik mit der umgangssprachlichen Darstellung und Diskussion von Argumenten sowie (2) die Verbindung des formal-logischen Instrumentariums mit der Argumentationstheorie. So liefert das Buch nicht nur eine präzise Darstellung des Kalküls des natürlichen Schließens, mit vielen Erläuterungen und Beispielen, sondern es behandelt auch philosophisch interessante und wirklich relevante Fragen anhand philosophischer Originaltexte.Die Einführung orientiert sich an den Anforderungen der Logik-Module in Bachelor-Studiengängen. Es bietet zahlreiche Übungsaufgaben mit kommentierten Lösungen und eignet sich daher für das Selbststudium ebenso wie als Begleitlektüre zu einem Logik-Kurs. Vorkenntnisse sind nicht erforderlich.

Inhaltsverzeichnis:

Vorwort zur zweiten Auflage9Einleitung10Teil I: Philosophie und formale Logik131. Was ist Philosophie? Ein Vorschlag131.1 Wie Selbstverständlichkeiten zu Rätseln werden131.2 Die philosophische Perspektive151.3 Das stillschweigende Wissen161.4 Die Wörter171.5 Drei Merkmale philosophischer Fragen181.6 Philosophische Begriffsanalyse191.7 Von der Begriffsanalyse zur logischen Analyse221.8 Logik und gedankliche Autonomie231.9 Begriffsanalyse als Konfliktlösungsvorbereitung251.10 Wie wird man Philosoph? Ein Programm281.11 Kritik und Verteidigung311.12 Weshalb Konsistenz so wichtig ist332. Was ist formale Logik?372.1 Logische Gültigkeit392.2 Gegenbeispiele462.3 Sein-Sollen-Fehlschluss492.4 Intensionaler Fehlschluss51Teil II: Aussagenlogik553. Wahrheitstafeln593.1 Wahrheitsbedingungen603.2 Ausfüllen von Wahrheitstafeln713.3 Logische Wahrheit774. Aussagenlogische Formalisierung814.1 Aussagen824.2 Konjunktion844.3 Disjunktion884.4 Negation914.5 Konditional934.6 Bikonditional954.7 Formalisie rung von Argumenten965. Aussagenlogischer Kalkül des natürlichen Schließens1035.1 Modus ponens1045.2 Modus tollens1085.3 Kettenschluss1095.4 Kontraposition1095.5 Negations-Beseitigung1115.6 Negations-Einführung1125.7 Konjunktions-Beseitigung1185.8 Konjunktions-Einführung1185.9 Disjunktiver Syllogismus1205.10 Disjunktions-Einführung1215.11 Bikonditional-Beseitigung 1225.12 Bikonditional-Einführung1235.13 De Morgan'sche Gesetze1245.14 Konditional-Ersetzung1255.15 Kommutation1256. Beweise mit Zusatzannahmen1286.1 Konditional-Einführung1286.2 Linke Beweisspalte1306.3 Reductio ad absurdum1327. Baumkalkül143Teil III: Prädikatenlogik1518. Prädikatenlogische Formalisierung1558.1 Namen1558.2 Prädikate1578.3 Quantoren1638.4 Allaussagen1688.5 Beziehungen1748.6 Formeln mit mehreren1758.7 Prädikatenlogik und Philosophie1769. Verhältnis zwischen Aussagen- und Prädikatenlogik17710. Prädikatenlogischer Kalkül des natürlichen Schließens17910.1 Quantorentausch17910.2 Allquantor-Beseitigung18110.3 E xistenzquantor-Beseitigung18210.4 Existenzquantor-Einführung18510.5 Allquantor-Einführung18810.6 Prädikatenlogischer Kettenschluss19210.7 Kontraposition19310.8 Die Wahl der Formalisierung19410.9 Unterschiede zwischen Aussagen-und Prädikatenlogik196Teil IV: Meisterargumente20311. Das Wiedererinnerungs-Argument in Platons Phaidon20311.1 Das Glücksargument des Phaidon20411.2 Das Wissensargument20611.3 Das Argument zugunsten eines vorgeburtlichen Wissenserwerbs21011.4 Kommentar: Quod (non) erat demonstrandum oder:Argumente mit unvermeidlich hypothetischen Konklusionen21212. Niemals trügt der Schein? - Ein staunenswertes Argument in Platons Theaitet21313. Wissen und Erklärungen im Theaitet21613.1 Wissen und wahre Meinungen vor Gericht21613.2 Ein Traum über Wissen und Erklärungen219Anhang223Musterlösungen223Lehrbücher zur Logik und Argumentationstheorie248Register249Verzeichnis der Symbole, Wahrheitstafeln und Regeln252