u perspek - Filozofski fakultet u Splitu

Definicija 4.6 Semantička vrijednost nemodalne propozicije ϕ
u modelu M je skup mogućih svjetova u kojima je ona istinita:
kϕk M = {w | w ² ϕ}
Definicija 4.7 Ciljno stanje G umodeluM je skup svjetova
nerazlučivih u pogledu poželjnosti: GM = {w |∃v : wRv}
Definicija 4.8 Činjenično stanje A umodeluM je skup svjetova
nerazlučivih u pogledu aktualnosti: AM = {w |∃v : vRw}
Definicija 4.9 Nomološki moguće stanje N je skup svjetova u
kojima vrijede prihvaćene pravilnosti: NM = P .
Definicija 4.10 Nemodalna propozicija ϕ je cilj umodeluM
akko
· GM = kϕk M
Definicija 4.11 Nemodalna propozicija ϕ je činjenica u modelu
M akko
· AM = kϕk M
Definicija 4.12 Nemodalna propozicija ϕ je pravilnost u
modelu M akko
· kϕk M = NM
Definicija 4.13 Nemodalna propozicija ϕ je prihvatljivi cilj u
modelu M akko
217