A causal account of knowing

Kokkuvõte

Edmund Gettier tuletas 1963. aastal meelde, et väljendi "S teab, et p" traditsiooniline analüüs ei ole adekvaatne (vaata Gettieri probleem). (Sellele osutas juba Bertrand Russell raamatus The Problems of Philosophy (Filosoofia probleemid; 1912).)
Seda analüüsi püüdsid hiljem mitu korda korrigeerida järgmised inimesed-  Michael Clark 1963. aasta teoses "Knowledge and Grounds: A Comment on Mr. Gettier's Paper", Ernest Sosa 1964. aasta teoses "The Analysis of 'Knowledge that p ' " ja Keith Lehrer 1965. aasta teoses "Knowledge, Truth, and Evidence", Analysis, 
Selles artiklis püüab Goldman pakkuda väljendile "S teab, et p" uue analüüsi, mis Gettieri probleemi ära hoiab. Ta tegelen ainult empiiriliste propositsioonidega, sest ta peab  mitteempiiriliste tõdede korral traditsioonilist analüüsi adekvaatseks. 
Vaatleme Gettieri teist vastunäidet (vaata Gettieri probleem) lühendatud kujul. Smith usub, et 
(q) Jonesil on Ford, 
ja tal on selle kohta väga tugev tõendmaterjal. Näiteks: Jonesil on aastaid Ford olnud ja ta äsja sõidutas Jonesi Fordiga. Smithil on üks tuttav, kelle nimi on Brown ja kelle asukohast tal pole aimugi. Smith valib huupi ühe linna ja konstrueerib propositsiooni 
(p) Jonesil on Ford või Brown on Barcelonas. 
Propositsioonist q järeldub propositsioon p. Smith jõuab järeldab, et p on tõene. Et tal on q kohta adekvaatne tõendmaterjal, siis tal on adekvaatne tõendmaterjal ka p kohta. Oletame aga, et  Jonesil tegelikult Fordi ei ole (ta sõidutas Smithi üüritud autoga), aga Brown ongi juhuslikult Barcelonas. Siis propositsioon p on tõene, Smith usub propositsiooni  p ja Smithil on p kohta adekvaatne tõendusmaterjal. Kuid Smith  ei tea, et p.
Selle seletamiseks, et Smith ei tea, et p, saab püstitada mitmesuguseid hüpoteese. Näiteks Michael Clark osutab asjaolule, q on väär, ning oletab, et sellepärast ei saagi öelda, et Smith teab, et p. Seda juhtumit üldistades ütleb Clark, et selleks, et S mingit propositsiooni teaks, peavad S-i kõik alused olema tõesed, samuti nende aluste kõik alused jne. Mina esitan teise hüpoteesi selle seletamiseks, et ei saa öelda, et Smith teab, et p, ja üldistan selle hüpoteesi väljendi "S teab, et p" uueks analüüsiks.
Pöörake tähelepanu sellele, et propositsiooni p teeb tõeseks asjaolu, et Brown on Barcelonas, kuid sel asjaolul ei ole sellega, et Smith usub, et p, mingit pistmist.  Puudub põhjuslik seos Browni Barcelonas olemise ja Smithi uskumise vahel, et p. Kui Smith oleks hakanud propositsiooni p uskuma sellepärast, et ta luges Browni kirja, millel on Barcelona postitempel, siis me saaksime öelda, et Smith teab, et p.  Või kui Jonesil oleks olnud Ford ja ta siis oleks Smithi sõidutanud ja see oleks pannud Smithi uskuma, et p, siis me ütleksime, et Smith, teab, et p. Nii et üks asi, mis paistab Gettieri näites puuduvat, on põhjuslik seos fakti vahel, mis teeb p tõeseks (ehk: fakti vahel, et p), ja Smithi uskumuse vahel, et p. Säärase põhjusliku seose nõude ma tahangi traditsioonilisele analüüsile lisada. 
Selleks, et näidata, et kõikidel (empiirilise) teadmise juhtudel on see nõue rahuldatud, tuleb sääraseid põhjuslikke seoseid lähemalt uurida.

Taju

