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 Formalisierung 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-Beseitigung1225.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 mehreren Quantoren1758.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 Existenzquantor-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