u perspek - Filozofski fakultet u Splitu

Primjedba 5.3 Kada želimo istaknuti strukturu stanja, onda
koristimo oznaku ’hα, γ, πi’; kada nije nužno istaknuti njihovu
strukturu, stanja označavamo s ’σ’.
5.1.1 Definicije rečenica
Definicija 5.8 Intenzija radikala ϕ ∈ LD u odnosu na skup
situacija X. ZaX ⊆ W ,
5.1.1.1 Osnovne rečenice
kϕk X = {w ∈ X | w ² ϕ} .
· Neizbježno je da ϕ.
– hα, γ, πi [¡ϕ] =hkϕk α , kϕk γ , kϕk π i
· Slučaj je da ϕ.
– hα, γ, πi [·ϕ] =hkϕk α ,γ,πi
· Proizvedi ϕ!
– hα, γ, πi £ ! P ϕ ¤ ½ α γ γ
hk¬ϕk , kϕk ,πi ako kϕk 6= π,
=
1 inače.
· Očuvaj ϕ!
– hα, γ, πi £ ! Oϕ ¤ ½ α γ γ
hkϕk , kϕk ,πi ako kϕk 6= π,
=
1 inače.
5.1.1.2 Složene rečenice [definirane pomoću osnovnih]
Negacije.
Definicija 5.9 (Negacija imperativa) Rečenica ’Nemoj proizvesti
ϕ!’ istovrijedna je rečenici ’Očuvaj ¬ϕ!’. Rečenica ’Nemoj
očuvati ϕ!’ istovrijedna je rečenici ’Proizvedi ¬ϕ!’.
hα, γ, πi £ ¬! O ϕ ¤ = hα, γ, πi £ ! P ¬ϕ ¤ ,
hα, γ, πi £ ¬! P ϕ ¤ = hα, γ, πi £ ! O ¬ϕ ¤ .
77