Dieses Buch umfa t einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und f hrt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Pr dikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schlie ens. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Argumente liegt besonderes Augenmerk. Zusammenh nge zwischen alternativen logischen Notationen und Techniken werden sorgf ltig erkl rt. Der anschlie ende Aufbaukurs schl gt die Br cke zwischen einer philosophischen Logikeinf hrung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gr ndlichen Einf hrung in die volle Pr dikatenlogik und ihrer Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollst ndigkeit der Pr dikatenlogik, Unentscheidbarkeit der Pr dikatenlogik und Unvollst ndigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erkl rt. Abgerundet wird der Band durch vertiefende Exkurse und zahlreiche bungen mit L sungen zum Download. Die 2. revidierte Auflage wurde inhaltlich und didaktisch gr ndlich berarbeitet.