Justification Logic and Formal Analysis of Knowledge (CROSBI ID 374638)
Ocjenski rad | diplomski rad
Podaci o odgovornosti
Pandžić, Stipe
Kovač, Srećko
engleski
Justification Logic and Formal Analysis of Knowledge
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.
justification logic; justification term; epistemic logic; epistemology; knowledge analysis
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
40
11.10.2012.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Hrvatski studiji
Zagreb