Kõige lihtsam kausaalne ahel, mis seob mingit fakti, et p, kellegi uskumusega, et p, on vast taju. Ma lähtun siin kausaalsest tajuteooriast, mis on lähedane Herbert Paul Grice'i kausaalsele tajuteooriale ("The Causal Theory of Perception",  Proceedings of the Aristotelian Society, 1961).  Oletame, et S näeb, et tema ees on vaas. Kuidas on see mõisteliselt analüüsitav? Ma ei püüa seda täielikult analüüsida, kuid üks tarvilik tungimus selleks, et S näeks, et tema ees on laud, on see, et vaasi kohaloleku ja S-i uskumise vahel, et vaas on kohal, oleks teatavat tüüpi põhjuslik seos.  Ma ei püüa seda põhjuslikku seost täpselt kirjeldada. Suurelt jaolt ei ole see mitte filosoofia, vaid eriteaduste ülesanne. Aga mingi kausaalne protsess seal aset leiab, nimelt see, mis tavaliselt aset leiab, kui me ütleme, et keegi midagi näeb.  Seda, et meie tavaline nägemisemõiste (nägemise abil saadud teadmise mõiste) sisaldab mingit põhjuslikkusenõuet, näitab asjaolu, et kui asjakohane põhjuslik seos puudub, siis me nägemisest ei räägi. Oletame, et kuigi vaas on otse S-i ees, on vaasi ja S-i vahel hologramm, mis varjab vaasi S-i pilgu eest ära. Ent hologrammil on vaas (üks teine vaas), ja kui laser seda valgustab, paistab ta S-ile täpselt samasugusena nagu päris vaas. S hakkab valgustatud hologrammi nähes uskuma, et tema ees on vaas. Me ei ütleks sel juhul, et S näeb, et tema ees on vaas, sest päris vaas on tema pilgu eest täielikult varjul, nii et tal pole S-i uskumuse kujunemises mingit kausaalset rolli. Muidugi võib S seda, et tema ees on vaas, teada ka siis, kui hologramm selle tema pilgu eest ära varjab. Keegi teine, kes vaasi näeb, võib S-ile öelda, et tema ees on vaas. Sel juhul võib vaasi kohalolek olla S-i uskumuse kausaalne eellane, kuid kausaalne protsess ei ole (puht)tajuline. Ei saaks öelda, et S näeb, et tema ees on vaas. Et viimane oleks tõsi, selleks on tarvis erilist tüüpi kausaalset protsessi, mis seob vaasi kohalolekut S-i uskumusega.   
Ma eeldan allpool, et faktide tajumuslik teadmine on mittejärelduslik. See on lihtsustus, mis minu teooriat ei kitsenda. Igatahes ei järelda tajuja fakte füüsiliste esemete kohta oma aju seisundist ega oma meeleelundite stimuleeritusest.  Ta ei pruugi nendest asjadest üldse midagi teada. Aga mõned epistemoloogid väidavad, et me tajume vahetult meelteandmeid ning järeldame nendest füüsiliste esemetega seotud fakte. Minu analüüsi saaks sellise arusaamaga kohandada.  Ma võiksin öelda, et füüsiliste esemetega seotud faktid põhjustavad meelteandmeid, inimesed tajuvad otseselt meelteandmeid ja nad järeldavad füüsiliste esemetega seotud fakte meelteandmetest.

Mälu

Vaatleme nüüd teadmist, mis osaliselt põhineb mälul. Nagu taju, nii ka mäletamist tuleb vaadelda kausaalse protsessina.  S mäletab propositsiooni p ajahetkel t ainult juhul, kui S-i uskumine, et p, mingil varasemal ajahetkel põhjustas tema uskumise, et p, ajahetkel t. Muidugi ei ole igasuguse põhjusliku seose puhul varasema ja hilisema uskumuse vahel tegemist mäletamisega. Kuid ma ei hakka seda protsessi täpsemalt kirjeldama. Selle asemel viitame lihtsalt mäletamise näidisjuhtudele ja ütleme, et mäletamine on seda tüüpi protsess.  
Põhjuslik seos propositsiooni p mingi varasema uskumise (või teadmise) ja selle mingi hilisema uskumise (teadmise) vahel on igatahes mäletamise olemuslik koostisosa.  Mingi fakti mäletamine ei ole lihtsalt selle uskumine hetkel t₀ pluss selle uskumine  hetkel t₁. Samuti ei järeldu sellest, et keegi teab mingit fakti hetkel  t₀ ning teab seda hetkel t₁, et ta seda hetkel t₁ mäletab. Võib ju olla nii, et hetkel t₀ ta tajus seda fakti, siis unustas ära ja hetkel t₁ sai selle uuesti teada, sest keegi ütles talle seda.  Samuti ei taga see, et kellelgi on mäletamisetunne või -mulje, et ta tõesti mäletab.  Oletame, et S tajub hetkel t₀, et p, kuid hetkel t₁ unustab selle. Hetkel t₂ hakkab ta uuesti uskuma, et p, sest keegi ütleb talle, et p, kuid hetkel t₂ tal ei ole muljet, et p. Hetkel t₃ kutsutakse S-il kunstlikult esile mulje, et ta mäletab, et p. Sellest ei järeldu, nagu S hetkel t₃ mäletaks, et p. Selle juhtumi kirjelduse järgi ei ole sellel, et S hetkel t₀ usub, et p, mingit kausaalset mõju sellele, et ta hetkel t₃ usub, et  p. Seetõttu me ei ütleks, et ta hetkel t₃ mäletab, et p.

