u perspek - Filozofski fakultet u Splitu

Primjedba 4.4 Prvi dio gornje definicije pruža sponu za
statičnu i dinamičnu semantiku jer: za svaki model σ/∈Fvrijedi
da [ϕ] σ = σ 0 samo ako σ 0 ² ϕ. Tom iskazu odgovara jači
dinamični iskaz: [ϕ] σ = σ 0 ako i samo ako σ 0 =[ϕ] σ 0 .
Primjedba 4.5 Statična semantika za izvedene rečenične funkcije
nije uvijek eksplicitno iskazana , iako se ona može i mora
moći iskazati. Razlozi izostavljanja povezani su s u ovom radu
prihvaćenom metodološkom pretpostavkom da se neki značenjski
fenomeni ne mogu statično očitati na jasan način. Takav je slučaj
s oblikom Fiat¦(ϕ). Statična definicija za Fiat¦(ϕ) je: σ ²
Fiat¦(ϕ) akko
∃w : V (σ,w)(Fiat(ϕ)) = >∧∀w : V (σ,w)(Fiat(¬ϕ)) = ⊥
Nema potpune podudarnosti izme ¯du rekurzivne dinamične
definicije i statične projekcije, drugi pojam je restriktivniji.
Naime, vrijedi sljedeća tvrdnja:
∃σ :[Fiat¦(ϕ)] σ = σ ∧ σ 2 Fiat¦(ϕ)
Jedan takav slučaj analiziramo ovdje u primjeru 4.3.
Tvrdnja 4.3 Rečenične funkcije su eliminativne:
[ϕ] hP, Ri = hP 0 ,R 0 i→(P 0 ⊆ P ∧ R 0 ⊆ R).
Definicija 4.28 Relativne semantičke vrijednosti rečenice ϕ ∈LF/E .
· Rečenica ϕ je prihvatljiva u modelu σ akko [ϕ] σ/∈F.
· Rečenica ϕ je prihvaćena u modelu σ akko [ϕ] σ = σ.
Ugraničnom modelu σ ∈ F sve rečenice osim rečenica
oblika Est¦(ϕ) je prihvaćena i nijedna rečenica nije prihvatljiva.
∀ϕ ∈LF/E (σ ∈F→[ϕ] σ = σ)
233