u perspek - Filozofski fakultet u Splitu

označenju dijelova i sintaktičkom načinu njihova povezivanja.
Moramo li zato napustiti načelo kompozicionalnosti budući da
značenje rečenice ne možemo izdvojiti iz konteksta niti ga
«zatvoriti». Drugo ograničenje je vidljivo kada niz produžavamo,
npr. ’Netko šeta. On pjevuši. Ima šešir na glavi.’. Desnu zagradu
moramo pomaknuti da bismo uključili sljedeću rečenicu iz teksta.
Matematički gledano, pitanje je koja algebra odgovara nizanju
rečenica: je li riječ o komutativnoj operaciji Booleove algebre ili
nekomutativnoj operaciji iz relacijske algebre.
Osnovna ideja sustava DPL koja rješava problem objašnjenja
anaforičkih odnosa sastoji se u dinamičnom tumačenju egzistencijalnog
kvantifikatora. ∃x dobiva samostalno dinamičko
značenje «slučajnog dodijeljivanja vrijednosti» (random assigment).
3.6.1 Jezik DPL logike
Definicija 3.20 Sintaksa:
· Rječnik:
– termi: individualne konstante i individualne varijable,
– predikati,
– istinitosno-funkcionalni veznici.
· Formule:
– R(t1,...,tn) je formula, pod uvjetom da su t1, ..., tn termi, a
Rn-mjesni predikat.
– Ako su ϕ i ψ formule, onda su (ϕ ∧ ψ), (ϕ ∨ ψ), (ϕ → ψ),
¬ϕ, ∀xϕ, ∃xϕ formule.
– Samo izrazi koji ispunjavaju ova dva uvjeta jesu formule.
Definicija 3.21 Model i dodjeljivanje vrijednosti varijablama
za DPL :
159