Järeldamine

Teadmiseni on võimalik jõuda taju ja mälu koostoimel. Hetkel t₀ põhjustab   fakt, et p, taju kaudu selle, et S usub, et p. S-i uskumine hetkel t₀, et p, põhjustab mälu kaudu selle, et S usub hetkel t₁, et p. Nõnda osaleb fakt, et p, selle põhjustamisel, et   S hetkel t₁ usub, et p, ning võib öelda, et S hetkel  teab, et p. Aga mitte igasugune teadmine ei sünni üksnes tajust ja mälust. Muuhulgas põhineb suur osa teadmisest järeldamisel. 
Ma kasutan sõna "järeldamine" siin niisuguses tähenduses, et see, et S teab, et   p, järeldamise kaudu, ei tähenda tingimata, et S oleks läbi teinud eksplitsiitse, teadvustatud järeldamisprotsessi. Ta ei pea tingimata olema "iseendaga rääkinud", öeldes midagi taolist: "Et see ja see on tõsi, siis ka p peab olema tõene."  Minu uskumus, et kuskil lähedal on tulekahju, põhineb minu uskumusel (on järeldatud minu uskumusest), et ma kuulen tuletõrjeauto sireeni.   Kuid ma ei ole läbi teinud eksplitsiitset arutlemisprotsessi, öeldes: "Seal on tuletõrje auto; järelikult peab kuskil siin olema tulekahju." Kui sõna "järeldamine" tavaliselt kasutatakse ainult siis, kui on tegemist eksplitsiitse järeldamisega, siis mina kasutan seda terminit mõnevõrra laiemas tähenduses.  
Oletame, et S tajub, et mitmel pool maal on hangunud laavat. Toetudes sellele uskumusele pluss taustuskumustele laava tekkimise kohta, jõuab S järeldusele, et lähedal asuv tulemägi on sajandeid tagasi pursanud. Oletame, et see on väga tugev induktiivne järeldus, mis annab S-ile adekvaatse tõendmaterjali uskumiseks, et sajandeid tagasi tõesti oli vulkaanipurse. Oletame ka, et see propositsioon on tõene. Kas siis  S teab seda? See sõltub selle kausaalse protsessi iseloomust, mis selle uskumuseni viis. Kui on olemas katkematu kausaalne ahel, mis tema meelest seob fakti, et vulkaan purskas, sellega, et tema seda fakti usub, siis S teab seda. Kui aga säärast kausaalset ahelat ei ole, siis S seda propositsiooni ei tea. 
Oletame, et mägi purskab, jättes ümbrusesse laavat. Laava jääb sinna, kuni S tajub seda ja järeldab, et mägi purskas.  Aga oletame nüüd, et pärast vulkaanipurset keegi kuidagi koristas kogu laava ära. Sajand hiljem otsustab üks teine inimene (kes ei teagi, et seal vulkaanipurse oli) jätta mulje, nagu seal oleks olnud vulkaan, ja paneb sellepärast siia-sinna laavat. Veel hiljem satub S selle laava peale ning teeb järelduse, et sajandeid varem on seal olnud vulkaanipurse.  Sel juhul ei saa öelda, et S propositsiooni teab. Asi on selles, et vulkaanipurse ei olnud selle põhjuseks, et  S usub, et vulkaanipurse aset leidis. Tarvilik tingimus selleks, et S teaks, et p, on see, et tema uskumus, et p oleks kausaalse ahela kaudu  p-ga seotud.
Tekib aga küsimus, kas ahela järelduslik osa on ise kausaalne ahel. Teiste sõnadega, kas S-i uskumine, et q, on põhjuseks tema uskumisele, et p? Sellele küsimusele ma ei püüa üheselt vastata. Ma kaldun ütlema, et järeldamine on kausaalne protsess, kuid ma ei taha, et minu tees sõltuks sellest väitest. Seetõttu ma väidan üksnes seda, et kui kausaalsele ahelale on "liidetud" järelduste ahel, siis kogu ahel on kausaalne.
(Mingi fakt võib olla mingi uskumuse põhjuseks ka juhul, kui uskumus ei ole sellest faktist alguse saanud. Oletame, et ma usun, et teatud maakohas on järv, ning see uskumus sai alguse nii, et sellel polnud seost järve olemasoluga. Mul on ikka veel see uskumus, ja ma lähen kohale ning tajun seal järve.  Nüüd muutub järve olemasolu selle põhjuseks, et ma järve olemasolu usun. See on nagu lauaplaadiga, mis toetub neljale jalale. Kui lisada viies sama pikk jalg, saab ka sellest jalast põhjus, miks lauaplaat ei kuku, kuigi plaadil oli ka varem kindel tugi.)

