u perspek - Filozofski fakultet u Splitu

akko
¬∃y (hx, yi ∈{hx, yi |x v y ∧ x 2 ϕ}) .
Na toj se osnovi može definirati operator ekspanzije [+ϕ] ψ kao
¬do(min − exp([v] ϕ; ¬ [v] ψ?)).
Tako će [+ϕ] ψ biti istinito u svakoj točki x ako u svakom
minimalnom v-sljedbeniku y od x u kojem vrijedi [v] ϕ, vrijedi
tako ¯der [v] ψ. Na sličan se način pronalaze prijevodi za ostale
operatore AGM logike i može se pokazati da su njezini postulati
istiniti.
3.3.2.2 Semantika kondicionala
Semantika kondicionala je važna tema u filozofskoj logici. U
povijesnom smislu, upravo je problem semantike kondicionala
i rješenje koje je ponudio C. I. Lewis, gdje je kondicional
različit i «jači» pojam od materijalne implikacije, potaknuo
razvoj modalne logike. U novije vrijeme kondicional se tretira
bilo u okviru semantike mogućih svjetova, kao kod D. Lewisa
(Vw(ϕ → ψ) => akko ψ vrijedi u ϕ-svijetu koji je najbliži w)
ili R. Stalnakera (Vw(ϕ → ψ) => akko ψ vrijedi u svim ϕsvjetovima
koji su najbliži w), bilo u nekom dinamičnom obliku.
Dinamični pristup vezuje se uz F. Ramseya koji je u jednoj
fusnoti zapisao:
[...] ako dvoje ljudi raspravlja o tome «Hoće li se javiti
q, ako p?» i ako oboje sumnja je li p slučaj, onda oni
hipotetički dodaju p u svoju zalihu znanja i na toj osnovi
raspravljaju o q. 28
Takvo čitanje kondicionala postalo je poznato pod nazivom
«Ramsey-test» i obično se citira u varijanti R. Stalnakera:
Prvo, dodaj antecedens (hipotetički) k svom skupu vjerovanja;
drugo, provedi sve potrebne preinake da zadržiš
28 F. P. Ramsey. «General propositions and causalityi», 1931., u: The
Foundations of Mathematics and Other Logical Essays. Routledge and
Kegan Paul. Ovdje citirano prema [33].
148