u perspek - Filozofski fakultet u Splitu

svjetovi postali 1. stanje SC bez izvedbe π, 2. stanjeSC s
izvedbom π, 3. stanjeSV bez izvedbe π, astanje4. SV s
izvedbom π je eliminirano iskazom ’pravilnosti’ {SV } π {SC}.
Time dobivamo mutatis mutandis stanje prikazano na donjoj
slici. U Fiat/Est jeziku nemamo mogućnost tvorbe iskaza
o planovima, tj. Fiat(π) ili Est(π). Uz neka prirodna
proširenja pomoću temporalne logike mogli bismo zadržati
osnovnu predodžbu, npr. dodavajući povijesti svakom mogućem
svijetu i vjerojatno bismo dobili ovakve iskaze Fiat¦(u_d ∧
¬p_d ∧ u_dP RIJE − OD¬p_d). Problem iskazivanja
poželjnosti plana jasno pokazuje ograničenja Fiat/Est logike:
to je logika koja opisuje spoznajne i motivacijske promjene
djelatnika koji u nepromjenljivom svijetu (nepromjenljivom u
pogledu aspekata zahvaćenih promišljanjem) pronalazi odgovore
na pitanja u kojem pogledu svijet treba ili bi možda trebalo
promijeniti. Budući da rečenice uglavnom promatramo kao
rečenice o stanjima to se rečenice o planu ne daju za našu
svrhu zadovoljavajuće prevesti jer bismo ih morali opisati
pomoću stanja koje ostvaruju. Naime, plan je niz postupaka
koji eventualno rezultira s ciljnim stanjem pa bismo slijedeći
dosadašnju strategiju formalizacije ili morali opisati takvo
povezano djelovanje pomoću konačnog stanja koje se namjerava
ostvariti (što nas ne bi zadovoljavalo jer bi plan za cilj : p postao
trivijalno Est(p → p)) ili bismo morali opisati pojedine etape
ostvarenja plana koje opet ne naslje ¯duju poželjnost (plan mora
biti dovoljan za ostvarenje cilja, a svaki njegov korak ne može
biti više nego nužni dio dovoljnog sredstva).
240