Logiche delle prove e delle giustificazioni

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Logics of Proofs and Justifications

Contenuto del libro:

Le logiche di giustificazione sono strettamente correlate alle logiche modali e possono essere viste come un perfezionamento di queste ultime con un meccanismo di manipolazione delle giustificazioni. Le giustificazioni sono rappresentate direttamente nel linguaggio da termini che possono essere interpretati come prove formali in un sistema deduttivo, prove di conoscenza, strategie vincenti in un gioco, ecc. Questo linguaggio più espressivo si è rivelato vantaggioso sia per la teoria delle prove che per l'epistemologia e ha contribuito a studiare problemi che vanno dalla semantica della provabilità classica per la logica intuizionistica al problema dell'onniscienza logica.

La logica della giustificazione è un campo nuovo e in rapida evoluzione che offre nuovi approcci e approfondimenti inaspettati a vecchi problemi. La sua posizione all'incrocio tra matematica, filosofia e informatica lo rende interessante per un vasto pubblico.

Questo libro fornisce un'introduzione rigorosa alla logica della giustificazione. Copre le costruzioni di base della logica della giustificazione, i modelli epistemici e la semantica della provabilità. Include inoltre capitoli sulla decidibilità e sulla complessità delle logiche di giustificazione, nonché un capitolo sull'autoreferenzialità. Contiene anche osservazioni storiche dettagliate sull'argomento.