Tunnistus

Vaatleme nüüd tunnistusel põhinevat teadmist. Ka seda saab kausaalselt analüüsida. Fakt, et p, põhjustab taju kaudu selle, et isik p usub, et p. See, et T usub, et p, põhjustab selle, et ta väidab, et p. See, et T väidab, et p, põhjustab kuulmistaju kaudu selle, et S usub, et T väidab, et p. S järeldab, et T usub, et p, millest ta omakorda järeldab, et p on fakt. On olemas pidev kausaalne ahel p-lt S-i uskumisele, et p, ja kui eeldada, et S-i järeldused on iga kord õigustatud, siis võib öelda, et S teab, et p. 
Siin, nagu ka laava näites, teab S, et p, sellepärast, et ta rekonstrueeris õigesti kausaalse ahela, mis viib p-lt tõendmaterjalini p kohta, mida S tajub, käesoleval juhul selleni, et T väidab, et p. Säärane õige rekonstruktsioon on järeldamisel põhineva teadmise tarvilik tungimus. Et seda mõista, vaatleme järgmist näidet.   Ajakirjanik vaatleb p-d ja teatab sellest oma ajalehele. Aga trükkimisel tehti viga, nii ajalehes väidetakse p eitust. Ent lugeja ei pane sõna "ei" tähele, ja arvab, et ajaleht väidab, et p. Usaldades ajalehte, järeldab ta, et p on tõene.  Siin on meil pidev kausaalne ahel, mis viib p-lt S-i uskumiseni, et p. Ometi S ei tea, et p.   S arvab, et p põhjustas selle, et ajalehele teatati p-st, ja see omakorda põhjustas selle, et väide p trükiti lehes ära. Seega ta rekonstrueerib kausaalse ahela valesti. Selleks aga, et ta teaks, et p, ei tohi tema rekonstruktsioonis vigu olla. Ta ei pea küll rekonstrueerima kausaalse ahela kõiki üksikasju, kuid ta peab rekonstrueerima kõik tähtsad seosed. Lisanõue järeldamisel põhinevale teadmisele on see, et teadja järeldused oleksid õigustatud: propositsioonid, millele tema uskumus, et p, tugineb, peavad p-d tõesti väga tugevalt [kinnitus (epistemoloogia)|kinnitama]], olgu siis deduktiivselt või induktiivselt.   Kausaalse ahela rekonstrueerimine lihtsalt äraarvamise teel ei anna teadmist.

Clarki analüüs

Teadmise traditsiooniline analüüs esitab teadmisele kolm nõuet. Esiteks, p peab olema tõene. Teiseks, S peab uskuma, et p. Kolmandaks, kui S midagi järeldab, siis need järeldused peavad olema õigustatud. Michael Clark esitab teadmisele veel ühe nõude. Ta nõuab, et iga uskumus S-i järeldamisahelas peab olema tõene. Teiste sõnadega, kui traditsiooniline analüüs nõuab, et S-i uskumusele, et p, vastaks mingi fakt, siis Clark nõuab, et igale S-i uskumusele, millele tema uskumus, et p, toetub, vastaks mingi fakt.  
Clarki analüüs jätab välja kausaalsed seosed. Kuid ta saaks oma analüüsi niiviisi ümber sõnastada, et ta implitsiitselt nendele põhjuslikele seostele osutaks. Kui ta nõuaks, et teadja uskumuste seas oleksid (asjakohast tüüpi) kausaalsed uskumused, siis tema nõue, et need uskumused oleksid tõesed, taanduks nõudele, et oleksid olemas seda tüüpi kausaalsed ahelad, mida mina nõuan. Clarki analüüsi selline tõlgendus teeks ta minu omaga peaaegu ekvivalentseks ning võimaldaks tal vältida mõningaid vastuväiteid, mis talle on esitatud.  Kuid ta ei ole oma analüüsi eksplitsiitselt niimoodi sõnastanud, ja seetõttu jääb see selles suhtes puudulikuks.

