Naslov
Logika opravdanja i formalna analiza znanja
(Justification Logic and Formal Analysis of Knowledge)

Autori
Pandžić, Stipe

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Hrvatski studiji

Mjesto
Zagreb

Datum
11.10

Godina
2012

Stranica
40

Mentor
Kovač, Srećko

Ključne riječi
logika opravdanja; opravdajna oznaka; epistemična logika; epistemologija; analiza znanja
(justification logic; justification term; epistemic logic; epistemology; knowledge analysis)

Sažetak
Rad se bavi logikama opradanja, u kojima se kao osnovni oblik pojavljuje p:F. Izvorno tumačenje opravdajne oznake p jest aritmetički dokaz. Najprije se izlaže razvoj logike LP, prve od potpuno opisanih logika opravdanja. LP se prije svega izlaže prema epistemičnom shvaćanju opravdajnih oznaka, te se uspoređuje s odgovarajućim modalnim epistemičnim logikama. Potom se prikazuje kako se logika opravdanja može uporabiti kao sredstvo analize epistemoloških problema.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA