Logica dovezilor și a justificărilor

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Logics of Proofs and Justifications

Conținutul cărții:

Logica justificării este strâns legată de logica modală și poate fi privită ca un rafinament al acesteia din urmă, cu mecanisme de manipulare a justificărilor. Justificările sunt reprezentate direct în limbaj prin termeni, care pot fi interpretați ca dovezi formale într-un sistem deductiv, dovezi pentru cunoaștere, strategie câștigătoare într-un joc etc. Acest limbaj mai expresiv s-a dovedit benefic atât în teoria dovezilor, cât și în epistemologie și a ajutat la investigarea unor probleme variind de la o semantică clasică a demonstrabilității pentru logica intuiționistă la problema omniscienței logice.

Logica justificării este un domeniu nou și în evoluție rapidă, care oferă noi abordări și perspective neașteptate asupra unor probleme vechi. Poziția sa la joncțiunea dintre matematică, filosofie și informatică îl face de interes pentru un public larg.

Această carte oferă o introducere riguroasă în logica justificării. Ea acoperă construcțiile de bază ale logicii justificării, precum și modelele epistemice și semantica probabilității. Mai mult, ea include capitole privind decidabilitatea și complexitatea logicii justificării, precum și un capitol privind autoreferențialitatea. Acesta conține, de asemenea, observații istorice detaliate pe această temă.