Propositional Logics Third Edition
Propositional Logics stellt die Geschichte, Philosophie und Mathematik der wichtigsten Systeme der Aussagenlogik vor. Klassische Logik, Modallogik, vielwertige Logik, Intuitionismus, parakonsistente Logik und abhängige Implikation werden in separaten Kapiteln untersucht.
Jedes Kapitel beginnt mit einer Motivation in der Sprache der Begründer, gefolgt von der formalen Standardsemantik, der Syntax und dem Vollständigkeitssatz. Die Kapitel über die verschiedenen Logiken sind weitgehend in sich abgeschlossen, so dass das Buch auch als Nachschlagewerk verwendet werden kann. Ein Anhang fasst die formale Semantik und Axiomatisierungen der Logiken zusammen.
Die Ansicht, die die Darstellung eint, ist, dass die Aussagenlogiken ein Spektrum umfassen. So wie der Aspekt der betrachteten Sätze variiert, variiert auch die Logik.
Für jede Logik wird gezeigt, dass sie sich auf natürliche Weise in einen allgemeinen Rahmen für die Semantik einfügt. Es wird eine Theorie der Übersetzungen zwischen den Logiken vorgestellt, die weitere Vergleiche ermöglicht, und es werden die notwendigen Bedingungen für eine sinnerhaltende Übersetzung angegeben.
Für diese dritte Auflage wurde das Material neu geordnet, um das Studium des Textes zu erleichtern, und es wurde ein neuer Abschnitt über parakonsistente Logiken mit einfacher Semantik hinzugefügt, der die Standardansichten über die Natur von Folgerelationen in Frage stellt. Der Text enthält Beispiele und Hunderte von Übungen, von Routineaufgaben bis hin zu offenen Problemen, die das Buch mit seiner klaren und sorgfältigen Darstellung ideal für Kurse oder individuelles Studium machen.
| ISBN: | 9780983452164 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
