Lógica de pruebas y justificaciones

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Logics of Proofs and Justifications

Contenido del libro:

Las lógicas de justificación están estrechamente relacionadas con las lógicas modales y pueden considerarse un refinamiento de estas últimas con maquinaria para la manipulación de justificaciones. Las justificaciones se representan directamente en el lenguaje mediante términos, que pueden interpretarse como pruebas formales en un sistema deductivo, pruebas de conocimiento, estrategia ganadora en un juego, etc. Este lenguaje más expresivo resultó beneficioso tanto en teoría de la prueba como en epistemología y ayudó a investigar problemas que van desde una semántica clásica de la demostrabilidad para la lógica intuicionista hasta el problema de la omnisciencia lógica.

La lógica de la justificación es un campo nuevo y en rápida evolución que ofrece nuevos enfoques inesperados y perspectivas sobre viejos problemas. Su posición en la confluencia de las matemáticas, la filosofía y la informática hace que sea de interés para un amplio público.

Este libro ofrece una introducción rigurosa a la lógica de la justificación. Abarca las construcciones básicas de la lógica de la justificación, así como los modelos epistémicos y la semántica de la demostrabilidad. Además, incluye capítulos sobre decidibilidad y complejidad de la lógica de la justificación, así como un capítulo sobre autorreferencialidad. También contiene observaciones históricas detalladas sobre el tema.