Logik

Dieses Buch umfat einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und fhrt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prdikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schlieens. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Argumente liegt besonderes Augenmerk. Zusammenhnge zwischen alternativen logischen Notationen und Techniken werden sorgfltig erklrt. Der anschlieende Aufbaukurs schlgt die Brcke zwischen einer philosophischen Logikeinfhrung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer grndlichen Einfhrung in die volle Prdikatenlogik und ihrer Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollstndigkeit der Prdikatenlogik, Unentscheidbarkeit der Prdikatenlogik und Unvollstndigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklrt. Abgerundet wird der Band durch vertiefende Exkurse und zahlreiche bungen mit Lsungen zum Download. Die 2. revidierte Auflage wurde inhaltlich und didaktisch grndlich berarbeitet.