u perspek - Filozofski fakultet u Splitu

modalne iskaze u metafizičkom smislu. Pravilnosti isključuju
neke svjetove (tj. stanja stvari cjelovita s obzirom na dio jezika
pod razmatranjem) i u epistemičkom smislu ne-aktualnosti i u
metafizičkom smislu nemogućnosti; zbog toga ih tretiramo kao
rečenične funkcije s P -varijacijama (vidi definiciju 4.23).
Kondicional je rečenični oblik pomoću kojega se mogu
iskazati pravilnosti. Kažemo ’Ako otvoriš prozor, rashladit ćeš
sobu.’, ali naš sugovornik to najvjerojatnije neće shvatiti kao
obavijest da ili prozor nije otvoren ili je soba rashla ¯dena, već
ujačem smislu dovoljnosti prvoga za javljanje drugog. U tom
smislu, kondicional je općenit iako ima singularnu pojavnost.
Zbog tih razloga iskazima pravilnosti u obliku kondicionala dat
ćemoLewisovoznačenje ’¬¦(ϕ ∧¬ψ)’.
Transformacije modela u skladu s predloženom formalnom
semantikom opravdavaju normu praktične racionalnosti po kojoj
je racionalno htjeti nešto što još nije, ali nije racionalno
htjeti nešto što ne može biti. Zbog toga ćemo uvesti
termin ’praktična mogućnost’ pored termina ’epistemička’ i
’metafizička mogućnost’.
Definicija 4.32 Svijet u kojem vrijedi ϕ epistemički je mogućza
djelatnika u stanju σ akko
[Est(ϕ)] σ/∈F(tj. [¦Est(ϕ)] σ = σ)
Definicija 4.33 Svijet u kojem vrijedi da ϕ praktično je moguć
za djelatnika u stanju σ akko
[Fiat(ϕ)] σ/∈F
Epistemička mogućnost povlači metafizičku (propozicija
4.10), ali obratno ne vrijedi (propozicija 4.11); praktična
mogućnost povlači metafizičku (propozicija 4.12); metafizička
mogućnost ne ovisi o činjenicama (propozicija4.13); metafizički
nemoguća propozicija ne može postati cilj (propozicija 4.14).
250