u perspek - Filozofski fakultet u Splitu

[Fiat(¬q)] σ 2 =
i σ 00 ∈F
zato,
[Fiat¦ (q)] σ 2 = σ 2
=
4.3.9 Semantičke tablice
* {w | p/∈ w ∨ q ∈ w} ,
⎧ ¯ ⎫
¯
+
⎪⎨ ¯ p ∈ w∧ ⎪⎬
¯
hw, vi ¯ q ∈ w∧ =
¯
⎪⎩ ¯ q/∈ w∧ ⎪⎭
¯ q/∈ v
= h{w | p/∈ w ∨ q ∈ w} , ∅i =
= σ 00
Valjanost zaključka iskazanog jezikom Fiat/Est logike može
se provjeriti procedurom sukcesivne eliminacije relacija ili/i
svjetova iz univerzalnog, početnog modela 0 = hW, W × W i
u skladu sa semantičkim pravilima. Nakon eliminacije
provjeravamo je li konkluzija verificirana s rezultirajućim
modelom. Budući da W = ℘A, a A je konačni skup
propozicijskih slova, relacija i svjetova ima konačno mnogo.
Stoga se u konačnom broju koraka dolazi do odgovora na pitanje
je li zaključak valjan u smislu definicije 4.35, pa je praktična
propozicijska logika odlučiva. No, takav postupak provjere u
mnogim bi slučajevima bio zamoran.
Ako ograničimo jezik praktične propozicijske logike tako da
dopustimo samo negaciju, konjukciju i modalitet mogućnosti,
nećemo za svrhu utvr ¯divanja valjanosti puno izgubiti 46 .Naime,
isključeni veznici zanimljivi su u smislu modeliranja praktičnog
promišljanja: [Fiat(ϕ) ∨ Fiat(ψ)] za modeliranje izbora
ciljeva, a [Est(ϕ) → Fiat(ψ)] za modeliranje cilja očuvanja
aktualnog stanja. Praktična logika bavi se prijenosom poželjnosti
ili ekstenzijom motivacijskog utjecaja. Stanje izbora nije čisto
46 Reducirana sintaksa imala bi sljedeće pravilo: ’Ako su ϕ i ψ rečenice u
jeziku LF/E,ondasu¬ϕ, ϕ ∧ ψ, ¦ϕ rečenice u jeziku LF/E’
269