Leserbewertungen
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Originaltitel:
Symbolic Logic
Inhalt des Buches:
Dieses Buch bietet eine umfassende Einführung in die wesentlichen Elemente der (klassischen) symbolischen Standardlogik. Die wichtigsten behandelten Themen sind:
- Die charakteristische Natur und der Umfang der Logik als eine Disziplin.
- Die Konstruktion einer Reihe von klar benannten formalen Sprachen, die für die formale Übersetzung geeignet sind.
- Semantische Modelle.
- Die Konstruktion von Entscheidungsprozeduren.
- Die Ausführung von beweistheoretischen Anordnungen wie natürliche Deduktion und Beweisfolgesysteme.
Das Buch behandelt sowohl die Semantik als auch die Beweistheorie der Standard-Sentenzenlogik (Aussagenlogik) und der Prädikatenlogik (erste Ordnung). Weitere Themen sind: Parsing-Bäume, Extraktion alternativer Notationen (z.B. polnische Notation), Beweistheorie im Stil von Fitch, sequentielle und "Baum"-Beweisesysteme, Vergleiche und Kontraste mit der intuitionistischen Logik sowie Darstellungen von Modellen der Prädikatenlogik. Ein zusätzliches Kapitel über Elemente der Mengenlehre befindet sich praktischerweise am Ende des Buches und enthält Einblicke in die Zermelo-Fraenkel-Systematisierung der Mengenlehre. Auch die Philosophie der Logik wird beleuchtet.
Die Übungen im Text bieten Anleitungen zur mathematischen Induktion für die Konstruktion von Formeln, Tests für die Wohlgeformtheit der polnischen Notation und funktionale Vollständigkeit.
Symbolische Logik ist eine unverzichtbare Lektüre für alle Philosophiestudenten, die an Kursen zur formalen Logik auf mittlerem Niveau teilnehmen, und wird auch fleißigen Logikstudenten im ersten Jahr gefallen. Der Text ist reich an Übungen sowohl zur formalen Maschinerie als auch zu den philosophischen Aspekten der Logik.
Weitere Daten des Buches:
| ISBN: | 9783030673956 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2022 |
| Seitenzahl: | 492 |
Kauf:
Derzeit verfügbar, auf Lager.
