u perspek - Filozofski fakultet u Splitu

motivacijsko stanje pa do donošenja odluke ne može ni pokazati
svoj motivacijski potencijal, a uvjetovani ciljevi u situaciji
ispunjenja uvjeta funkcioniraju kao ciljna rečenica zajedno s
činjeničnom rečenicom o ispunjenju uvjeta. Druga pogodnost
koja proizlazi iz predložene redukcije rječnika tiče se činjenice
da tada u svim slučajevima eliminacije dobijamo dva skupa
svjetova od kojih je prvi skup svjetova nerazlučivih u pogledu
poželjnosti (G), a drugi je skup svjetova nerazlučivih u pogledu
aktualnosti (A). Zbog toga možemo uvesti dvije povezane tablice
eliminacije i valjanost zaključka provjeriti metodom sličnom
onoj predloženoj na str. 4.2. Naime, u ograničenom jeziku vrijedi
∀w∀v :(w ∈ G ∧ v ∈ A) → wRv,
pa onda uklanjanje relacije možemo zbog tehničkih razloga
prikazati pomoću uklanjanja svjetova. Na primjer, rečenica
Fiat(p) uklanja relacije {(w, v) | w 2 p ∨ v ² p}, tj.
[Fiat(p)] hP, Ri = hP, R \{(w, v) | w 2 p ∨ v ² p}i
Zato učinak te rečenice možemo prikazati kao G \{w | w 2 p}
i A \{w | v ² p}. S ovakvim tehničkim rješenjem gubimo
jednu dimenziju semantičkih razlika 47 izme ¯du činjenica i
pravilnosti, koja je važna u razumijevanju pojma «zadovoljstva
s ostvarenim ciljem». Ipak, u odnosu na pojam slijeda iz
definicije 4.35 rezultati primjene punog i pojednostavljenog
postupka su jednaki.
Postupak utvr ¯divanja valjanosti u (ograničenoj) Fiat/Est
logici sastoji se u tvorbi dvaju povezanih «tablica za eliminaciju
svjetova». U skladu sa semantikom rečenica i gore izloženim
tehničkim pojednostavljenjem uklanjamo svjetove iz lijeve i
desne tablice, u kojoj svaki stupac predstavlja jedan svijet w ∈
℘A, neformalno, jedno moguće stanje stvari relativno prema
dijelu jezika pod razmatranjem. Neeliminirani svijet nazvat ćemo
otvorenim, u protivnom, zatvorenim. Lijevu tablicu možemo
zamisliti kao onu koja opisuje ciljno stanje, a desnu kao onu koja
opisuje aktualno stanje.
47 Gubimo metafizičku mogućnost, ali ostaju nam praktična i epistemička mogućnost.
Zbog tih razloga moramo izostaviti rečenice oblika Est♦(ϕ) irečnice oblika
Est ¤ (ϕ) zamijeniti s Est ¢ (ϕ) (vidi primjedbu na str.??).
270