u perspek - Filozofski fakultet u Splitu

·
·
hρ, πi £ ·ψ →! P ϕ ¤ = hρ, πi £ ¬! P ϕ →¬·ψ ¤ =
= hρ, πi £ ! O ¬ϕ →·¬ψ ¤
hρ, πi £ ·ψ →! O ϕ ¤ = hρ, πi £ ¬! O ϕ →¬·ψ ¤ =
= hρ, πi £ ! P ¬ϕ →·¬ψ ¤
Provjere i sugestije.
· σ £ ¦! P ϕ ¤ ½ £ ¤
σ ako σ ! P ϕ /∈ Φ,
=
1 inače;
· σ £ ¦! Oϕ ¤ ½ £ ¤
σ ako σ ! Oϕ /∈ Φ,
=
1 inače;
½
σ ako σ [·ϕ] /∈ Φ,
· σ [¦·ϕ] =
1 inače;
· σ £ 4! P ϕ ¤ ⎧ ½ £ ¤
⎨ σ ¦! P ϕ = σ i
σ ako
=
σ
⎩
£ ¦! O ¬ϕ ¤ 6= σ,
1 inače;
· σ £ 4! Oϕ ¤ ⎧ ½ £ ¤
⎨ σ ¦! Oϕ = σ i
σ ako
=
σ
⎩
£ ¦! P ¬ϕ ¤ 6= σ,
1 inače.
6.1.2 Nekoliko primjera
Po ovom pristupu očigledno je da govornik ne može koherentno
naložiti (i) da se izmijeni ono što nije slučaj,(ii)daseostvari
ono što neće biti slučaj, (iii) da se ostvari ono što je neizbježno
(u posljednjem primjeru je kod formalnog zapisa pridodana
analitička posljedica).
Primjer 6.2 ’Zatvori zatvorena vrata!’. ’Z’ stoji za ’Vrata su
zatvorena’.
∀σ : σ[·Z;! P Z] ∈ Φ.
91