Logik

Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

(Autor)

Buch | Softcover
XII, 435 Seiten
2020 | 2., korrigierte und erweiterte Auflage
De Gruyter (Verlag)
978-3-11-069714-8 (ISBN)
34,95 inkl. MwSt
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.

Gerhard Schurz, Heinrich-Heine-Universität Düsseldorf.

Erscheinungsdatum
Reihe/Serie De Gruyter Studium
Zusatzinfo 15 b/w ill.
Verlagsort Berlin/Boston
Sprache deutsch
Maße 155 x 230 mm
Gewicht 659 g
Themenwelt Geisteswissenschaften Philosophie Philosophie der Neuzeit
Mathematik / Informatik Mathematik Logik / Mengenlehre
Schlagworte Aussagenlogik • Logic • Logik • metalogic • Metalogik • Prädikatenlogik • Predicate logic • Semantics • Semantik
ISBN-10 3-11-069714-9 / 3110697149
ISBN-13 978-3-11-069714-8 / 9783110697148
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich