Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Logics of Proofs and Justifications
Logiky zdôvodnenia úzko súvisia s modálnymi logikami a možno ich považovať za zdokonalenie modálnych logík o mechanizmus na manipuláciu so zdôvodneniami. Zdôvodnenia sú v jazyku reprezentované priamo termínmi, ktoré možno interpretovať ako formálne dôkazy v deduktívnom systéme, dôkazy znalostí, víťazné stratégie v hre atď. Tento expresívnejší jazyk sa ukázal ako prínosný v teórii dôkazov aj v epistemológii a pomohol skúmať problémy od klasickej sémantiky dokazovania pre intuicionistickú logiku až po problém logickej vševedúcnosti.
Logika zdôvodňovania je nová a rýchlo sa rozvíjajúca oblasť, ktorá ponúka nečakané nové prístupy a pohľady na staré problémy. Vďaka svojej pozícii na rozhraní matematiky, filozofie a informatiky je zaujímavá pre široké publikum.
Táto kniha poskytuje rigorózny úvod do logiky ospravedlnenia. Zahŕňa základné konštrukcie logiky zdôvodnenia, ako aj epistemické modely a sémantiku dokazovania. Ďalej obsahuje kapitoly o rozhodnuteľnosti a zložitosti logík zdôvodnenia, ako aj kapitolu o autoreferenčnosti. Obsahuje aj podrobné historické poznámky k tejto téme.