u perspek - Filozofski fakultet u Splitu

U nekom smislu možemo o kondicionalom induciranim P -
varijacijama misliti kao o općim ograničenjima postavljenim
nad R-varijacijama. Povezujući relacijski i funkcionalni pristup
mogli bismo na temelju elementarnih rečenica definirati i
poseban modalitet Est rečenica ¢ koji bi obavljao sličnu opću
semantičku ulogu eliminacije relacije na oba kraja (i u ciljnom i
u činjeničnom stanju, u smislu tehničkih termina). Uzimajući M
za općeniti indikator modusa rečeničnu funkciju tipa Est¢(ϕ)
mogli bismo rekurzivno definirati:
[Est¢(ϕ)] σ = σ 0 akko ∀σ 00 ¡ σ 00 =R σ 0 → [M (¬ϕ)] σ 00 ∈F ¢
Neaktualna propozicija može postati ciljem (propozicija
4.16); nemoguća ne može (propozicija 4.17); cilj mora biti
metafizički moguć (propozicija 4.18) i neostvaren (tj. epistemički
nemoguć) (propozicija 4.19).
Tvrdnja 4.16 ∃σ :[Est(ϕ)] σ ∈F∧[Fiat(ϕ)] σ/∈F
Tvrdnja 4.17 ∀σ :[Est¤ (ϕ)] σ ∈F→[Fiat(ϕ)] σ ∈F
Tvrdnja 4.18 ∀σ :[Fiat(ϕ)] σ/∈F→Est¦ (ϕ) σ = σ
Tvrdnja 4.19 ∀σ :[Fiat(ϕ)] σ/∈F→[Est(¬ϕ)] σ = σ
253