Hargnevad ahelad

Enne kui hakkame vaatama raskusi, mis Clarki analüüsi puhul tekivad, tuleb öelda veel midagi minu enda analüüsi kohta. Seni on minu näidetest jäänud mulje, et kui S teab, et p, siis fakt, et p põhjustab tema uskumust, et p. Ent see ei peaks ilmselt paika. Oletame, et mul on võimalik teada tuleviku fakte. Kui sel juhul nõuda, et fakt, mida teatakse, põhjustaks teadja uskumust, siis meil tuleks tegemist teha "tagurpidi" põhjuslikkusega.  Minu analüüsil aga seda raskust ei teki. Analüüs nõuab, et p ja S-i uskumise vahel oleks kausaalne seos, mitte tingimata seda, et p oleks S-i uskumuse põhjus. p ja S-i uskumus, et p, võivad olla kausaalselt seotud viisil, mis annab teadmise juhul, kui p-l ja S-i uskumisel, et p, on ühine põhjus.  Seda võib illustreerida nii.
T kavatseb esmaspäeval linna minna. Pühapäeval räägib T S-ile oma kavatsusest. S kuuleb, et T ütleb, et ta läheb linna, ja järeldab, et T tõesti kavatseb linna minna.  Ja sellest teeb S järelduse, et  T läheb esmaspäeval linna. Oletame nüüd, et T teeb oma kavatsuse teoks ja lähebki esmaspäeval linna. Kui üldse võib öelda, et meil on tuleviku kohta teadmine, siis siin on tegemist niisuguse teadmise mõistliku kandidaadiga. Nii et ütleme, et S tõesti teadis seda propositsiooni. Kuidas minu analüüs saab S-i teadmist seletada? See, et T läheb esmaspäeval linna, ei saa muidugi olla selle põhjuseks, et S pühapäeval usub, et T esmaspäeval linna läheb. Aga sellel, et T läheb linna, ja sellel, et S usub, et T linna läheb, on ühine põhjus, nimelt see, et T pühapäeval kavatseb linna minna.  Selle kavatsuse tõttu T läks linna ja S uskus, et T läheb linna.    See põhjuslik seos S-i uskumuse ja fakti vahel, mida ta usub, võimaldab meil öelda, et S teab, et T läheb linna. 
Põhjuslikul seosel q ja p vahel on oluline roll selles, et S teab, et p. Oletame, et T pühapäevane kavatsus linna minna ei põhjusta seda, et ta esmaspäeval linna läheb. Oletame, et T ütleb S-ile, et läheb linna, aga pärast mõtleb ümber. Aga esmaspäeval sunnitakse ta relva ähvardusel linna minema. Selles näites leiavad aset nii q kui ka p, kuid nende vahel puudub põhjuslik seos. Kui muud asjaolud on samad mis eelmises näites, siis ei saa öelda, et S teab, et p. Oleks väär öelda, et T läheb esmaspäeval linna.  
Sirge kausaalse ahela korral räägime teadmise esimest tüüpi (Pattern 1) juhtudest , hargneva ahela korral teist tüüpi (Pattern 2) juhtudest. Viimased ei piirdu teadmisega tuleviku kohta. Ma tean, et eelmisel õhtul tuli minu korstnast suitsu. Ma tean seda sellepärast, et mäletan, et tajusin eelmisel õhtul oma kaminas tuld, ning ma järeldan, et tuli põhjustas selle, et korstnast tuli suitsu. Siin on tegemist teist tüüpi teadmise juhuga. See, et korstnast suitsu tuli, ei osalenud minu uskumuse põhjustamises. Ent fakt, et kaminas oli tuli, oli põhjuseks nii minu uskumusele, et korstnast tuli suitsu, kui ka faktile, et korstnast tuli suitsu. Kui me seda juhtumit pisut täiendame, siis me võime siin rääkida nii esimest kui ka teist tüüpi teadmisest. Oletame, et sõber ütles mulle täna, et tema tajus, et eelmisel õhtul, tuli minu korstnast suitsu, ja ma toetan, selle, et ma seda fakti jätkuvalt usun, tema tunnistusele. Siis oli see fakt põhjuseks sellele, et ma seda parajasti uskusin, aga ka ühe teise, minu uskumust põhjustanud fakti tagajärg.  Üldjuhul võib antud fakti ja selle vahel, et antud isik seda fakti usub, olla mitmesugust tüüpi põhjuslikke seoseid.