u perspek - Filozofski fakultet u Splitu
u perspek - Filozofski fakultet u Splitu
u perspek - Filozofski fakultet u Splitu
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
eliminaciju svjetova iz S5 modalnog modela (u UL), uklanjanje<br />
svjetova i relacija u modelu modalne predikatske logike s<br />
nepromjenljivom funkcijom domene D (u QL), uklanjanje<br />
svjetova i relacija u modalnom modelu, te općenitu <strong>perspek</strong>tivu<br />
dinamične modalne logike (DML). Pokušavajući dati metaforu<br />
koja bi mogla ocrtati povezanost i razlike formalno semantičkih<br />
pristupa mogli bismo reći da u statičnom pristupu pokušavamo<br />
pronaći osobitu geometriju značenjskog prostora kojeg otvaraju<br />
odre ¯deni fragmenti prirodnog jezika, dok u dinamičnom pristupu<br />
pokušavamo pronaći pravila evolucije tog prostora.<br />
Hijerarhija interpretacija<br />
Tipična interpretacija:<br />
V (P (c)) = ><br />
akko<br />
I(c) ∈ I(P )<br />
Vw(¦p) =><br />
akko<br />
∃v : wRv ∧ Vv(p) =><br />
kexp(ϕ)k =<br />
= {hw, vi |w v v ∧ M,v ² ϕ}<br />
Povezanost s<br />
prethodnim stupnjem:<br />
w je ist. vrednovanje<br />
ili interpretacija u modelu<br />
v, w su modalni modeli<br />
ili modeli prvog reda<br />
U hijerarhiji interpretacija pojam istine nije izgubio svoju<br />
ulogu temelja značenja, ali je prestao biti vrhovnom semantičkom<br />
vrijednošću. U funkcionalnom pristupu semantičku vrijednost<br />
rečenice zadobivaju relativno prema modelu σ i ta vrijednost<br />
pokazuje njezin «potencijal za promjenu». Osnovni pojam je<br />
«prihvaćenost»: rečenica ϕ je prihvaćena u modelu σ ako σ ²<br />
ϕ. Nouposebnomslučaju «eliminativne» semantike evolucija<br />
modela ima krajnje točke: početnu u kojoj nijedna rečenica nije<br />
prihvaćena i krajnju, koja ne dopušta daljnje izmjene, pa se zbog<br />
nemogućnosti izmjene može po dogovoru reći da su sve rečenice<br />
u tom modelu prihvaćene. Krajnja točkamožeukazivatina<br />
neuspjeh evolucije modela i upravo zato pokazuje svoju teorijsku<br />
primjenljivost kao pokazatelj kontradikcije i inkoherencije. U<br />
eliminativnoj dinamičnoj semantici zato možemo razlikovati<br />
četiri vrijednosti, četiri vrste «potencijala za izmjenu» koje<br />
rečenica može imati relativno prema nekom modelu, ona može<br />
188
Change language