u perspek - Filozofski fakultet u Splitu

Sporna je tema odnosa izme ¯du modela i djelatnikovih
stanja: za Crossa su ne-modalne propozicije ( tj. skupovi
G = {w 0 |hw, w 0 i∈R1} i B = {w 0 |hw, w 0 i∈R2}) prikazi
djelatnikovog motivacijskog (G) i kognitivnog (B) stanja u
svijetu w ( [28], str.148). U dinamičnoj perspektivi modeli se kao
cjelina prikaz djelatnikovog kognitivno-motivacijskog stanja.
Cross poistovjećuje ’diskrepanciju vjerovanja i želje u smislu
nepotpunosti’ (tj. stanje u kojemu djelatnik usvaja cilj iako
ne isključuje mogućnostdajetajciljveć ostvaren) s mogućim
svijetom w takvim da 5ϕ je istinito u njemu:
V (M,w)(5ϕ) => akko
∀w 0 ¡ wR1w 0 →V (M,w 0 )(ϕ) => ¢ ∧
∃w 0 ∃w 00
µ wR2w 0 ∧ wR2w 00 ∧
V (M,w 0 )(ϕ) =>∧V (M,w 00 )(ϕ) =⊥
Iz perspektive Fiat/Est logike korespondentan je pojam
uvjetovanog imperativa, što je dinamični pojam, postupak, a
ne stanje. Ne postoji motivacijsko stanje različito od onog
u kojem bi bio usvojen cilj ϕ koje bi verificiralo rečenicu
’Neka ϕ bude slučaj ako nije!’(vidi dolje propoziciju 4.22).
Cross prešutno prepoznaje nemotivacijski status za stanje
«diskrepancije vjerovanja i želje u smislu nepotpunosti» govoreći
da u tom slučaju «djelatnik ima razlog provjeriti je li ϕ slučaj».
Definicija 4.34
½
[Fiat(ϕ)] σ,ako[Est(¬ϕ)] σ = σ
[Est(¬ϕ) → Fiat(ϕ)] σ =
hP, ∅i,uprotivnom
Tvrdnja 4.22 ∀σ : [Est(¬ϕ) → Fiat(ϕ)] σ /∈ F →
[Est(¬ϕ) → Fiat(ϕ)] σ =[Fiat(ϕ)] σ
256