u perspek - Filozofski fakultet u Splitu

konzistenciju (bez modificiranja hipotetičnog vjerovanja u
antecedens); konačno, provjeri je li konzekvens istinit.
Ramseyeva dinamična interpretacija lako se prikazuje unutar
DML. Kondicional A → B definira se:
Kreni unatrag strogo (downdate strictly) s obzirom na
¦A. Onda kreni unaprijed strogo (update strictly) s obzirom
na A. Na kraju provjeri vrijedi li B.
van Benthem [12] (str. 34)
Stroge promjene su minimalne izmjene, ¦A vrijedi u stanju u
kojem je A prihvatljivo. Služeći se rječnikom DML dobivamo
ovakvu definiciju kondicionala kao spoznajne akcije:
kϕ → ψk = min − con(ra(ϕ)); exp(ϕ); ψ?
Ako se pitamo za pojedino stanje forsira li ono ϕ → ψ onda
bismo mogli dati ovakvu definiciju
fix(min − con(ra(ϕ)); exp(ϕ); ψ?) .
No u oba slučaja kondicional je test i on može biti uspješan samo
ako je informacijsko ure ¯denje takvo da ga prihvaća. Kondicional
ne donosi novo stanje, dakle da bi mogao vrijediti već unaprijed
mora biti «ugra ¯den» u ure ¯denju nad stanjima.
3.3.2.3 Jednostavna update logika
U bavljenju s promjenama teorije i s kondicionalima nismo
morali pridavati posebnu strukturu točkama u informacijskom
ure ¯denju. U dinamičnim semantikama točke imaju strukturu:
one mogu biti modeli prvog reda koji se razlikuju jedino
u dodijeljivanju vrijednosti varijablama, kao u dinamičnoj
predikatskoj logici (Groenendijk i Stokof [43], Groenendijk,
Stokof i Veltman [44]), ili mogu biti modeli modalne logike,
kao kod Veltmana [79]. Sve opcije promjena su otvorene.
Nazovemo li modele prvog reda Tarskimodelima tipa hD, I, ai
(domena, interpretacijska funkcija, funkcija dodjeljivanja vrijednosti),
a modalne modele Kripke modelima tipa hW, R, V i
(mogući svjetovi, relacija dostupnosti, vrednovanje), onda su za
dinamičnu interpretaciju otvorene različite mogućnosti varijacija
nad Tarski i Kripke modelima. Na primjer, u Veltmanovoj
149