u perspek - Filozofski fakultet u Splitu

pojma o izvedivosti osnovne radnje. Na primjer, rečenica
provjere moˇzda p je složena rečenica jer σ [moˇzda p] =σ ako
σ [p] 6= 1i σ [moˇzda p] =1ako σ [p] =1.
Značenjski potencijal. Definirajmo značenjski potencijal
ϕ u jednostavnom sustavu obnavljanja dyn u odnosu na skup
konteksta Σ kao relaciju kϕk Σ
dyn = {hσ, σ0i|σ [ϕ] σ0 }, gdje
Σ=℘W .
moguće vrste prijelaza ⊆kϕk Σ
dyn
1 ∗ [ϕ]1 ∗ ½
= hσ, σ0i∈Σ2 | V (ϕ, σ) =1∗∧ V (ϕ, σ0 )=1∗ ¾
½
1 ∗ ∗
2 [ϕ]1 = hσ, σ0i∈Σ2 1 ∗
V (ϕ, σ) =
| 2 ∧
V (ϕ, σ0 )=1∗ ¾
0 ∗ [ϕ]A ∗ ½
= hσ, σ0i∈Σ2 | V (ϕ, σ) =0∗∧ V (ϕ, σ0 )=A∗ ¾
A ∗ [ϕ]A ∗ ½
= hσ,σ0i∈Σ2 | V (ϕ, σ) =A∗∧ V (ϕ, σ0 )=A∗ ¾
uspjeh
Budući da je jednostavni sustav obnavljanja eliminativan,
postoje samo četiri vrste prijelaza. Ako nas zanimaju samo
odnosi značenja a ne kognitivna dinamika, onda možemo
zanemariti preostalih dvanaest vrsta prijelaza. Na primjer,
«revizijski» prijelaz 0∗ [ϕ] 1 ∗
2 zahtijevadasenekavrednovanja
ponovno vrate u igru.
Razlika izme ¯du osnovnih rečenica i rečenica provjere
pokazuje se u vrsti prijelaza koji im pripada. Osnovne rečenice
omogućuju sve četiri vrste prijelaza. S druge strane, rečenice
provjere omogućuju samo dvije vrste prijelaza: prijelaze 1∗ [·]1∗ i A∗ [·] A∗ vrste. Tautologija jest identitetna relacija: k>k Σ
dyn =
1∗ [>]1∗∪ A∗ [>] A∗ = {hσ,σi |σ ∈ Σ}; kontradikcija je
«svi-na-jedno» relacija: k⊥k Σ
dyn = 0∗ [⊥] A∗ ∪ A∗ [⊥] A∗ © ª
hσ,σ0i∈Σ2 | σ0 =1 .
=
+
+
-
-
15