u perspek - Filozofski fakultet u Splitu

Dinamični pojmovi su bliži intuitivnom razumijevanju motivacijskih
stanja, no s tehničke strane, jednom kada intuiciju
prevedemo u tehničke statične termine, moguća je redukcija
dinamičnih pojmova na statične. Svako tehničko rješenje ima
svojih prednosti i nedostataka.
Osnovni problem u izlaganju dinamične semantike nekog
jezika odnosi se na definiranje pojma ’biti prihvaćenustanju’,k
čemuuposebnomslučaju update semantike još moramo odrediti
pojam ’biti prihvatljiv u stanju’. Rečenica je prihvaćena u
nekom stanju ako njezino usvajanje ne bi dovelo do promjene
stanja. Rečenicu promatramo kao funkciju koja za svoj argument
ima model i čija je vrijednost model; adekvatna predodžba bila
bi minimalno pomicanje u prostoru modela. Tipični iskaz u
eliminativnoj semantici ima u prefiksnom zapisu oblik: rečenična
funkcija(model) = model, tj. [ϕ] σ = σ 0 . U literaturi se
često koristi postfiksni zapis koji je čitljiviji kod prikaza teksta
(rečeničnog niza).
Definicija 4.15 Rečenica ϕ je prihvaćena u modelu σ 0 akko
· [ϕ] σ 0 = σ 0
Prihvaćenost upućuje na statičnu semantiku jer je model u
kojem je neka rečenica prihvaćena model koji zadovoljava tu
rečenicu. Dakle, u ovom slučaju problem je pronaći adekvatnu
statičnu definiciju.
Definicija 4.16 Rečenica ϕ je prihvatljiva u modelu σ akko
· [ϕ] σ/∈F
Za pojam prihvatljivost važne su granične točkekojenemogu
prihvaćati nikoju rečenicu. Dakle, drugi problem se svodi na
definiranje graničnih (tj. konačnih) modela.
4.1.8.1 Zadovoljenje, sadržavanje i pojam slijeda
U dinamičnoj semantici pojam tautologije dobiva ponešto
drukčije značenje. Intuitivno, tautologije i kontradikcije
221