u perspek - Filozofski fakultet u Splitu

Poistovjetimo li, slično kao u DPL, točke u informacijskoj
strukturi sa skupovima funkcija dodjeljivanja vrijednosti nad
invarijantnim modelom prvog reda, a relaciju ure ¯denja s razlikom
u dodjeljivanju vrijednosti za pojedinu varijablu dobit ćemo
semantiku DPL sustava.
Primjer 3.18
kexp(fix(∃xP (x)))k =
= {hg, hi |g v h ∧hh, hi ∈k∃xP (x)k} =
= {hg, hi |g v h ∧ h(x) ∈ I(P )} =
= {hg, hi |g [x] h ∧ h(x) ∈ I(P )}
3.7 Upitne rečenice i dinamična semantika
Jednom kada se istinitosna vrijednost (bilo binarna bilo
višestruka) prestala promatrati kao vrhovna semantička vrijednost,
put je u formalnoj semantici bio otvoren za proučavanje neindikativnih
rečenica. Istinosna vrijednost pri tom ne gubi svoj
središnji značaj — ona jest osnovni gradbeni element značenja,
ali ipak semantička vrijednost završne konstrukcije ne mora biti
iskaziva u terminima istinitosnih vrijednosti. S jedne strane,
nitko ne pomišlja da bi pitanja (osim u prenesenom smislu,
npr. kao slje ¯denje ili kršenje pravila jezične igre) mogla imati
istinitosnu vrijednost, s druge strane, nitko, tako ¯der, ne pomišlja
da pitanja nemaju značenje. Sa semantičkim pomakom u
kojemu unutarnja akcija postaje konačnom vrijednošću rečenice
omogućeno je bavljenje svim vrstama rečenica budući da razlike
sada mogu biti objašnjenje pomoću razlika u akcijama. Zanimljiv
način odredbe unutarnje akcije povezane s pitanjima nalazimo
u [46]. U prera ¯denom obliku izložit ćemo sintaksu i semantiku
jezika predikatske logike proširenog s pitanjima, te ukazati na
postojanje logičkih relacija me ¯du pitanjima.
Groenendijk koristi funkcionalni dinamični pristup, update
semantiku. U update semantici rečenica se interpretira kao
funkcija [·] : Σ → Σ, gdjejeΣ skup stanja. Stanje σ ∈ Σ
171