u perspek - Filozofski fakultet u Splitu

dok GM = {w |∃v : wRv} predstavlja svjetove komaptibilne s
onim što djelatnik želi.
Dinamična semantika ovisi o statičnoj jer se promjena
djelatnikova stanja koja nastaje s usvajanjem rečenice definira
pomoću rezultirajućeg stanja usvojenosti. U filozofijskom smislu
«rečenica» se može shvatiti šire kao bilo što — što uzrokuje
promjenu mentalnog stanja. Takvo povezivanje uskla ¯deno
je s dominantnom metaforom o «unutarnjim glasovima», o
«glasu savjesti», o «internaliziranim kulturalnim imperativima»
itd. Iako smo relevantne semantičke aspekte (razliku izme ¯du
činjeničnih i nomoloških indikativa, razliku u «intenzitetu»
imperativa) mogli očitati na statičnom modelu, ipak dinamika
značenja nije samo heurističko načelo koje nam otvara uvid
u statičnenijanseznačenja. Pojam prihvatljivosti je izvorno
dinamičan jer pokazuje «potencijal promjene», u našem slučaju
otvorenost za usvanjanje ciljeva.
Primjedba 4.3 Koristeći jezik dinamične modalne logike i
već uvedene skraćenice dobivamo sljedeće korespondencije za
statične pojmove i relacijsku semantičku vrijednost, u smislu
da uspješno realiziran rečenični program za svako ulazno
stanje rezultira s izlaznim modelom u kojemu je korespondentna
propozicija zadovoljena:
· činjenica : p
exp(fix(Est(p)))
· pravilnost : p
exp(fix(Est¤(p))
· cilj : p *– exp(fix(Fiat(p))
· prihvatljivi cilj : p
?(do(exp(fix(Fiat(p))))
· pojačano prihvatljivi cilj : p
220
?(do(exp(fix(Fiat(p))) ∩¬exp(fix(Fiat(¬p))))