u perspek - Filozofski fakultet u Splitu

Ostavljajući usporedbu funkcionalnog i relacijskog pristupa
za kasnije, posebnu pozornost usmjerit ćemo prema nekim
logičkim operacijama nad binarnim relacijama (relacijskoj
algebri). Zanimljive su operacije presjeka α ∩ β i kompozicije
α; β (alternativni zapis je α ◦ β) jer i prva, tj.
{hx, yi |xRαy}∩{hx, yi |xRβy} ,
idruga,
{hx, yi |∃z (xRαz ∧ zRβy)}
mogu poslužiti za dinamično interpretiranje konjunkcije (ili
nizanja rečenica u tekstu). Dinamična interpretacija negacije
ostavlja prostora različitim varijantama jer nije posve jasno što
znači «negirati program». Negaciju akcije α možemo shvatiti
i kao, «odvrti program α unatrag», čemu bi korespondirala
konverzna relacija α , i kao «prije ¯di u stanje u kojem se program
α ne može izvršiti», čemu bi odgovarala «komplementarna»
relacija −α. Test akcija ϕ? zadobila je važnu ulogu kao
dinamična interpretacija za «epistemički modalitet mogućnosti».
U izlaganju semantike izraza u jeziku LDML karakterističan
je mehanizam uzajamnog pozivanja. Formule projekcija pozivaju
procedure, a procedure pozivaju formule. Tako na primjer,
«test-mod» (postupak provjere) prenosi iskaze u programe, a
«projekcija-domene» prenosi programe u iskaze. Kod izlaganja
sintakse odlučili smo se za razlikovanje složenih i jednostavnih
postupaka, pri čemusmouograničenom smislu slijedili načelo da
je složen onaj postupak koji uključuje neki jednostavan. Akcija
kontrakcije con(ϕ) predstavlja prvo ograničenje u klasifikaciji
jer se može definirati pomoću akcije ekspanzije i operacije
konverzije: con(ϕ) =(exp(¬ϕ)) ` . Riječ je u pomaku unatrag
prema stanju u kojem ϕ ne vrijedi. Drugo ograničenje u našoj
diobi na jednostavne i složene postupke proučit ćemo na primjeru
akcije provjere ϕ?. Ona je jednostavna u najvećoj mjeri jer
uključuje samo jedno statično vrednovanje u kojemu se ne mora
«gledati prema drugim točkama informacijskog ure ¯denja», ali
pozivanja na projekcije može uključivati i druge provjere. Npr.
provjera (do(p))? poziva projekciju koja zahtijeva «pogled u
druge točke».
146