Occamin partaveitsi (usein myös Ockhamin partaveitsi, säästäväisyyden periaate) on periaate, jonka mukaan ilmiöitä selittävien tekijöiden määrän tulee olla mahdollisimman vähäinen. Selityksistä tulee siis karsia kaikki ylimääräiset tekijät eli teorioiden tulee olla mahdollisimman yksinkertaisia. Occamin partaveitsen mukaan kilpailevista, yhtä selitysvoimaisista teorioista tulisi valita yksinkertaisin.
Occamin partaveitsi on saanut nimensä englantilaisen fransiskaaniveli ja filosofi Vilhelm Occamilaisen mukaan. Nimitys ”partaveitsi” viittaa ajatukseen siitä, että periaate leikkaa teoriasta pois ylimääräiset oletukset tai teorian olettamasta ontologiasta pois ylimääräiset entiteetit. Periaate kuvasi alun perin Vilhelmin nominalistisen ajattelun taipumusta minimalismiin. Nykyisin se ymmärretään usein nyrkkisääntönä, joka suosii taloudellisuutta ja yksinkertaisuutta erityisesti tieteellisissä teorioissa.
Occamin partaveitsestä voidaan puhua yksinkertaisuusperiaatteena, jonka mukaan ei tule olettaa enempää kuin on tarpeen. Laajemman yksinkertaisuusperiaatteen mukaan yksinkertaisin selitys on todennäköisimmin paras selitys. Esimerkiksi metsässä karrelle palanut yksittäinen puu saattaa olla seurausta maahan laskeutuneesta lentävästä lautasesta tai sitten vaikkapa salaman iskusta. Occamin partaveitsen mukaan salamanisku on parempi selitys, koska se vaatii vähemmän oletuksia. Muinoin merikarttojen tutkimattomille alueille sijoitettiin mielikuvitushirviöitä, joiden uskottiin siellä vaanivan ihmisiä. Occamin partaveistä käytetään myös eliminoitaessa tämän kaltaisia oletuksia.
Occamin partaveitselle on olemassa Albert Einsteinin aikoinaan esittämä tarkistuskorollaari, Einsteinin hiomakivi, jonka mukaan teorian tulee olla mahdollisimman yksinkertainen, muttei liian yksinkertainen, ollakseen todennäköisimmin tosi. Sen mukaan monimutkaisempi teoria, joka selittää asiat yksinkertaisempaa paremmin ja aukottomammin, on todennäköisimmin tosi. Vilhelm Ockhamilaisen kiistakumppani Walter Chatton esitti partaveitselle ”antipartaveistä”: jos pienempi määrä entiteettejä ei riitä, oleta lisää.
Occamin partaveitsi on puoleensavetävä ja intuitiivinen periaate, mutta on vaikeaa tarkasti muotoilla, mikä selitys on toista yksinkertaisempi. Ihannetilanteessa on kaksi teoriaa, joissa toisen lähtöoletusten (premissien) joukko sisältyy toisen lähtöoletusten joukkoon. Käytännössä teorioiden monimutkaisuutta ei juurikaan voi käsitellä näin yksinkertaisesti.
Historia
Vilhelm Occamilainen (n. 1285–1349) tunnetaan merkittävänä nominalistina, mutta suuri yleisö tuntee hänet ennen kaikkea hänen mukaansa nimetystä periaatteesta, joka tunnetaan nimellä ”Occamin (tai Ockhamin) partaveitsi”: entia non sunt multiplicanda praeter necessitatem (”asioita ei tulisi monimutkaistaa tarpeettomasti”, toisin sanoen mikä voidaan selittää oletuksella vähemmästä määrästä entiteettejä on turha selittää oletuksella useammasta entiteetistä).
Ajatus tiivistää Vilhelmin filosofiselle ajattelulle yleisen minimalistisen piirteen hyvin, mutta sitä ei ole löydetty mistään hänen teoksestaan sellaisenaan. Lähin, mitä häneltä tunnetaan ajatuksen suhteen, vaikuttaa olevan numquam ponenda est pluralitas sine necessitate (”moninaisuutta ei pidä olettaa tarpeettomasti”). Se esiintyy Vilhelmin teologisessa teoksessa Quaestiones et decisiones in quattuor libros Sententiarum Petri Lombardi (i, dist. 27, qu. 2, K), joka käsitteli Petrus Lombarduksen Sentenssejä. Teoksessa Summa Totius Logicae (i. 12) Vilhelm esitti vastaavan säästäväisyysperiaatteen frustra fit per plura quod potest fieri per pauciora (”on turhaa käyttää useampia asioita siihen, mikä voidaan tehdä vähemmällä”).
Periaate oli keskiajan filosofiassa yleinen, ja se voidaan jäljittää aikaisempien filosofien teoksiin: näihin lukeutuvat mm. Alhazen (965-1039), Maimonides (1138-1204), Duns Scotus (1265–1308), Tuomas Akvinolainen (n. 1225–1274) ja jopa Aristoteles (384–322 eaa.). Nimitys ”Occamin partaveitsi” esiintyy ensimmäisen kerran William Hamiltonin (1788–1856) teoksessa vuonna 1852, satoja vuosia Vilhelm Ockhamilaisen kuoleman jälkeen. Vilhelm ei siis varsinaisesti keksinyt hänen mukaansa nimettyä partaveistä, vaan se on liitetty häneen mahdollisesti siksi, että hän käytti sitä usein ja tehokkaasti.Ariew 1976. Vaikka Vilhelm esitti periaatteen monessa eri muodossa, sen tunnetuin muotoilu ei ole peräisin häneltä itseltään vaan John Poncelta vuodelta 1639.
Perustelut Esteettiset ja käytännölliset perustelut
Ennen 1900-lukua ajateltiin yleisesti, että luonto itsessään on yksinkertainen ja siksi yksinkertaisemmat selitykset luonnon ilmiöistä olivat todennäköisemmin tosia. Tämä ajatus perustui esteettiseen arvoon, joka yksinkertaisuudella on inhimilliselle ajattelulle. Tuomas Akvinolainen muotoili tämän ajatuksen 1200-luvulla sanoen: ”jos jokin voidaan saavuttaa asiaankuuluvasti yhden avulla, on tarpeetonta tehdä se useamman avulla; koska havaitsemme, ettei luonto käytä kahta välikappaletta silloin kun yksi riittää”.
Partaveitsen yleistä muotoa, jota käytetään valintatilanteessa kahden yhtä selitysvoimaisen hypoteesin välillä, voidaan perustella sillä, että yksinkertaisuudella on käytännöllistä arvoa. Hypoteesien tavoitteena on antaa jostakin ilmiöstä paikkansapitävä kuvaus, ja yksinkertaisuus on selitykselle arvokas piirre koska se tekee selityksestä helpommin ymmärrettävän ja hyödynnettävän. Näin jos kaksi hypoteesiä ovat yhtä selitysvoimaisia eikä kumpikaan vaikuta toista paikkansapitävämmältä, yksinkertaisempaa tulee suosia monimutkaisen sijasta, koska yksinkertaisuus on käytännöllistä.
Empiiriset perustelut
Eräs tapa, jolla teoria tai periaate voidaan oikeuttaa, on empiirinen menetelmä; toisin sanoen, jos yksinkertaisemmat selitykset vaikuttaisivat olleen useammin tosia kuin monimutkaisemmat, tämä tukisi Occamin partaveistä.
Occamin partaveitsi ei kuitenkaan ole teoria siinä merkityksessä, että se olisi induktiiviseen päättelyyn perustuva malli, jota voidaan käyttää havaintojen selittämisessä ja ennustamisessa; sen sijaan se on heuristinen maksiimi valinnan tekemiseksi teorioiden välillä. Näin sitä ei voida oikeuttaa jotain toista hypoteettista vaihtoehtoa vasten, koska tämä johtaisi helposti kehäpäätelmään.
Occamin partaveitsi voidaan nähdä täysin empiirisen tieteen ulkopuolisena periaatteena. Se on laajalti hyväksytty oletus tai keskustelutapa. On vain vähän empiiristä tukea sille ajatukselle, että todellisuus olisi yksinkertainen tai että yksinkertaisimmat selitykset olisivat todennäköisemmin tosia kuin monimutkaiset..
Falsifioitavuusperuste
Karl Popper katsoi, ettei yksinkertaisten teorioiden suosimista tarvitse perustella pelkästään käytännöllisin tai esteettisin perustein. Yksinkertaisuutta voidaan suosia hänen falsifioitavuuden periaatteensa perusteella: suosimme yksinkertaisia teorioita monimutkaisten sijaan siksi, että niiden empiirinen sisältö on suurempi ja koska ne ovat paremmin testattavissa. Toisin sanoen yksinkertaisempaa teoriaa voidaan soveltaa useammissa tapauksissa kuin monimutkaisia teorioita, ja siksi ne on helpompi osoittaa virheellisiksi tarvittaessa.
Informatiivisuusperuste
Elliott Sober esitti aiemmin Popperin tyyliin, että yksinkertaisuus kytkeytyy ”informatiivisuuteen”: yksinkertaisin teoria on informatiivisin sikäli, että esitettyihin kysymyksiin vastaamiseen tarvitaan vähemmän informaatiota. Sober on kuitenkin myöhemmin hylännyt tämän ajatuksen yksinkertaisuudesta, koska se ei onnistu tarjoamaan tietoteoreettista oikeutusta yksinkertaisuudelle. Hän katsoo nykyisin, ettei yksinkertaisuus riitä, ellei se heijastele jotakin perustavampaa. Hänen mukaansa filosofit ovat saattaneet tehdä sen virheen, että he ovat antaneet yksinkertaisuudelle olemassaolon sui generis, vaikka se saa todellisuudessa merkityksen ainoastaan jossain tietyssä yhteydessä.Sober, Elliott: "Let's Razor Ockham's Razor". Teoksessa
Loogisuusperuste
Richard Swinburne kannattaa yksinkertaisuutta loogisin perustein: yksinkertaisin hypoteesi, jota tarjotaan selitykseksi jollekin ilmiölle, on todennäköisemmin tosi kuin mikään muu saatavilla oleva hypoteesi, toisin sanoen sen tuottamat ennusteet ovat todennäköisemmin tosia kuin muiden hypoteesien tuottamat ennusteet; ja periaate, jonka mukaan yksinkertaisuus on todistusaineistoa totuuden puolesta, on apriorinen tietoteoreettinen periaate.
Swinburnen mukaan meillä on sisäsyntyinen taipumus suosia yksinkertaisuutta, ja pyrkimys yksinkertaisuuteen on arkijärjen mukaista. Koska empiirinen aineisto ei voi määrätä, mikä teoria on oikea (katso: alimääräytyneisyys ja Duhem–Quine-teesi), meidän tulee soveltaa jotakin kriteeriä määrittääksemme, mitä teoriaa tulisi käyttää. Koska olisi absurdia, ettei meillä ole mitään loogista menetelmää valita jokin hypoteesi äärettömän monen empiirisen aineiston kanssa yhteen sopivan hypoteesin joukosta, meidän tulisi valita yksinkertaisin teoria: ”tiede on joko irrationaalista tai yksinkertaisuusperiaate on perustavanlaatuinen synteettinen apriorinen totuus”.
Todennäköisyysteoreettiset perustelut
Eräs intuitiivinen peruste Occamin partaveitsen käytölle on suoraa seurausta todennäköisyysteoriasta: kaikki uudet lisäoletukset lisäävät virheiden mahdollisuutta. Jos oletus ei paranna teorian tarkkuutta, sen ainoa seuraus on, että se kasvattaa sitä todennäköisyyttä, että koko teoria on virheellinen.
Sovellukset Tieteellinen menetelmä
Occamin partaveistä voidaan käyttää tieteellisen menetelmän apuna tilanteessa, jossa kaksi teoriaa selittävät saman havaintoaineiston yhtä hyvin. Tällöin teorioista valitaan vähiten oletuksia edellyttävä vaihtoehto. Occamin partaveitsi-periaatteen tarkoitus on ehdottaa yksinkertaisempien teorioiden harkintaa (monista syistä) kunnes monimutkaisempien teorioiden todistusvoima kykenee ylittämään yksinkertaisuuden periaatteen. Yksinkertaisin teoria on siten usein heikoin teoria, jonka tehtävänä on lähinnä siirtää todistuksen taakka monimutkaisempien teorioiden esittäjille.
Tieteessä Occamin partaveistä käytetään joskus myös heuristisena sääntönä (”nyrkkisääntönä”), joka ohjaa tieteilijöitä teoreettisten mallien kehittämisessä, kuin sääntönä, joka auttaisi tekemään valintoja kahden kilpailevan mallin välillä.. Tieteellisenä menetelmänä Occamin partaveitsi ilmaisee tietoteoreettista, ontologista ja heuristista keskustelutapaa, ei loogista periaatetta tai tieteellisen tutkimuksen lopputulosta.
Fysiikassa säästäväisyyden periaate on ollut tärkeä heuristinen periaate muun muassa Albert Einsteinin yleisen suhteellisuusteorian muotoilussa,Nash, L.: The Nature of the Natural Sciences, Boston: Little, Brown (1963). Pierre Louis Maupertuis'n ja Leonhard Eulerin pienimmän vaikutuksen periaatteen kehityksessä ja soveltamisessade Maupertuis, P. L. M.: Mémoires de l'Académie Royale, 423 (1744). sekä Louis de Broglien, Richard Feynmanin ja Julian Schwingerin kvanttimekaniikan kehityksessä.de Broglie, L.: Annales de Physique, 3/10, 22–128 (1925).Feynman, R. P. & Leighton, R. B. & Sands, M.: The Feynman Lectures on Physics, vol. II, Addison-Wesley, Reading, (1964). Kemiassa Occamin partaveitsi on usein tärkeä heuristinen periaate reaktiomekanististen mallien kehittämisessä.Jackson, R. A.: Mechanism: An Introduction to the Study of Organic Reactions, Clarendon, Oxford, 1972.Carpenter, B. K.: Determination of Organic Reaction Mechanism, Wiley-Interscience, New York, 1984. Vaikka periaate onkin hyödyllinen reaktiomekanististen mallien kehittämisessä, sen on kuitenkin havaittu epäonnistuvan valitsemisessa julkaistujen mallien välillä.