Falsifiointi

**Falsifiointi** eli **falsifioiminen** (U \rightarrow \neg O

Havainto *O* kuitenkin tehdään:

:\ \ O

Näin modus tollensilla seuraa:

:\neg U

Vaikka tällainen falsifiointi on pätevä, se on hyvin rajallinen. Näkemystä on myöhemmin kutsuttu naiiviksi falsifikationismiksi, ja muun muassa konfirmaatioholismi suuntautuu sitä vastaan. Konfirmaatioholismin mukaan lähes mikä tahansa väite voidaan saada sopimaan yhteen yksittäisen uuden havainnon kanssa, mikäli väitteen taustateorioihin tehdään tarvittavia muutoksia. Esimerkiksi jos kuullaan, että Australiasta on löydetty mustajoutsenia, teoriaan voidaan lisätä jokin sopiva *[[ad hoc]]* -hypoteesi, kuten ”kaikki joutsenet ovat valkoisia, paitsi eräät Australiasta löydetyt joutsenet” tai ”kaikki joutsenet ovat valkoisia ja Australiassa suoritetut lintuhavainnot ovat epäluotettavia”.

Konfirmaatioholismi perustuu Pierre Duhemin ja W. V. O. Quinen ajatuksiin. Popper itse käsitteli naiivin falsifioinnin ongelmia teoksessaan *[[The Logic of Scientific Discovery]]*.

### Myöhempi falsifikationismi

Naiivi falsifikationismi siis epäonnistui pyrkimyksessään määrätä tieteelle jokin välttämätön menetelmä, jota tieteilijöiden tulisi käyttää. Tämä on seurausta siitä, että naiivin falsifioinnin kohteena ovat yksittäiset tieteelliset väittämät. Tieteelliset teoriat koostuvat kuitenkin joukosta tällaisia väittämiä, ja nämä joukot ovat niitä, joita tieteilijöiden tulee hyväksyä tai hylätä.

Naiivin falsifioinnin tilalle Popper muotoili ajatuksen tieteestä falsifioituvien teorioiden hylkäämisen kautta kehittyvänä prosessina. Falsifioidut teoriat tullaan korvaamaan teorioilla, jotka voivat selittää ne ilmiöt, jotka falsifioivat aiemman teorian, eli teorioilla, joilla on suurempi selitysvoima. Popper katsoi, että tieteilijältä vaaditaan päätös teorian muodostavien tai sen falsifioivien väittämien hyväksymisestä tai hylkäämisestä. Jossain vaiheessa teoriaan lisättyjen *ad hoc* -hypoteesien ja huomiotta jätettyjen teorian falsifioivien havaintojen paino tulee niin suureksi, ettei teoriaa voida enää tukea, ja päätös sen hylkäämisestä tapahtuu.

Esimerkiksi aristoteelinen mekaniikka selitti arkipäiväiset havainnot, mutta Galileo Galilein tekemät kokeet falsifioivat ne, ja myöhemmin Newtonin mekaniikka syrjäytti sen selittämällä Galileon ja monien muiden havaitsemat ilmiöt, joita aristoteelinen mekaniikka ei kyennyt selittämään. Newtonilainen mekaniikka kykeni selittämään muun muassa planeettojen liikkeet ja kaasujen mekaniikan suuressa määrin. Se ei kuitenkaan kyennyt selittämään esimerkiksi Merkuriuksen radan periheliliikettä, minkä Albert Einsteinin yleinen suhteellisuusteoria selitti. Atomitasolla Newtonin mekaniikan osoittivat virheelliseksi niin kutsuttu ultraviolettikatastrofi sekä Gibbsin paradoksi, ja sen syrjäytti kvanttimekaniikka.

Vastaavasti Thomas Youngin valon aaltoteoria syrjäytti Newtonin teorian valohiukkasista, mutta Michelsonin–Morleyn koe puolestaan osoitti sen virheelliseksi. Myöhemmin sen syrjäyttivät James Clerk Maxwellin elektrodynamiikka ja Einsteinin erityinen suhteellisuusteoria, jotka selittivät havaitut ilmiöt. 

Kussakin vaiheessa uudet havainnot tekivät aiemmasta teoriasta kestämättömän (eli falsifioivat sen) ja tilalle löydettiin uusi teoria, joka oli selitysvoimaltaan suurempi (eli kykeni selittämään aiemmin selittämättömissä olleet ilmiöt) ja seurauksena tarjosi paremmat mahdollisuudet sen itsensä falsifioinnille.

## Falsifikationismi ja demarkaatio-ongelma

Popper käytti falsifiointia demarkaatio-ongelman ratkaisemiseen vetämään rajan tieteellisten ja epätieteellisten teorioiden välille. Tässä falsifikationismi oli tarkoitettu korvaamaan verifikationismi. Verifikationismin mukaan väittämän tulee olla empiirisesti verifioitavissa eli vahvistettavissa, jotta se olisi sekä merkityksellinen että tieteellinen. Tämä oli keskeinen osa loogisen empirismin ja niin kutsutun Wienin piirin ohjelmaa.

Popper havaitsi, että Wienin piirin filosofit olivat sekoittaneet kaksi erillistä ongelmaa, lauseiden merkityksellisyyden ongelman ja demarkaatio-ongelman, ja esittäneet verifikationismia yhtenä ratkaisuna kumpaankin. Popper sen sijaan katsoi, että on olemassa merkityksellisiä teorioita, jotka eivät ole tieteellisiä, eikä merkityksellisyyden kriteeri siksi liity demarkaatio-ongelmaan. Falsifikationismi vastustaa sitä näkemystä, että falsifioimattomissa olevat väittämät olisivat mielettömiä tai muutoin huonoja.

Falsifikationismin mukaan siis sellainen teoria, jota ei voida osoittaa vääräksi, ei täytä tieteen tunnusmerkkejä. On hyödyllistä tietää, onko jokin teoria falsifioitavissa, jos ei muuten niin siksi, että se auttaa sen ymmärtämisessä, kuinka teoriaa voidaan arvioida. Tällöin voidaan esimerkiksi välttää sitä, että yritettäisiin falsifioida teoria, joka ei edes ole falsifioitavissa.

Esimerkiksi psykoanalyysia on väitetty teoriaksi, jota on vaikea kumota. Toinen yksinkertainen esimerkki teoriasta, jota ei voida kumota, kuuluu ”vihreitä joutsenia on olemassa”. Väitettä ei voida osoittaa vääräksi, ja niin ollen sitä ei voida pitää tieteellisenä.

Popperilainen kriteeri ei sulje tieteen piiristä yksittäisiä falsifioimattomissa olevia *väittämiä* vaan *kokonaisia teorioita*, jotka eivät sisällä yhtään falsifioitavissa olevaa väittämää. Tällöin jää jäljelle konfirmaatioholismiin liittyvä ongelma siitä, mikä muodostaa ”koko teorian”.

Popperille falsifioitavuus oli erityistapaus yleisemmästä teorioiden kritisoitavuuden ajatuksesta, vaikkakin hän myönsi, että falsifiointi on yksi tehokkaimpia menetelmiä, joilla teorioita voidaan kritisoida. Popper katsoi, että myös falsifioimattomissa olevat väittämät ovat tärkeitä tieteen kannalta, ja tieteelliset teoriat sisältävät osinaan myös tällaisia väittämiä. Popper käytti termiä ”metafyysinen tutkimusohjelma” kuvaamaan sellaisia teorioita, jotka eivät ole falsifioitavissa, mutta ovat kuitenkin hyödyllisiä. Eräänä esimerkkinä hän käytti evoluutioteoriaa. Myöhemmin Popper perui kuitenkin näkemyksensä ja myönsi evoluutioteorian olevan falsifioitavissa. 

Yhdysvalloissa falsifioitavuus oli eräs kriteereistä, jonka perusteella oikeus totesi ”luomistieteen” epätieteelliseksi Arkansasissa vuonna 1981 käydyssä oikeudenkäynnissä (McLean v. Arkansas). Periaate on myös osana Daubert Standardia, joka määrittää, missä määrin tieteellinen todistusaineisto kelpaa oikeudenkäynneissä.

## Kritiikki

### Kuhn, Lakatos ja Feyerabend

Siinä missä Popper oli kiinnostunut pääasiassa tieteen logiikasta, Thomas Kuhn tutki vaikutusvaltaisessa teoksessaan *[[Tieteellisten vallankumousten rakenne]]* (1962) tieteen historiaa. Kuhn katsoi, että tieteilijät työskentelevät sellaisen käsitteellisen paradigman sisällä, joka vaikuttaa vahvasti siihen, miten he tulkitsevat havaintoja. Tieteilijät puolustavat paradigmaansa pitkään kaikkia falsifiointiyrityksiä vastaan lisäämällä olemassa oleviin teorioihin *[[ad hoc]]* -hypoteeseja. Paradigman vaihtaminen on vaikeaa, koska se vaatii tutkijalta vahvaa poikkeamista työtovereiden näkemyksistä ja epäortodoksisen teorian puolustamista.

Jotkut falsifikationistit näkivät Kuhnin teoksen vahvistavan falsifikationismin, koska se tarjosi historiallista aineistoa sen tueksi, että tiede etenee hylkäämällä riittämättömiä teorioita ja että falsifikationismin kannalta keskeisiä ovat tieteilijöiden tekemät päätökset hyväksyä tai hylätä joku teoria.

Imre Lakatos kuului näin ajatelleisiin. Hän pyrki selittämään Kuhnin tulokset esittämällä, että tiede etenee tutkimusohjelmien falsifioinnin eikä teorioiden naiivin falsifioinnin kautta. Lakatosin lähestymistavassa tieteilijä työskentelee tutkimusohjelman, joka vastaa suurin piirtein Kuhnin ”paradigmaa”, sisällä. Siinä missä Popper hylkäsi *ad hoc* -hypoteesien lisäämisen epätieteellisenä, Lakatos hyväksyi ne osaksi uusien teorioiden muodostamista.

Jotkut tieteenfilosofit, kuten Paul Feyerabend, ovat katsoneet Kuhnin teoksen osoittavan, että sosiaaliset tekijät, eikä niinkään jonkun rationaalisen menetelmän noudattaminen, määräävät sen, mikä tieteellisistä teorioista saa yleisen hyväksynnän. Tällaisen jyrkän tulkinnan ovat hylänneet muun muassa Alan Sokal sekä Kuhn itse.

Feyerabend tutki tieteen historiaa vielä kriittisemmin ja hylkäsi lopulta kaikki preskriptiiviset metodologiat. Hän hylkäsi kaikki tieteelliset menetelmät sekä tieteen vaatimukset auktoriteetista mihinkään tällaisiin menetelmiin vedoten. Sen sijaan hän katsoi, että jos tulisi valita jokin metodologinen sääntö, tietoteoreettinen anarkismi olisi ainoa vaihtoehto. Feyerabendille tieteen kaikki sellainen sosiaalinen status, joka tieteellä voi olla, on seurausta tieteen sosiaalisesta ja fysikaalisesta arvosta enemmän kuin sen menetelmistä.

### Nykyfilosofit

Monet nykytieteenfilosofit ja analyyttiset filosofit, kuten W. H. Newton-Smith, Kurt Hübner, John W. N. Watkins, A. J. Ayer, Mary Hesse, Geoffrey James Warnock, Arnold Levison, Jennifer Trusted, Anthony O'Hear, George N. Schlesinger, Adolf Grünbaum, Alan Musgrave, R. H. Vincent, Henry E. Kyburg, Jr., John Worrall, Herbert Feigl, L. Jonathan Cohen, Wesley C. Salmon, Ilkka Niiniluoto, Raimo Tuomela, Colin Howson, Hilary Putnam, David Stove ja Richard C. Jeffrey, ovat kritisoineet Popperin tieteenfilosofiaa paljon. Se, ettei Popper luottanut induktiiviseen päättelyyn, on johtanut väitteisiin siitä, että hän olisi antanut tieteen käytännöistä virheellisen kuvan. Useimmat ammattitieteenfilosofit eivät ole koskaan asettaneet popperilaista näkemystä probabilistisen induktion edelle.

### Fyysikot

Fyysikot Alan Sokal ja Jean Bricmont kritisoivat falsifioitavuutta teoksessaan *Fashionable Nonsense* (julkaistu myös nimellä *Intellectual Impostures*) sillä perusteella, ettei se kuvaa totuudenmukaisesti sitä, miten tiede todella toimii. Heidän mukaansa teorioita käytetään siksi, että ne menestyvät, ei siksi, että toiset teoriat epäonnistuvat.

Sokalin ja Bricmontin mukaan tieteilijät katsovat sellaisen teorian, joka menestyy falsifiointiyrityksiä vastaan, olevan osittain vahvistettu tai ainakin todennäköisempi. Heidän mukaansa Popper vastusti kaikenlaista teorioiden vahvistamista tai jopa niiden pitämistä todennäköisempinä. Tieteen historia kuitenkin osoittaa, että teoriat tulevat hyväksytyksi menestyksensä ansiosta. Sokalin ja Bricmontin mukaan falsifioitavuus ei kykene myöskään erottamaan esimerkiksi tähtitiedettä ja astrologiaa, koska kummatkin tekevät teknisiä ennusteita, jotka ovat joskus virheellisiä.

David Miller, kriittisen rationalismin kannattaja, on puolustanut Popperia näitä väitteitä vastaan

## Katso myös
* Fallibilismi
* Occamin partaveitsi
* Tieteellinen menetelmä

## Lähteet

* 
* 
* Peirce, C. S.: "Lectures on Pragmatism", Cambridge, MA, March 26 – May 17, 1903. *Collected Papers*, CP 5.14–212. Myös teoksessa 
* 
* 

### Viitteet

## Aiheesta muualla

* 
*