Gettierin ongelma
Gettierin ongelma on tietoteoreettinen ongelma, joka perustuu perinteistä tiedon määritelmää, jonka mukaan tieto on hyvin perusteltu tosi uskomus, kohtaan esitettyihin vastaväitteisiin. Ongelma on saanut nimensä Edmund Gettieriltä, joka hätkähdytti filosofeja vuonna 1963 julkaisemallaan artikkelilla ”Is Justified True Belief Knowledge?”. Siinä hän pyrki osoittamaan perinteisen näkemyksen virheellisyyden.
Gettier osoitti, ettei perinteinen kolmiosainen tiedon analyysi ole riittävä ainakaan nykymuodossaan, koska sitä vastaan on helppo kehittää erilaisia vasta-argumentteja. Ne pyrkivät osoittamaan esimerkiksi, että jokin uskomus voi olla joko a) epätosi tai b) sattumalta tosi, mutta täysin epäoikeutettu; vaikka uskomus olisi analyysin perusteella oikeutettu. Gettierin artikkeli on ollut innokkaan keskustelun kohteena tietoteoreetikkojen piirissä julkaisuajankohdastaan lähtien.
Gettier pyrki osoittamaan artikkelissaan kahden vastaesimerkin avulla, että perinteisen näkemyksen kolmen ehdon täyttyminen ei vielä riitä siihen, että voimme sanoa jonkin henkilön tietävän jotakin. Toinen Gettierin vastaesimerkeistä on seuraavan kaltainen tarina:
Smithillä on hyvä perustelu käsitykselleen. Jos hänen käsityksensä on vielä tosi, seuraa perinteisen näkemyksen nojalla, että hän tietää, että työpaikan saajalla on täsmälleen 3 kolikkoa taskussaan. Ajatellaan, että on käynyt seuraavasti. Johtaja päättikin kaikkien yllätykseksi, että Jones saa työpaikan. Lisäksi, aivan sattumalta, Jonesillakin on taskussaan täsmälleen 3 kolikkoa. Tässä tapauksessa Smithillä todellakin on oikeutettu tosi käsitys, joten vaikuttaa siltä, että jos klassinen näkemys pitää paikkaansa, niin Smith tietää, että työpaikan saajalla on täsmälleen 3 kolikkoa taskussaan.
Monet filosofit, Gettier etunenässä, ovat tehneet yllä esitetystä tarinasta ja muista vastaavista esimerkeistä sen johtopäätöksen, että perinteisessä näkemyksessä on jotakin vikaa. Tarina ei tunnu kuvaavan tilannetta, jossa Smithillä on tietoa, vaan tilanteen, jossa Smithillä on tosi uskomus ja vain "sattumalta" oikeaan uskomukseen ohjanneet perustelut.
Gettierin ongelman esiin tuovat argumentit ovat yleensä rakenteeltaan seuraavankaltaisia:
Toinen Gettier-kaltainen esimerkki, joka kertoo tiedon klassisen määritelmän heikkoudesta, on ns. "lammas laitumella" -esimerkki, joka kuuluu seuraavasti: Henkilö näkee laitumella lampaan, joka todellisuudessa onkin lammaskoira. Näköesteen (esim. kivi tai kukkula) takana on samalla laitumella kuitenkin oikea lammas. Näin ollen, jos henkilö väittää tietävänsä, että "laitumella on lammas" hän on oikeassa, vaikka ei näekään oikeaa lammasta vaan koiran. Filosofinen ongelma siis kuuluu: Onko henkilöllä tietoa lampaasta? Perinteisen tiedon määritelmän mukaan on, mutta tämä perustelu on ristiriidassa arkijärjen kanssa.
Perinteiselle tiedon analyysille on esitetty monia parannuksia tarkoituksena estää Gettier-tyyppiset ongelmat. Jotkut filosofit ovat etsineet neljättä ehtoa, jonka lisääminen tekisi perinteisestä tiedon analyysistä hyväksyttävän. Toiset ovat taas yrittäneet esittää niin kutsutun reliabilistisen tietoteorian, analysoiden sanan ”tieto” merkitystä korvaten perinteisen oikeutusehdon jonkinlaisella luotettavuusehdolla. Tällaisista teorioista on mainetta kerännyt muiden muassa Robert Nozickin teoria. Niin kutsutussa hyvetietoteoriassa, jonka tunnetuimpiin kehittäjiin kuuluu Linda T. Zagzebski, puolestaan tarkastellaan käsityksen muodostajan ominaisuuksia.
Robert Nozick on pyrkinyt ratkaisemaan Gettierin ongelman tarjoamalla lisäehtoja ja käyttämällä apuna esimerkiksi kontrafaktuaalista konditionaalia. Nozick huomauttaa, että tiedon täytyy olla kytkettynä todellisuuteen kumminkin päin: mikäli jokin tosiseikka ei vallitse, uskomusta ei pidä olla; ja mikäli tosiseikka vallitsee, uskomus pitää olla. Jos tosiseikka vallitsisi, uskomuksen pitäisi aina seurata; ja jos tosiseikka ei vallitsisikaan, uskomuksen pitäisi kadota.
Nozickin esittämä tiedon analyysi on näin seuraava:Lisäksi Nozick esittää huomioita uskomuksen aikaansaavan menetelmän luotettavuudesta. Ne mukaan lukien tiedon analyysi voidaan esittää seuraavasti:Keith Lehrer on esittänyt tiedon analyysiksi seuraavaa: "S" tietää, että "h", kun: