u perspek - Filozofski fakultet u Splitu

Primjer 3.14 U primjeru 3.13 analizirali smo kognitivnu akciju
koju inducira iskaz subjekta S1 :’Možda ¬p’ izrečen subjektu
S2 koji prihvaća da je p slučaj. Pod pretpostavkom da S2
mijenja svoje informacijsko stanje pod utjecajem rečenice koju
je izrekao S1, induciranu kognitivnu akciju možemo opisati s
con(do(exp¬p)) ili (i)«vrati se unatrag u stanje u kojemu možeš
prihvatiti da ¬p». Uočimo da ovdje nije riječ o strogoj reviziji
vjerovanja jer bi ona uključivala «vrati se unatrag u stanje u
kojemu možeš prihvatiti da ¬p iprihvatida¬p». Razlaganje
pokazuje da je con(do(exp¬p)) adekvatan prikaz akcije (i):
· kcon(do(exp¬p))k = {hx, yi |y v x ∧M,y ² do(exp¬p)}
· M,y ² do(exp¬p) akko ∃z (hy, zi ∈kexp¬pk)
· kexp¬pk = {hx, yi |x v y ∧M,y 2 p}
što na kraju daje
· kcon(do(exp¬p))k = {hx, yi |y v x ∧∃z (hy,zi ∈kexp¬pk)}
3.3.2 Primjena
Modalna dinamična logika ima veliku ekspresivnu moć. Uobičajeni
primjeri [12] [13] [68] uključuju mogućnost opisa AGM
[2] logike (za teorijske promjene), prikaz Ramseyeva tumačenja
kondicionala i obuhvat neke dinamične logike. Slijedit ćemo
takav pristup i dati samo kratke naznake.
3.3.2.1 Modeliranje spoznajnih procesa
Postulati AGM logike mogu se modelirati unutar DML (osim
jednoga) na sljedeći način: svaka točka u strukturi predstavlja
jednu teoriju T , iskazi kojima se tvrdi pripadnost teoriji ’ϕ ∈
T ’ postaju modalni iskazi ’[v] ϕ’ tj. ’¬do(exp(>); ¬ϕ?)’.
Kratki postupak «izračunavanja prijevoda» pokazuje da je
’¬do(exp(>); ¬ϕ?)’ željeni prijevod jer
M,x² ¬do(exp(>); (¬ϕ)?)
147