Grundzüge der Logik

Das Buch eignet sich sowohl als Lehrbuch als auch für Interessierte, die sich im Selbststudium mit den Grundlagen der klassischen zweiwertigen Logik und ihrer Verbindung zur natürlichen Sprache vertraut machen möchten. Es bietet einen leicht erlernbaren Einstieg in das formale logische Schließen und richtet sich an Leser, die sich nicht zwingend mit formalen Argumentationstheorien beschäftigen müssen. Der Begriff des logisch korrekten Argumentierens wird anhand des natürlichen Sprachverständnisses erläutert, gefolgt von ausführlichen Beispielen zur Übersetzung informeller rationaler Argumentation in formale Beweise. Der Kalkül des Natürlichen Schließens wird eingeführt, und seine Anwendung in der Formalisierung von Argumenten natürlicher Sprache wird aufgezeigt. Die Stärken der Prädikatenlogik erster Stufe werden an Grundlagen der Definitionstheorie demonstriert. Es werden Zusammenhänge zwischen Ableitbarkeit und Beweisbarkeit sowie zwischen Beweis und Wahrheit dargestellt, und die Vollständigkeit und Korrektheit des Kalküls des natürlichen Schließens werden bewiesen. Das Buch bietet alternative Formulierungen des Kalküls sowie ein Verfahren zur Übersetzung zwischen ein- und zweidimensionalen Kalkülen. Zudem werden Grundlagen der Tableau-, Sequenzen- und Dialogkalküle vorgestellt und anhand exemplarischer Beispiele geübt. Jedes Kapitel endet mit Übungen, und Lösungen für ausgewählte Aufgaben sind zur Lernkontrolle angegeben. E