Diese Einf?hrung in die Logik umfa?t einen Grundkurs und einen Aufbaukurs.Der Grundkurs ist voraussetzungsfrei geschrieben und f?hrt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Pr?dikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schlie?ens. Logische Zusammenh?nge werden in Verbindung mit sorgf?ltig ausgew?hlten ?bungsbeispielen – inklusive L?sungen – einsichtig gemacht. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Texte und Argumente liegt besonderes Augenmerk. Zusammenh?nge zwischen alternativen logischen Notationen und Techniken, die anfangs oft Schwierigkeiten bereiten, 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 mengentheoretischen Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollst?ndigkeit der Pr?dikatenlogik, zur Entscheidbarkeit der monadischen und Unentscheidbarkeit der vollen Pr?dikatenlogik sowie zur Unvollst?ndigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erkl?rt.Abgerundet wird der Band durch zahlreiche Exkurse zur philosophischen Vertiefung logischer Grundlagenfragen. Zahlreiche ?bungsbeispiele mit L?sungen zum Download vertiefen den Stoff. Die L?sungen werden ab Oktober 2018 verf?gbar sein.

Logik: Grund- Und Aufbaukurs in Aussagen- Und Pradikatenlogik (De Gruyter Studium) (German Edition) PDF

The list of books you might like