u perspek - Filozofski fakultet u Splitu

Valjanost zaključka u update logici može se definirati na
različite načine. Općenito, u dinamičnom pristupu valjanost
zaključka se ne definira pozivanjem na «očuvanje istinitosti»,
iako to nipošto ne povlači odbacivanje pojma istinitosti,
koji i ovdje kao i drugdje, zadržava položaj središnjeg
semantičkog pojma. Umjesto istine, kod definiranja valjanosti
u prednji plan dolazi pojam akcije: izvedba kognitivnih akcija
povezanih s premisama rezultira sa stanjem u kojem se akcija
povezana s konkluzijom može izvršiti (ili ne donosi nikakvu
promjenu). Postoji cijeli niz varijeteta u pojmu dinamične
logičke posljedice. Osvrnut ćemo se ovdje na varijante onog
pojma dinamične posljedice gdje je konkluzija povezana s
akcijom provjeravanja. Najprije uvodimo tehničke termine
«prihvaćeno» i «prihvatljivo».
Definicija 3.13 Program π prihvaćen je u stanju σ akko
izvedba π ne izaziva promjenu tog stanja:
kπk σ = σ
Definicija 3.14 Program π prihvatljiv je u stanju σ akko
izvedba π ne rezultira s apsurdnim stanjem.
kπk σ 6= ∅
Definicija 3.15 Valjanost zaključka u varijanti «provjeraprovjera»:
svako stanje u kojemu su prihvaćene premise jest
stanjeukojemujeprihvaćena konkluzija (stanja/modeli koja su
čvrste točke za premise istodobno su stanja koja su čvrste točke
za konkluziju).
ϕ 1,...,ϕ n
²
provjera−provjera ψ
akko
153