Logička formalizacija evidencije u evidencijalnim jezicima

disertacija

• Naslov (engleski): LOGICAL FORMALIZATION OF EVIDENCE IN EVIDENTIAL LANGUAGES
• Autor: Kristina Šekrst
• Mentor: Srećko Kovač (mentor)
• Član povjerenstva: Sandro Skansi (predsjednik povjerenstva)
• Član povjerenstva: Marko Kardum (član povjerenstva)
• Član povjerenstva: Ines Skelac (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet hrvatskih studija; Zagreb
• Datum i država obrane: 2022-03-01, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: HUMANISTIČKE ZNANOSTI; Filozofija
• Univerzalna decimalna klasifikacija (UDC): 16 - Logika. Simbolička logika. Matematička logika. Spoznajna teorija. Epistemologija

Sažetak

Cilj je ovoga rada logički opisati fenomen evidencijalnosti obvezatnoga i gramatikaliziranoga
navođenja opravdanja ili dokazne grade za kakvu tvrdnju te uvidjeti načine primjene
takve formalizacije te lingvističke i filozofske spoznaje kao rezultate takve logike.
Lingvistička klasikacija proučava se tipološki te se analizira iz perspektive hijerarhizacije
evidencijalne snage. Naime, analiziraju se koji su evidencijalni markeri jači, odnosno koji
utječu na formiranje znanja ili istine za kakve tvrdnje u govornika. Takvi se pronalasci
povezuju s lozojom jezika, ali i epistemologijom, na temelju čega se razvija i logička
formalizacija.

Sažetak (engleski)

The goal of this dissertation is to logically describe the phenomenon of evidentiality
obligatory and grammaticalized statement of a certain justication or proof for a given
statement and to observe the application elds in which such a formalization could be
implemented, along with philosophical and linguistic insights as a result of such logic.
Linguistic classication is studied typologically and analyzed from an evidential-hierarchy
perspective. In other words, we are analyzing which evidential markers are stronger, i.e.
which are inuencing the formation of knowledge or truth of a certain statement for a
certain speaker. Such ndings are being connected to philosophy of language, but also
epistemology, on the basis of which a logical formalization is being constructed.

• Ključne riječi: evidencijalna logika; logika opravdanja; logika dokaza; teorija opravdanja
• Ključne riječi (engleski): evidential logic; justication logic; logic of proofs; theory of justication
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:111:567963
• Datum promocije: 2023
• Studijski program: Naziv: Filozofija; Vrsta studija: sveučilišni; Stupanj studija: poslijediplomski doktorski; Akademski / stručni naziv: doktor/doktorica znanosti, područje humanističkih znanosti, područje humanističkih znanosti, polje filozofija (dr.sc.phil.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Otvoreni pristup
• Datum i vrijeme pohrane: 2023-04-04 07:25:12