Logic with Trees

„Logik mit Bäumen“ ist eine neue und originelle Einführung in die moderne formale Logik. Im Gegensatz zu den meisten Lehrbüchern behandelt sie auch philosophische Themen wie Wahrheitskonditionale und Modallogik. Die formalen Inhalte werden klar und verständlich präsentiert, wobei informelle Erklärungen und Argumente einer einschüchternd strengen Entwicklung vorgezogen werden. Durchgerechnete Beispiele und Übungen ermöglichen es den Lesern, ihren Lernfortschritt zu überprüfen. „Logik mit Bäumen“ vermittelt Studierenden: * eine vollständige und verständliche Darstellung des Wahrheitsbaumsystems für die Prädikatenlogik erster Stufe * die Bedeutung der Logik und ihre Relevanz für viele verschiedene Disziplinen * die Fähigkeit, anspruchsvolle formale Schlussfolgerungstechniken zu verstehen, die für die Erforschung komplexer Metalogik notwendig sind * die Fähigkeit, Behauptungen zu hinterfragen, dass „gewöhnliches“ Denken durch formale Prädikatenlogik erster Stufe gut repräsentiert wird. Die behandelten Themen umfassen eine gründliche Diskussion der wahrheitsfunktionalen und der vollständigen Prädikatenlogik erster Stufe mithilfe des Wahrheitsbaum- oder semantischen Tableau-Ansatzes. Vollständigkeits- und Korrektheitsbeweise werden sowohl für wahrheitsfunktionale als auch für Prädikatenlogik erster Stufe gegeben. Die Induktion wird häufig verwendet und klar und konsistent dargestellt. Es werden auch alternative deduktive Systeme, eine Einführung in transfinite Zahlen und Kategorizität, die Löwenheim-Skolem-Theorien sowie die berühmten Erkenntnisse von Gödel und Church erörtert. Das Buch schließt mit einer Darstellung von Kripkes Lösungsversuch des Lügnerparadoxons und einer Diskussion der Schwächen des wahrheitsfunktionalen Ansatzes für Konditionalsätze. Es ist besonders nützlich für diejenigen, die kritische Ansätze formalen Denkens bevorzugen, und dürfte für Studierende der Philosophie im ersten und höheren Semester sowie für Studierende der Mathematik und Informatik von Interesse sein. Sprache: Englisch