u perspek - Filozofski fakultet u Splitu

· Model je par hD, Ii gdje
– domena D je neprazan skup objekata,
– funkcija I svakom jednomjesnom predikatu dodjeljuje
podskup domene i svakom n-mjesnom predikatu dodjeljuje
podskup n-puta izvedenog Kartezijevog produkta domene
sa samom sobom: I(R n ) ⊆ D n , a svakoj individualnoj
konstanti c element domene: I(c) ∈ D.
· Dodjeljivanje vrijednosti varijablama a je funkcija koja svakoj
varijabli v dodjeluje element domene: a(v) ∈ D
Definicija 3.22 Interpretacija terma pod dodjeljivanjem vrijednosti
a:
½
a(t) ako je t varijabla,
· ktka =
I(t) ako je t individualna konstanta.
Definicija 3.23 Dinamična interpretacijska funkcija k·k DPL
M ⊆
A × A,gdjejeA skup svih funkcija dodjeljivanja vrijednosti.
Pomoću gornjih definicija Groenendijk i Stokof [43] izlažu
dinamičnu interpretaciju rečenica. Drugim riječima: zamislimo
strukturu takvu da su sve njezine točke slične po tome što
predstavljaju isti model prvog reda, dok se razlikuju po
dodjeljivanju vrijednosti varijablama; odnos me ¯du točkama je
refleksivan i tranzitivan. Značenje rečenice sastoji se od svih
onih pomaka i petlji po toj mreži koji slijede njezin «proceduralni
recept». Npr. «proceduralni recept» rečenice ’Netko šeta’
jest sljedeći ’Poveži svaku točku s naprijed postavljenom ili
istom točkom u kojoj je dodjeljivanje vrijednosti varijablama a
takvo da a(x) ∈ I( ˇ Seta)!’. Podsjetimo se općenitog karaktera
relacijskog pristupa, on ne modelira specifične kognitivne
promjene pojedinog subjekta, kojima bi odgovarao pojedini par
hx, yi, već izjednačava značenje rečenica u jednom dijelu jezika
160