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.
govoreći, tumač na raspolaganju ima različite konkurentske<br />
slike situacije s kojom još nije upoznat; rečenice su fragmenti<br />
slike; tumačenje se sastoji u uspore ¯divanju fragmenata slike s<br />
konkurentnim slikama i u posljedičnom uklanjanju onih slika<br />
u koje se fragmenti ne mogu smjestiti. Broj preostalih slika<br />
mjeri količinu informacija: što više ima preostalih slika nakon<br />
tumačenja teksta to manje informacija on prenosi. Rezidualne<br />
slike tvore kontekst za sljedeći korak procesa interpretacije.<br />
Istinitosna vrijednost neke rečenice može biti neodre ¯dena ako<br />
kontekst sadrži i slike koje imaju i koje nemaju rečenični<br />
fragment. Rečenica je istinita u kontekstu ako kontekst nije<br />
prazan i ako rečenica nema moć eliminirati niti jednu sliku iz<br />
njega.<br />
Sustav od jednog poteza. Jednostavni sustav obnavljanja<br />
(«update» sustav) je sustav «od jednog poteza» čija je osnovna<br />
instrukcija σ [ϕ] =σ ∩kϕk W ,gdjejekϕk W skup vrednovanja<br />
(dodjeljivanja istinitosnih vrijednosti) v ∈ W koja verificiraju ϕ<br />
u standardnom smislu.<br />
Intenzija neovisna o kontekstu. Rečenica zadobiva značenje<br />
u kontekstu kojega su otvorile prethodne rečenice (ako ih je bilo).<br />
Intenzija ovisna o kontekstu σ [ϕ] rečenice ϕ jest presjek njezine<br />
o kontekstu neovisne intenzije kϕk W i konteksta σ.<br />
Semantička vrijednost. Rečenice su prijelazi stanja ili<br />
konteksta. U odnosu na kontekst σ rečenica ϕ može imati<br />
jednu od četiri semantičke vrijednosti. Rečenica je ili (1∗ )<br />
prihvaćena i prihvatljiva, ili ( 1 ∗<br />
)neprihvaćena i prihvatljiva,<br />
2<br />
ili (0∗ ) neprihvaćena i neprihvatljiva, ili (A∗ ) prihvaćena i<br />
neprihvatljiva u danom kontekstu σ.<br />
⎧<br />
⎪⎨<br />
1<br />
V(ϕ, σ) =<br />
⎪⎩<br />
∗ ako σ [ϕ] =σ ∧ σ [ϕ] 6= 1<br />
1 ∗<br />
2 ako σ [ϕ] 6= σ ∧ σ [ϕ] 6= 1<br />
0∗ ako σ [ϕ] 6= σ ∧ σ [ϕ] =1<br />
A∗ ako σ [ϕ] =σ ∧ σ [ϕ] =1<br />
Staze obnavljanja. Rečenicu ϕ nazivamo osnovnom ako je<br />
njezino značenje definirano jedino korištenjem osnovne radnje<br />
presjeka. Na primjer, p∨q je osnovna rečenica jer σ [p ∨ q] =σ∩<br />
kp ∨ qk W . Značenje složene rečenice definirano je korištenjem<br />
14
Change language