Logik der Beweise und Rechtfertigungen

Bewertung:   (5,0 von 5)

Logik der Beweise und Rechtfertigungen (Roman Kuznets)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Logics of Proofs and Justifications

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848901681
Autor:
Verlag:
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Logik der Beweise und Rechtfertigungen - Logics of Proofs and Justifications
Rechtfertigungslogiken sind eng mit den Modallogiken verwandt und können...
Logik der Beweise und Rechtfertigungen - Logics of Proofs and Justifications

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)