Privacy Policy Cookie Policy Terms and Conditions Induktion ongelma – Wikipedia

Induktion ongelma

Wikipedia

Induktion ongelma on, kuinka jonkin tapahtuman yleisyydestä voitaisiin päätellä jotain sen jatkuvuudesta. Jo 1700-luvulla filosofi David Hume kielsi kokonaan syysuhteen väittämällä sen perustuvan pelkkään tottumukseen.

Induktion ongelmaa selventää Bertrand Russellin kertomus, jossa erästä kanaa ruokitaan joka päivä. Joka aamu maanviljelijä astuu kanalaan ja heittelee jyviä maahan kanojen ruoaksi, joten induktiivisen tieteenkäsityksen valossa kanan kannattaa yleistää maajussin tulevan ruokkimaan häntä myös huomenna. Sen sijaan seuraavana päivänä maanviljelijä ottaakin kanan ja katkaisee sen kaulan. Russell päättelee, että ”Hienostuneempi näkemys maailman toiminnasta olisi ollut kanalle hyödyllinen”.

Havaintojen käyttö on induktiivista eli yleistävää päättelyä. Se ei ole logiikassa tai matematiikassa käytettyä päättelyä. Induktiivinen päättely perustuu yleistämiseen jostakin havaintojoukosta. Jos tehdään suuri määrä havaintoja karvaisista eläimistä, ja päätellään, että karvaiset eläimet synnyttävät eläviä poikasia (eivät siis lisäänny munista), käytetään yleistävää (induktiivista) päättelyä.

Johtopäätöksiä tekevässä (deduktiivisessa eli laskujohtoisessa) päättelyssä aloitetaan joistakin alkuehdoista (premisseistä) ja edetään loogisesti johtopäätöksiin, jotka seuraavat näistä alkuehdoista.

Esimerkkinä ovat seuraavat alkuehdot:

Kaikki linnut ovat eläimiä.
Kaikki joutsenet ovat lintuja.

Näistä voidaan tehdä seuraava johtopäätös:

Kaikki joutsenet ovat eläimiä.

Deduktiivisessa päättelyssä väitteiden totuus säilyy. Jos alkuehdot ovat tosia, myös johtopäätökset ovat tosia.

Induktiivisessa päättelyssä tilanne totuuden suhteen on toinen. Vaikka kaikki havaitut karvaiset eläimet olisivat synnyttäneet eläviä poikasia, ei voida olla varmoja, että tulevaisuudessa ei löydetä uutta eläinlajia, joka on karvainen mutta ei synnytä eläviä poikasia. Nykyisin tunnetaankin karvainen eläin, joka munii munia.

Ihmiset käyttävät induktiivista päättelyä koko ajan. Induktio saa meidät ajattelemaan, että tulevaisuus muistuttaa nykyisyyttä. Ihmisten elämä itse asiassa perustuu sille käsitykselle, että induktio on luotettava ennustettaessa tulevaisuutta ja tekojen seurauksia. Ilman yleistämistä induktiota vuorovaikutus ympäristömme kanssa olisi mahdotonta. Emme tietäisi, että ruoka ravitsee eikä myrkytä meitä, emme tietäisi, onko lattia tai maa allamme seuraavalla askeleella. (Jack Vance on kuvannut tieteisnovellissaan ”Ihmisen paluu” maailmaa, jossa syysuhde on lakannut toimimasta ja nämä asiat eivät olekaan enää itsestään selviä.)

Induktio ei ole täysin luotettava päättelymenetelmä. Menneisyyden perusteella voidaan usein tehdä erilaisia yleistyksiä, jotka ennustavat tulevaisuutta eri tavoin.

Monissa tieteissä yleistäminen näyttää toimivan käytännössä hyvin. Jos havaintoja on tilastollisesti merkittävä määrä, pelkät tilastolliset menetelmät antavat usein käyttökelpoista raakatietoa. Vaikka on loogisesti mahdollista, että aurinko ei nouse huomenna, käytännössä huomisen auringon nousun voi tarkistaa luotettavasti kalenterista.

Miten induktio voidaan oikeuttaa tulevia tapahtumien ennustamisessa? Se, että menneisyys on osoittanut, että näin saatta olla, nojaa induktioon, jolloin saavutaan kehäpäätelmään – eli oikeutetaan induktio induktiolla.

