Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
Dieser Text, Band I eines zweibändigen Werkes, befasst sich eingehend mit der Standard-Aussagenlogik (auch klassische Logik genannt).
Es handelt sich um ein theoretisches Werk, das auf eine philosophisch explorative und technisch strenge Darstellung abzielt. Anhand von detaillierten Beispielen und Übungen werden technische Details herausgearbeitet, das Verständnis gefestigt und logisch-philosophische Rätsel und Herausforderungen aufgezeigt; aufgrund dieser Eigenschaft kann der Text auch zum Studium der formalen Logik in einer rigorosen Weise verwendet werden.
Das Studium der Aussagenlogik kann den engagierten und geduldigen Studenten belohnen, indem es technische Geheimnisse des kritischen Denkens und der Problemlösung lüftet, relevante Konzepte in der Argumentationslehre beleuchtet, zeigt, wie die leistungsstarken formalen Werkzeuge und Methoden in Anwendungen funktionieren, und die Krypten der logischen Analyse aufschließt. Es kann zu Einsichten verhelfen, die sowohl zum Verständnis der Funktionsweise der Logik als auch zur Vorbereitung auf künftige Aktivitäten im Bereich des formalen Denkens beitragen.
Dieser Text umfasst bestimmte Themen und Entscheidungsmechanismen, die in der Regel in Logik-Texten fehlen und nur durch die Bekanntschaft mit immer größeren Teilen der vorhandenen Bibliographie erschlossen werden können. Zu den selten behandelten Themen des vorliegenden Textes gehören: Analyse möglicher Welten, Analytizität und Nicht-Kognitivismus, detaillierte Untersuchungen logischer Relationen, alternative grammatikalische und rechnerische Systeme, Wahrheitstabellen für den dynamischen Informationsfluss und korrigierte Wahrheitstabellen, negative und positive semantische Bäume, Normalformen und Karnaugh-Maps, Intuitionistische natürliche Deduktion, Normalisierung und Harmonie in beweistheoretischen Systemen und dialogische Logik.
| ISBN: | 9781848902664 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
