Logik

Üblicherweise wird in der Logik-Ausbildung viel Zeit auf die Vermittlung metatheoretischer Zusammenhänge verwendet. Das Lösen von Übungsaufgaben - unerläßslich für das Verständnis der Theorie - ist zumeist Teil der erwarteten selbständigen Arbeit der Studierenden. Insbesondere Logik-Lehrbücher für Philosophen bieten jedoch häufig wenige oder keine Aufgaben. Wenn Aufgaben vorhanden sind, fehlen oft die Lösungen oder sie sind schwer nachzuvollziehen. Das vorliegende Trainingsbuch enthält Aufgaben mit Lösungen, die aus Klausur- und Tutoriumsaufgaben in einem 2-semestrigen Grundkurs Logik für Philosophen entstanden sind. Ausführliche Kommentare machen die Lösungswege leicht verständlich. So übt der Leser, Entscheidungsverfahren anzuwenden, Theoreme zu beweisen u. ä., und erwirbt damit elementare logische Fertigkeiten. Erwartungsgemäß beziehen sich die meisten Aufgaben auf die Aussagen- und Quantorenlogik, aber auch andere logische Gebiete werden in kurzen Abschnitten behandelt. Diese Aufgabensammlung ist kein weiteres Lehrbuch, sondern soll die vielen vorhandenen Logik-Lehrbücher ergänzen.