Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Logics of Proofs and Justifications
Rechtfertigungslogiken sind eng mit den Modallogiken verwandt und können als eine Verfeinerung der letzteren mit einem Mechanismus zur Manipulation von Rechtfertigungen betrachtet werden. Begründungen werden direkt in der Sprache durch Begriffe dargestellt, die als formale Beweise in einem deduktiven System, als Beweis für Wissen, als Gewinnstrategie in einem Spiel usw. interpretiert werden können. Diese ausdrucksstärkere Sprache erwies sich sowohl in der Beweistheorie als auch in der Erkenntnistheorie als vorteilhaft und half bei der Untersuchung von Problemen, die von einer klassischen Beweisbarkeitssemantik für die intuitionistische Logik bis hin zum Problem der logischen Allwissenheit reichen.
Die Rechtfertigungslogik ist ein neues und sich schnell entwickelndes Gebiet, das unerwartete neue Ansätze und Einblicke in alte Probleme bietet. Ihre Position an der Schnittstelle von Mathematik, Philosophie und Informatik macht sie für ein breites Publikum interessant.
Dieses Buch bietet eine rigorose Einführung in die Rechtfertigungslogik. Es behandelt die grundlegenden Konstruktionen der Rechtfertigungslogik sowie epistemische Modelle und Beweissemantiken. Darüber hinaus enthält es Kapitel über Entscheidbarkeit und Komplexität von Rechtfertigungslogiken sowie ein Kapitel über Selbstreferentialität. Es enthält auch ausführliche historische Anmerkungen zum Thema.
| ISBN: | 9781848901681 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
