u perspek - Filozofski fakultet u Splitu

Relativni pojam «zadovoljstva». Jednan mogući prijevod za
’!(p ∧ q), ·p Dakle, !q’ u modalnoj logici diskrepancije (Cross
[28]) daje valjanu shemu:
(4(p ∧ q) ∧⊕p) →4q
Tu ’4’ čitamo ’djelatnik u smislu inkompatibilnosti cilja i
vjerovanja želi da (bude slučaj da)’ a ’⊕’ čitamo ’djelatnik je
zadovoljan (time da je slučaj da)’. Drugi prijevod
(4(p ∧ q) ∧ p) →4q
daje nevaljani oblik zaključka. Jezik modalne logike diskrepancije
13 mogli bismo proširiti doksastičkim operatorom B na
prirodan način:
VM,w(Bϕ) => akko ∀w 00 ¡ wR2w 00 →VM,w 00(ϕ) =⊥¢ .
Tada bi izvod neostvarenog podcilja bio valjan oblik zaključka:
(4(p ∧ q) ∧ Bp) →4q.
Nažalost, Cross nije proširio jezik s doksastičkim operatorom
već je situacije ovog tipa, gdje djelatnik vjeruje da je podcilj
nekogkrajnjegciljaostvarenrazrješavaopomoću operatora ⊕.
Postoji odre ¯dena poteškoća kada djelatnikovo vjerovanje da
je podcilj (ali ne i cjelokupni cilj) ostvaren poistovjetimo s
kognitivno-motivacijskim stanjem zadovoljstva. Intuitivno se
čini da «zadovoljstvo» djelomičnim ostvarenjem nije jednako
zadovoljstvu u potpunom ostvarenju cilja: osim u slučaju
rezignacije, prvo stanje ima a drugo nema motivacijski potencijal.
Primjedba 4.4 Definicije istinitosti za imperative u važnijim
formalno semantičkim sustavima. U Chellasovu sustavu
imperativ !ϕ vrednuje se obzirom na stanje svijeta w utrenutkut:
!ϕ je istinito u odnosu na par hw, ti akko je ϕ istinito u svakom
svijetu w 0 koji je imperativna alternativa svijetu w, Rt(w, w 0 )
13
Za osnovna obilježja Crossove semantike pogledajte primjedbu dolje u tekstu.
68