u perspek - Filozofski fakultet u Splitu

Po ovdje predloženom pristupu mi želimo ocrtati dva razreda
stanja. Razred SP sugeriranih primjena i razred SO sugeriranih
očuvanja nekog tipa situacija:
n
(i) SPϕ = hα, γ, πi |α ∩k¬ϕk W 6= ∅∧γ ⊆kϕk W o
∧ γ ⊂ π ,
n
(ii) SSϕ = hα, γ, πi |α ∩kϕk W 6= ∅∧γ ⊆kϕk W o
∧ γ ⊂ π .
Primjer 5.5 Pretpostavimo da se ciljno stanja može izbjeći (tj.
da vrijedi γ ⊂ π) i ispitajmo u kojima je stanjima prihvaćena
sugestija 4! P ϕ. Neka ’+’ stoji za ’Sve situacije su takve da
vrijedi ϕ’, ’+/-’ za ’Neke situacije jesu a neke nisu takve da
vrijedi ϕ’, ’-’ za ’Nijedna situacija nije takva da vrijedi ϕ’.
Dvostrukom crtom izdvojeni su slučajevi u kojem su obe provjere
koje nosi 4! P ϕ uspješne. Dobivamo željeno, tj. SPϕ.
Početna situacija Ciljna situacija σ £ ! P ϕ ¤ /∈F σ £ ! O ¬ϕ ¤ ∈F
ϕ − situacije? ϕ − situacije?
+ + ne da
+ +/- ne da
+ - ne da
+/- + da da
+/- +/- da ne
+/- - ne ne
- + da da
- +/- da ne
- - ne ne
82