Epistemologija

16. Proceduralna epistemologija
Jednostavni razlozi-unaprijed nemaju premisa-unazad, a jednostavni
razlozi-unazad nemaju premisa-unaprijed. Ako su zadani ~vorovi izvo|enja
koji instanciraju premise jednostavnog razloga-unaprijed, zaklju~iva~
izvodi odgovaraju}e pojedine konkluzije. Sli~no tome, ako je zadano zanimanje
koji instancira konkluziju jednostavnog razloga-unazad, zaklju~iva~
usvaja zanimanje za odgovaraju}e pojedine premise unazad. Ako su
zadani ~vorovi izvo|enja koji ispunjavaju to zanimanje, konkluzije se
izvode iz tih ~vorova.
U deduktivnom zaklju~ivanju, uz iznimku od pravila {to je predstavlja
reductio ad absurdum, vrlo je vjerojatno da }emo nai}i samo na jednostavne
razloge-unaprijed i razloge-unazad. 18 No kori{tenje premisa-unazad u
razlozima-unaprijed i kori{tenje premisa-unaprijed u razlozima-unazad
daje nam vrijedan oblik kontrole nad na~inom na koji se zaklju~ivanje
odvija. To }emo detaljno ilustrirati u nastavku. Mje{oviti razlozi-unaprijed
i razlozi-unazad su oni koji imaju i premise-unaprijed i premise-unazad.
Ako su zadani ~vorovi izvo|enja koji instanciraju premise-unaprijed
mje{ovitog razloga-unaprijed, zaklju~iva~ ne izvodi konkluziju odmah.
Umjesto toga, on usvaja zanimanje za odgovaraju}e pojedine premise-
-unazad, a izvo|enje se vr{i tek kad je to zanimanje ispunjeno. Sli~no
tome ako je zadano zanimanje koje instancira prvi zaklju~ak mje{ovitog
zaklju~ivanje-unazad, zanimanje za premise-unazad ne usvaja se odmah.
Zanimanje za premise-unazad usvaja se samo kad su ~vorovi izvo|enja
konstruirani tako da instanciraju premise-unaprijed.
Tako|er su mogu}i degenerirani razlozi-unazad koji posjeduju samo
premise-unaprijed. Kod degeneriranih razloga-unazad, s obzirom na zanimanje
koje instancira prvi zaklju~ak, zaklju~iva~ postaje »osjetljiv na«
~vorove izvo|enja koji instanciraju premise unaprijed, ali ne usvaja zanimanje
za njih (te stoga aktivno tra`i argumente da ih utvrdi). Ako se
odgovaraju}i ~vorovi izvo|enja dobiju drugim zaklju~ivanjem, dolazi do
izvo|enja konkluzije. Degenerirani razlozi-unazad su stoga vrlo nalik jednostavnim
razlozima-unaprijed, s tom razlikom {to se konkluzija izvodi
samo ako postoji zanimanje za nju.
U projektu OSCAR razlozi se najlak{e definiraju macro-naredbama
DEF-RAZLOG-UNAPRIJED i DEF-RAZLOG-UNAZAD:
18 O tome se op{irnije raspravlja u 2. poglavlju uputstava za OSCAR (The OSCAR
Manual).
497