Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 718235

Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slučaj evidencijalnosti


Šekrst, Kristina
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:

Avatar Url Srećko Kovač (mentor)


Citiraj ovu publikaciju:

Šekrst, Kristina
Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slučaj evidencijalnosti, 2014., diplomski rad, diplomski, Hrvatski studiji, Zagreb
Šekrst, K. (2014) 'Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slučaj evidencijalnosti', diplomski rad, diplomski, Hrvatski studiji, Zagreb.
@phdthesis{phdthesis, author = {\v{S}ekrst, Kristina}, year = {2014}, pages = {57}, keywords = {logika opravdanja, modalna logika, evidencijalnost, epistemi\v{c}ka logika, neklasi\v{c}ne logike, modalnost}, title = {Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slu\v{c}aj evidencijalnosti}, keyword = {logika opravdanja, modalna logika, evidencijalnost, epistemi\v{c}ka logika, neklasi\v{c}ne logike, modalnost}, publisherplace = {Zagreb} }
@phdthesis{phdthesis, author = {\v{S}ekrst, Kristina}, year = {2014}, pages = {57}, keywords = {justification logic, modal logic, evidantiality, epistemic logic, non-classical logics, modality}, title = {Formalization, Axiomatisation, and Classification of the Applied Justification Logic: the Case of Evidentiality}, keyword = {justification logic, modal logic, evidantiality, epistemic logic, non-classical logics, modality}, publisherplace = {Zagreb} }




Contrast
Increase Font
Decrease Font
Dyslexic Font