Epistemologija

John L. Pollock
Q) bi tada trebalo izvesti iz P. Za postizanje toga ograni~enje mogu}nosti
projektibilnosti moramo ugraditi u na~elo (2):
TEMPORALNA-PROJEKCIJA
Ako je za P mogu}a temporalna projekcija i ∆t < log(.5)/log(ρ) tada
vjerovanje da P-u-t predstavlja osporiv razlog ja~ine 2 . (ρ ∆t - .5) za
agenta da vjeruje P-u-(t + ∆t).
Nije to~no jasno koja je veza izme|u ograni~enja mogu}nosti projektibilnosti
koje se ti~e temporalne projekcije i one koja se ti~e indukcije, tako
da sam ozna~io neutralno kao »mogu}nost temporalne projekcije«. Primijetimo
kako kod nemogu}nosti temporalne projekcije, disjunkcije nisu
jedini krivci. Za pripisivanje svojstava objektima }e temporalna projekcija
op}enito biti mogu}a, ali za negiranje tih pripisivanja to ne mora biti
nu`no istinito. Na primjer, ~ini se da je za sud »x je crveno« temporalna
projekcija mogu}a. No sud »x nije crveno« ekvivalentan je disjunkciji »x
je plavo ili zeleno ili `uto ili naran~asto ili…« te se stoga ~ini da za njega
temporalna projekcija nije mogu}a. S duge strane postoje »bivalentna«
svojstva, kao {to su »mrtvo« ili »`ivo«, za negaciju ~ijeg pripisivanja je
projekcija mogu}a jer je ta negacija ekvivalentna pripisivanju suprotnog
svojstva (za koje je mogu}a temporalna projekcija). Za potpunu teoriju
ovog zaklju~ivanja TEMPORALNU-PROJEKCIJU moramo nadopuniti
analizom mogu}nosti temporalne projekcije. Na`alost to se ne pokazuje
ni{ta lak{im od analize mogu}nosti projekcije kakva se javlja u indukciji.
U ovom trenutku ne mogu ponuditi odgovaraju}u analizu.
TEMPORALNA-PROJEKCIJA se tako|er mora nadopuniti prikazom
pobijanja tog osporivog zaklju~ivanja, ali time se ovdje ne}u baviti. 21
7. Implementiranje temporalne projekcije
Kako bi uspje{no implementirali TEMPORALNU-PROJEKCIJU, nu`an
nam je ispit za mogu}nost temporalne projekcije formula. Budu}i da
nemamo teoriju mogu}nosti temporalne projekcije, rafinirat }u to pretpostavljaju}i
da je za atomske formule, negacije atomskih formula ~iji su
predikati na popisu bivalentnih-predikata te njihove konjunkcije tempo-
21 Za vi{e o tome, vidi Pllock, »Reasoning about Change and Persistence«.
504