u perspek - Filozofski fakultet u Splitu

{p,q}
{q} ∅
Model [Est¤(p → q)] 0
Semantika koju ćemo vezati uz rečenice o ciljevima,
činjenicama i pravilima mora osigurati željenu evoluciju modela.
Budući da je riječ o modalnim modelima čija se svojstva
karakteriziraju pomoću modalnih iskaza koji vrijede u svakoj
točki vrednovanja za željenu evoluciju potreban nam je odnos
izme ¯du rečenice i modela kao cjeline. No kako se u praktičnoj
logici javljaju dva tipa rečeničnih modusa svojstvo odnosa
me ¯du točkama (svojstva «okvira») su promjenljiva. Na primjer,
općenito svojstvo okvira koji nastaju s usvajanjem rečenica bilo
kojeg tipa je tranzitivnost, pa bismo mogli tu vrstu modela
karakterizirati pomoću aksioma K4. ¤¤p → ¤p, dok s druge
okviri modela općenito nisu refleksivni pa ne vrijedi aksiom T.
¤p → p, a posebno za okvire motivacijskih modela koji nastaju
s usvajanjem ciljnih rečenica vrijedi da su irefleksivni, a takvi
okviri se ne mogu karakterizirati (vidi [55]) pomoću modalne
logike koja je ograničena samo na operatore ’¤’i’¦’.
S usvajanjem ciljne rečenice cilj : ϕ (Fiat(ϕ)) modelse
mijenja tako da preostaju samo one relacije wRv kod kojih je
ϕ istinito u w i nije istinito u v; s time zahvaćamo ideju cilja ili
«izvornog odsutnog dobra» kao preferiranja ϕP ¬ϕ i vjerovanja
da ϕ nije ostvareno i da je ϕ moguće. Važno je uočiti da
214