Základy logiky přesvědčení – Raclavský Jiří (2020)

Das Buch „Grundlagen der Glaubenslogik“ präsentiert einen neuen und umfassenden Ansatz zu Einstellungen und Überzeugungen (Wissen, Annahmen usw.). Es bietet vor allem eine gründliche und effektive Überarbeitung der von Tichý vorgeschlagenen hyperintensionalen Analyse von Bedeutungen natürlicher Sprache, einschließlich Sätzen über Überzeugungen. Die Überarbeitung wurde von Tichýs Mitarbeiter Kuchyňka initiiert. Diese transparente hyperintensionale Logik (THL) ist ein aktueller Beitrag zur modernen typentheoretischen Semantik. Darüber hinaus bietet das Buch eine grundlegende Neuinterpretation von Tichýs vorgeschlagener verzweigter partieller Typentheorie – einschließlich des zugehörigen deduktiven Systems. Die systematische Anwendung dieser Systeme in mehreren Kapiteln führt den Leser erfolgreich durch die Fallstricke von Freges Identitätsparadoxon, Cresswells Paradoxon hyperintensionaler Kontexte, Hintikkas Paradoxon logischer Allwissenheit, verschiedenen epistemischen Paradoxien (z. B. Erkennbarkeit) und verwandten semantischen Paradoxien. Der zentrale Teil des Buches stützt sich auf eine geeignet gestaltete Substitutionsregel, da diese eine der Schlüsselregeln in Typentheorien (d. h. in Logiken höherer Stufe) darstellt.