Toinen lähestymistapa on konfirmointi (vahventaminen), eli lainomaisista väittämistä ja niiden yksityiskohdista tehdään ennustustuksia tulevaisuudesta. Esimerkiksi yleinen oletus ”kupari johtaa sähköä”, voidaan vahventaa palalla kuparia, joka myös johtaa sähköä. Mutta miten erottaa lainomainen väittämä muunkaltaisista?

Nelson Goodman on kehittänyt seuraavanlaisen esimerkin. Oletetaan, että ennen vuotta 2011 kaikki havaitut smaragdit ovat olleet vihreitä. Otetaan käyttöön uusi predikaatti, ”vihryt”. Smaragdit ovat vihryitä vain, jos smaragdit joita havaitaan ennen vuotta 2011 ovat vihreitä. Jos smaragdit eivät ole tulleet havaituksi ennen vuotta 2011, ne ovat sinisiä. Tällöinhän vihreän smaragdin havaitseminen ennen vuotta 2011 tarkoittaa, että sillä on myös predikaatti vihryt. Kaikki vahvennettavat tapaukset vihryistä smaragdeista lisäävät luetettavuutta, että näin pätee kaikkiin smaragdeihin nyt, ja mahdollisesti tulevaisuudessa – induktion periaatteen mukaisesti. Nyt voimme olettaa, että vuoden 2011 jälkeenkin smaragdit ovat siis vihryitä, joka tarkoittaa, että ne ovatkin sinisiä, määritelmän mukaisesti.

Karl Popper väitti, että epätodeksi osoittaminen (falsifikaatio) olisikin tieteelle oleellisempi kuin todeksi osoittaminen (verifikaatio). Tämän käsityksen mukaan tieteen selitysjärjestelmät ja luonnonlait ovat vain arvauksia, joiden tarkoitus on parantaa aikaisempia käsityksiä. Aikanaan nämä käsitykset väistyvät havaintojen perusteella ja siirrytään uusiin arvauksiin. Tämän käsityksen mukaan tutkimuksen tehtävä on pikemminkin osoittaa teorioita virheellisiksi kuin todistaa niitä.

Tämä käsitys on oikeassa yhdessä asiassa: varsin vähäinen määrä vastaesimerkkejä riittää osoittamaan teorian ainakin joiltakin osin virheelliseksi. Väite "kaikki joutsenet ovat valkoisia" kumoutui, kun Australiasta löytyi mustia joutsenia. Tässä tapauksessa eläintieteen varsinaisiin teorioihin ei tarvinnut tehdä muutoksia, esimerkiksi eläinlajin määritelmää ei tarvinnut muuttaa eikä joutsenen normaalisti määritteleviä ominaisuuksia tarvinnut muuttaa.

Teoriaa, jota ei edes periaatteessa voida osoittaa epätodeksi, ei tämän käsityksen mukaan voida pitää ollenkaan tieteellisenä. Esimerkiksi teoria sellaisesta jumalasta, josta on mahdotonta saada tietoa, on epätieteellinen.

Aikaisempien käsitysten virheellisiksi osoittamisella on ollut tieteen kehityksessä suuri merkitys. Nykyisinkin lähes päivittäin jotkin uutiset osoittavat jonkin entisen käsityksen virheelliseksi.

Kuitenkin voidaan sanoa, että tutkimuksen tehtävä ei ole osoittaa käsityksiä virheellisiksi vaan löytää uusia selitysjärjestelmiä, jotka toimivat käytännön elämässä entisiä paremmin. Jos virheelliseksi osoittamiseen kiinnitetään liikaa huomiota, teorioita voidaan ryhtyä kumoamaan esimerkiksi mittausvirheiden tai inhimillisten erehdysten perusteella.

Induktion puolustaja voi väittää, että käytännössä tieteellinen tutkimus etenee yleistämällä ja korjaukset esimerkiksi vahvimmin yleistämiseen nojautuvissa luonnontieteissä ovat koko ajan vähäisempiä. Ainakin osa tieteestä on itseään korjaavaa, edistyvää ja kasautuvaa eli yleistäminen nykyaikaisilla tilastollisilla menetelmillä ja kehittyneillä tietokoneohjelmilla toimii varsin hyvin.

Muilla kielillä
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu