u perspek - Filozofski fakultet u Splitu

· Ako Vw (ϕ) =>,pišemow ² ϕ.
Statična semantika za elementarne rečenice u jeziku L F/E
Elementarne rečenice jezika L F/E interpretiraju se na
relacijskoj strukturi σ = hP, Ri.
Definicija 4.17 Relacijska struktura σ je ure ¯deni par hP, Ri
takav da
· P je skup mogućih svjetova, gdje je P ⊆ W , W = ℘D, aD
je skup svih propozicijskih slova u LD.
· R je odnos dostupnosti, R ⊆ P × P .
Istinitosno vrednovanje V (σ,w) za elementarne rečenice iz
L F/E u mogućem svijetu w u zadanom modelu σ ovisi o
vrednovanju propozicija koje su njihov sadržaj (tj. o vrednovanju
rečenica iz LD) i o relaciji dostupnosti R.
Definicija 4.18 Vrednovanje elementarne ciljne rečenice Fiat(ϕ)
umogućem svijetu w u modelu σ:
V (σ,w)(Fiat(ϕ)) = >
akko
∀v : (wRv →Vv(ϕ) =⊥) ∧ (vRw →Vv(ϕ) =>)
Definicija 4.19 Vrednovanje elementarne činjenične rečenice
Est(ϕ) umogućem svijetu w umodeluσ:
V (σ,w)(Est(ϕ)) = >
akko
∀v : wRv →Vv(ϕ) =>
227