Pregled bibliografske jedinice broj: 718235
Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slučaj evidencijalnosti
Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slučaj evidencijalnosti, 2014., diplomski rad, diplomski, Hrvatski studiji, Zagreb
CROSBI ID: 718235 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slučaj evidencijalnosti
(Formalization, Axiomatisation, and Classification of the Applied Justification Logic: the Case of Evidentiality)
Autori
Šekrst, Kristina
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski
Fakultet
Hrvatski studiji
Mjesto
Zagreb
Datum
30.09
Godina
2014
Stranica
57
Mentor
Kovač, Srećko
Ključne riječi
logika opravdanja; modalna logika; evidencijalnost; epistemička logika; neklasične logike; modalnost
(justification logic; modal logic; evidantiality; epistemic logic; non-classical logics; modality)
Sažetak
Logika opravdanja klasificira se kao grana epistemičke logike i opisuje naša vjerovanja i znanja koristeći se epistemičkim opravdanjem, tako da agens (činitelj) mora imati razlog vjerovati u φ (t : φ), što znači da je p opravdano određenim razlogom t. Usporedimo li ga s epistemičkim operatorom K_a φ, vidimo da on nosi konkretnu instanciju ili evidencijal, a ne neodređenu modalnost, kao što je to u slučaju s epistemičkom logikom, odnosno, specificira se znanje ponajprije razlozima za vjerovanjem, a ne definira se kao stanje vjerovanja. Primijenimo li logiku opravdanja na opis određenih lingvističkih podsustava, uočava se kako su evidencijali tipološka kategorija diferencirana od lingvističke kategorije modalnosti. Govornik mora dati konkretan dokaz za određenu propoziciju, a ako to ne učini, narušava se gramatička struktura rečenice. U jezicima koji posjeduju evidencijale, oni su obično obavezne gramatičke strategije, a njihova kriva uporaba vodi do negramatičnosti iskaza. Cilj je ovoga rada izložiti kontekste i varijacije evidencijalnih strategija, razlikovati evidencijalne strategije od lingvističkih modalnosti te formalizirati pravila koja su nužna i dovoljna za evidencijalni sustav te, naposljetku, ilustrirati teoretsku i aksiomatsku pozadinu korpusom iz različitih jezika i dijalekata, čime bismo pokazali jednu moguću primjenu logike opravdanja na prirodni jezik.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)
Ustanove:
Institut za filozofiju, Zagreb
Profili:
Srećko Kovač
(mentor)