u perspek - Filozofski fakultet u Splitu

sa skupom svih mogućih takvih promjena {hx, yi |...}. Rečenice
se poimaju kao programske instrukcije, pri čemu se značenje
rečenice izjednačava s odre ¯denim programom koji se opisuje na
temelju svog «ulaz-izlaz» ponašanja.
Definicija 3.24 Semantika. (Poradi čitljivosti izostavljamo
nadznak i podznak dinamične interpretacijske funkcije; za
funkcije dodjeljivanja vrijednosti varijablama koristimo slova g,
h, k,.; oznaku h [x] g čitamo ’funkcija dodjeljivanja vrijednosti
varijablama h ako se razlikuje se od g, razlikuje se jedino u
vrijednosti koju dodijeljuje varijabli x’)
· kR(t1,...,tn)k = {hg, hi |h = g ∧hkt1kh ,...,ktnkhi∈I(R)} · kt1 = t2k = {hg,hi |h = g ∧kt1kh = kt2kh }
· k¬ϕk = {hg, hi |h = g ∧¬∃k : hh, ki ∈kϕk}
·
·
kϕ∧ψk = {hg, hi |∃k : hg,ki ∈kϕk∧hk, hi ∈kψk}
½ ¯
¾
¯
kϕ∨ψk = hg, hi ¯ h = g∧
¯ ∃k : hh, ki ∈kϕk∨hh, ki ∈kψk
·
½ ¯
kϕ→ψk = hg, hi ¯ h = g∧
¯ ∀k : hh, ki ∈kϕk →∃j : hk, ji ∈kψk
¾
· k∃xϕk = {hg, hi |∃k : k [x] h ∧hk, hi ∈kϕk}
· k∀xϕk = {hg, hi |h = g ∧∀k(k [x] h →∃m : hk, mi ∈kϕk)}
Majstorski izrezbarena definicija dinamičke interpretacije
zaslužuje komentar. Pozornost ćemo usmjeriti prvo prema razlici
izme ¯du rečenicakojesetumače kao provjere i rečenicakojese
tumače kao promjene, a potom prema razlici unutarnje statičnih
i unutarnje dinamičnih veznika. Razlika izme ¯du provjera i
promjena je očita. Razlika u (i) izvanjski dinamičnom karakteru
ili (ii) unutarnje dinamičnom karakteru svodi se na sljedeća
pitanja. Za (i): proširuje li se vezivanje varijabli na sljedeće
rečenice? Za (ii): prenosi li se vezivanje varijabli u složenoj
rečenici s jednog njezinog dijela na drugi?’ Opća podjela
izgledala bi ovako:
161