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

El libro "Fundamentos de la Lgica de Creencia" aporta un nuevo enfoque ampliamente desarrollado a actitudes y creencias (conocimiento, supuestos, etc.). Presenta principalmente una revisin profunda y efectiva del anlisis hiperinsensional de significados del lenguaje natural propuesto por Tich, incluyendo oraciones sobre creencias. La revisin fue iniciada por el colaborador del autor Kuchynka. Esta Lgica Hiperinsensional Transparente (THL) es una contribucin actual a la semntica de tipo terico moderno. Adems, el libro proporciona una reexposicin fundamental de la teora de tipo parcial ramificado propuesto por Tich - incluyendo el sistema deductivo correspondiente. La aplicacin sistemtica de estos sistemas en varios captulos gua con xito al lector a travs de los peligros de la paradoja de identidad de Frege, la paradoja de contextos hiperinsensionales de Cresswell, la paradoja de omnisciencia lgica de Hintikka, varias paradojas epistmicas (p. ej., cognoscibilidad), y paradojas semnticas relacionadas. La parte central del libro se basa en una regla de sustitucin adecuadamente diseada, ya que es una de las reglas clave en teoras de tipos (es decir, en lgicas de orden superior).