u perspek - Filozofski fakultet u Splitu

pq
p
q
-
pq
p
q
pq
p
-
pq
q
-
p
q
-
pq
p
pq
q
pq
-
p
q
Staze obnavljanja za rečenicu p∨q
u skupu konteksta Σ=℘℘ {p, q} .
p
-
q
-
-
pq
p
q
Konteksti u kojima je
prihvaćeno možda p
Rečenica p∨q
mijenja
kontekst
apsurd
1
Usporedba s Łukasiewiczevim trovrijednosnim sustavom.
Eliminativna semantika pruža jednostavno rješenje za problem
nepoznate istinitosne vrijednosti. Kako bismo usporedili eliminativni
sustav s Łukasiewiczevim trovrijednosnim sustavom,
povezat ćemo dinamičke vrijednosti sa statičnim: dinamična
vrijednost 1∗ neka odgovara statičnoj istini 1, 1 ∗
2 neka odgovara
statičnoj neodre ¯denosti 1
2 ,a0∗ i A∗ neka odgovaraju statičnoj
neistini 0. Protuintuitivno načelo ¦ϕ ∧¦ψ ² ¦ (ϕ ∧ ψ)
valjano je u Łukasiewiczevoj logici, ali ono nije valjano u
jednostavnom sustavu obnavljanja. Ako je epistemički moguće
da p i ako je epistemički moguće da ¬p, tada, sasvim sigurno,
p ∧¬p nije epistemički moguće. U Łukasiewiczevu sustavu:
ako V (p) = 1
1
1
2 i V (¬p) = 2 , onda V (p ∧¬p) = 2 i
V(¦ (p ∧¬p)) = 1. U jednostavnom sustavu obnavljanja: ako
V (p, σ) = 1 ∗ 1 ∗
2 i V (¬p, σ) = 2 , onda V ((p ∧¬p) ,σ)=0∗i V (¦ (p ∧¬p) ,σ)=0∗ .
16