Logik

Die Logik ist eine wichtige Teildisziplin der Philosophie. In dieser Einführung wird systematisch und anschaulich in verschiedene Theorien des logischen Schließens eingeführt. Die Darstellung der einzelnen Theorien ist dabei besonders auf die Anwendbarkeit der logischen Mittel ausgerichtet. Inhaltlich wird in die Syllogistik, die klassische Aussagenlogik sowie die Prädikatenlogik erster Stufe mit Identitätserweiterung eingeführt. Abgeschlossen wird die Einführung mit einem Exkurs zur Nicht-Klassischen Logik.
Dieses Lehrbuch für das Philosophiestudium eignet sich optimal zum Selbststudium und als Begleitlektüre für Einführungsseminare. Zahlreiche Aufgaben und die dazugehörigen Lösungen im Online-Material festigen das neu erlernte Wissen über Logik.

Sven Ender ist wissenschaftlicher Mitarbeiter am Institut für Philosophie der Universität Duisburg Essen.

Vorwort 91. Vorbemerkungen 111.1 Warum ist es überhaupt sinnvoll sich mit Argumentationstheorie und Logik auseinanderzusetzen? 111.2 Zu welchem Zweck erweist sich die Argumentationstheorie und Logik als geeignetes Mittel? 141.3 Argumentative Unterredungen und deren potenzielle Probleme 151.4 Probleme natürlicher Sprachen 181.5 Der Gegenstand der Argumentationstheorie und Logik 231.6 Was ist eine Aussage? 241.7 Was ist ein Argument? 291.8 Was ist ein Schluss? 331.9 Klärung letzter Fragen 391.10 Aufgaben 422. Syllogistik 452.1 Die Grundlagen der Syllogistik 452.2 Logisches Schließen in der Syllogistik 532.3 Grenzen der Syllogistik 722.4 Aufgaben zur Syllogistik 753. Aussagenlogik 773.1 Grundlagen der Aussagenlogik und die Bedeutung des Konjunktors 773.1.1 Die Bedeutung des Disjunktors 823.1.2 Die Bedeutung des Negators 823.1.3 Die Bedeutung des Subjunktors 833.1.4 Die Bedeutung des Bisubjunktors 843.1.5 Zu den restlichen Junktoren 843.1.6 Die Interpretation aussagenlogischer Formeln 843.1.7 Aufgaben zu den Grundlagen der Aussagenlogik 933.2 Aussagenlogische Schlüsse mit den bisherigen Mitteln überprüfen 943.2.1 Aufgaben zu aussagenlogischen Schlüssen 1033.3 Der erweiterte Interpretationsbegriff 1033.3.1 Aufgaben zum erweiterten Interpretationsbegriff 1133.4 Aussagenlogisches Kalkül des natürlichen Schließens 1133.4.1 Grundlagen eines Kalküls des natürlichen Schließens und die Regeln des Konjunktors 1143.4.2 Die Einführungs- und Beseitigungsregel des Disjunktors 1213.4.3 Die Einführungs- und Beseitigungsregel des Subjunktors 1263.4.4 Die Einführungs- und Beseitigungsregel des Bisubjunktors 1303.4.5 Die Einführungs- und Beseitigungsregel des Negators 1323.4.6 Die -Regel und die ¬¬-Regel 1353.4.7 Zusammenfassung der Regeln und weitere Ableitungen 1393.5 Heuristiken für aussagenlogische Beweise 1453.6 Aufgaben zum aussagenlogischen Kalkül des natürlichen Schließens 1544. Prädikatenlogik erster Stufe 1554.1 Grenzen der Aussagenlogik 1554.2 Die Unterscheidung von Prädikatoren und Nominatoren in der Prädikatenlogik erster Stufe 1564.3 Semantik der Prädikatenlogik erster Stufe 1574.3.1 Zu den Prädikatoren 1584.3.2 Zu den Nominatoren 1594.4 Elementaraussagen und die Syntax der Prädikatenlogik erster Stufe 1604.5 Die Einführungs- und Beseitigungsregel des Allquantors 1674.6 Die Einführungs- und Beseitigungsregeln des Existenzquantors 1714.6.1 Zusammenfassung der Einführungs- und Beseitigungsregeln und weitere Ableitungen 1784.7 Heuristiken für die Prädikatenlogik erster Stufe 1874.7.1 Heuristiken für die Konklusion 1874.7.2 Heuristiken für die Prämissen 1904.8 Aufgaben zur Prädikatenlogik erster Stufe 1925. Identität 1955.1 Eigenschaften der Identitätsrelation 1955.2 Zur Definition der Identitätsrelation 2075.3 Aufgaben zur Identität 2096. Ein Ausblick auf die Nicht-Klassische Logik 211Anhang 227Regelblatt 227Andere Notationen 228Literaturhinweise 229Zur Syllogistik 229Einführungen in die Aussagen- und Prädikatenlogik 229Nicht-Klassische Logik 229Literaturverzeichnis 231