Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Justification Logic and Formal Analysis of Knowledge (CROSBI ID 374638)

Ocjenski rad | diplomski rad

Pandžić, Stipe Justification Logic and Formal Analysis of Knowledge / Kovač, Srećko (mentor); Zagreb, Hrvatski studiji, . 2012

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

Povezanost rada

Filozofija