13.10.2013 Views

u perspek - Filozofski fakultet u Splitu

u perspek - Filozofski fakultet u Splitu

u perspek - Filozofski fakultet u Splitu

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Definicija 3.26 Kontekst.<br />

· Kontekst (stanje) C je simetrična i tranzitivna relacija na<br />

skupu mogućih svjetova.<br />

· Početni (minimalni) kontekst je W × W .<br />

· Apsurdni kontekst je ∅.<br />

· Indiferentni kontekst C je takav da<br />

∀w∀v ((hw, wi ∈C ∧hv, vi ∈C) →hw, vi ∈C)<br />

Kontekst predstavlja ono što djelatnik zna i ne zna, «prostor<br />

neznanja» može biti razdijeljen na temelju pitanja. Na primjer,<br />

postavljanje pitanja ’?xP x’ dijeli kontekst u onoliko particija<br />

ekvivalentnih skupova koliko ima mogućih odgovora na to<br />

pitanje, ako je domena dvočlana D = {o1,o2}, onda u<br />

početnom kontekstu nalazimo četiri alternative, dok moguća<br />

odgovori mogu biti više ili manje informativni: odgovor ’P (o1)’<br />

eliminirajući dva svijeta eliminira i dvije alternative, odgovor<br />

’P (o1)∧¬∃x(P (x)∧x 6= o1)’ je iscrpniji, informativniji. Početni<br />

kontekst je kontekst u kojemu nijedno pitanje nije postavljeno<br />

niti je ikoja obavijest usvojena; u apsurdnom kontekstu nema<br />

mogućnosti za bilo koju semantičku akciju; u indiferentnom<br />

kontekstu nijedno pitanje nije postavljeno. Groenendijk definira<br />

kontekst s C ⊆ W × W . Alternativa, možda jasnija i<br />

jednostavnija, bila bi definirati C 0 = hP∈W ×W ,R⊆P ×P i gdje<br />

bi razlika izme ¯du izjavnih rečenica i upitnih rečenica bila<br />

predstavljena kroz redukciju na P , za prvi, odnosno kroz<br />

redukciju nad R, zadrugirečenični tip. Tada bi indiferentni<br />

kontekst C 0 bio definiran s hP, P × P i. Indiferentni kontekst<br />

je početni kontekst i svaki kontekst u kojem je neko pitanje<br />

razriješeno.<br />

Definicija 3.27 Dinamična semantika izjavnih i upitnih rečenica<br />

· [ϕ!] C = {hw, vi ∈C | Vw,a(ϕ) =Vv,a(ϕ) =>}<br />

· [ϕ?] C = {hw, vi ∈C | Vw,a(ϕ?) = Vv,a(ϕ?)}<br />

173

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!