u perspek - Filozofski fakultet u Splitu

hα, γ, πi; te,stoga,γ ⊆ kϕk W . Pretpostavimo dalje (ii) da
vrijedi 0 £ ·ψ →! P ϕ; ·¬ψ;! P ¬ϕ ¤ = hα 0 ,γ 0 ,πi i hα 0 ,γ 0 ,πi /∈ F.
Iz drugoga slijedi da γ 0 ∩k¬ϕk W 6= ∅. No indikativni tekstovi
·ψ; ·¬ϕ i ·¬ψ ne mogu eliminirati situacije iz skupa ciljnih
situacija. Dakle, 0[·ϕ →!ψ] = hα 00 ,γ 00 ,πi mora zadovoljiti
kontradiktorne uvjete: da bi se zadovoljila prva pretpostavka
(i) mora vrijediti γ 00 ⊆ kϕk W , a da bi se zadovoljila druga
pretpostavka (ii) mora vrijediti γ 00 ∩k¬ϕk W 6= ∅. Kontradikcija.
Rješenje problema dinamične semantike za kondicionalne
imperative zahtijeva daljnje usložnjavanje modela.
6.1 Kondicionalni imperativ i prošireni jezik
L→!>¬!¦!·¡
Sintaksa.
Ako je ϕ rečenica iz jezika L¬!¦!·¡, onda je ϕ tako ¯der rečenica
ujezikuL→¬!¦!·¡. Akosuϕ i ψ rečenice u jeziku LD standardne
propozicijske logike, i ako su κ1 i κ2 rečenice u jeziku L→¬!¦!·¡
i ako vrijedi, prvo, κ1 =! P ϕ ili κ1 =! O ϕ ili κ1 =! > ϕ ili κ1 =
¬! P ϕ ili κ1 = ¬! O ϕ ili κ1 = ¬! > ϕ, i, drugo, κ2 = ·ψ ili κ2 =
¬·ψ, onda su κ1 → κ2 i κ2 → κ1 rečenice u jeziku L→¬!¦!·¡.
Ništa drugo osim spomenutog nije rečenica u jeziku L→¬!¦!·¡.
Semantika.
Definicija 6.1 Skup D je konačan skup propozicijskih slova u
dijelu jezika L→¬!¦!·¡ pod razmatranjem.
Definicija 6.2 Vremenski neobilježena situacija w jest skup
propozicijskih slova, w ⊆ D.
Definicija 6.3 Skup W svih vremenski neobilježenih situacija je
partitivni skup skupa propozicijskih slova: W = ℘D.
85