Näytetään tekstit, joissa on tunniste päältävyys. Näytä kaikki tekstit
Näytetään tekstit, joissa on tunniste päältävyys. Näytä kaikki tekstit

maanantai 30. tammikuuta 2012

∄ksistenssi ja ∃ssenssi

Quinen ajatteli uudistaa kirjoituskonetta siten että kysymysmerkki(?) korvattaisiin eksistenssikvanttorilla(∃). Näin ollen kysymyksiä lähestytään olemassaoloväittein ja kvantifioinnein ; Logiikassa eksistenssikvanttori on predikaattilogiikan ilmaisu sille, että on jokin tietynlainen ominaisuus tai suhde joka on totta ainakin yhdelle joukon alkiolle. Eli on olemassa vähintään yksi alkio joka toteuttaa kyseisen ehdon. [∃x P(x) = "on olemassa x siten, että P(x)"]

Quine on jatkanut tästä vielä askeleen eteenpäin. Hänen mukaansa ihmisten täytyy uskoa tapahtumien olemassaoloon jos aikoo kvantifioida niitä. Näin ollen lauseella on astetta voimakkaampi sisältö. Voidaan jopa sanoa että Quinen ajattelu pakottaa logiikan käyttäjän uskomaan asioiden olemassaoloon. Quine siis näkee maailman koostuvan sekä esineistä että tapahtumista tai vähintään että loogikon on tehtävä näin.

Tämä johtaa erikoiseen asiaan esimerkiksi ateismin suhteen. Ateismihan kiistää Jumalan olemassaolon. Olemassaolon kieltokin (∄) tunnetaan predikaattilogiikalla. Ja tämäkin vaatii kvantifiointia. Tässä voisi ensivilkaisulla ajatella olevan jonkinlainen ristiriita. Mutta asian voi nähdä ratkeavan kahta kautta
1: Olemassaolon kielto on todellakin kvantifiointi itsessään. Tietty relaatio kielletään ; Lause jokin x menee alas on kvantifiointia ; Mutta niin on myös lause mikään x ei mene ylös on. Logiikassa kiellon ja myönnon suhde on muutenkin erilainen kuin yleensä ajatellaan ; Kysymys on tavallaan lähinnä merkintätavasta : Logiikka on siitä omituista että siellä olemassaololauseet voidaan kääntää olemassaolemattomuuslauseiksi ja toisinpäin ; "olen olemassa" = "en ole olematta olemassa".
2: Quine on logiikan lisäksi keskittynyt tieteeseen ja hän on painottanut paljon myös sitä, mitä ongelmatilanteessa on korjattava. Hän törmäsi ongelmaan "mitä falsifioida jos ennuste ei toteudu" ja tarjosi tähän ratkaisuksi Duhemin-Quinen teesiä. Koska kumoaminen, falsifiointi, ei perustu verifiointilogiikkaan vaan modus tollens -ajatteluun, voidaankin sanoa että jokainen kumoutuminen tapahtuu juuri siten että ensin oletetaan että tietty asia tai relaatio on olemassa. Ja sitten tämä ei toteudu tosielämässä, jolloin tiedämme että tämä relaatio ei ole totta. Ensin on oletettu ja sitten on kumottu.

Tästä voidaan vetää pieni päätelmä siihen että Quinen ajattelu onkin ongelmallista esimerkiksi fideistiselle teologialle. Fideisti ei usko että Jumalaa ja hänen olemassaoloaan voidaan kvantifioida. Quine jonka mukaan asioiden perustelu on sidoksissa juuri kvantifiointiin johtaakin tavallaan siihen että on paitsi niin että on pakko uskoa asioiden olemassaoloon jos aikoo kvantifioida niitä, niin myös sitä että on pakko kvantifioida asioita jos uskoo niiden olemassaoloon. Ilman tätä Jumalakäsite on tyhjä eikä Jumalaan uskominen itse asiassa tarkoita yhtään mitään. ; Näin ollen Quine voidaan asettaa sellaiseen positivistisen perinteen kannattavaan ideaan (vaikka Quine ei selkeästi ole tyylipuhdas positivisti vaan nojaa tätä tuoreempiin perinteisiin, esimerkiksi fallibilistiseen näkemystapaan) jossa tämänlaiset lausumat eivät ole edes vääriä, ne ovat mielettömiä ja turhia. Quinen maailmassa oli turhia kysymyksiä joiden ajanhaaskaavaa voimaa vastaan voitiin taistella esimerkiksi kirjoituskoneuudistuksin.

On hyvä huomata että teologian lisäksi mukana menee muitakin ajatteluperinteitä ; Mukana menee myös suuri osa eksistentialismia. Tämä voi yllättää sillä eksistentialistit ottavat nimenomaan eksistenssin, olemassaolon, ytimeksi. Heistä essenssi, asiat ja näiden asioiden suhteet ja toiminnot toisiinsa nähden, ovat toissijaisia ; Camuskin esitteli että maakeskisyyden ja aurinkokeskisyyden väliset kinat fysiikassa ovat turhia, ja hänestä oli keskityttävä itsemurhaamisen kautta kysymykseen eksistenssistä ; Moni ihminen oli halukas kuolemaan koska ei nähnyt elämän olevan elämisen arvoista. Camus katsoi että asioiden olemassaolon ja asioiden suhde toisiinsa on pieni asia, kun taas se että elämän kokee merkitykselliseksi on olennaista. Quine olisi ihmetellyt tämänlaista koska sisäinen merkitys ei kovin hyvin tiivisty eksistenssikvanttoreiksi ja relaatioiksi.

Tämä omituisuus sanatasolla aukeaa kun tajuaa että "samankaltaisella termillä voi olla erilaista sisältöä eri kontekstissa" ; Quinen eksistenssi on essenssiä. Quinelle essenssi on ennen eksistenssiä ; Kivi on olemassa vaikka ei tiedosta omaa olemassaoloaan, joten tämänlainen näkökanta on tavallaan ymmärrettävä.

Tämän Quinelaisen asenteen kritiikki keskittyy yleensä siihen että esitetään vain että tunnemaailma on olennainen ja että essenssi olisi kyvytön vastaamaan joihinkin kysymyksiin, eli olisi havaittujen asioiden valossa epäonnistunut. Tunteet ovat vaikka niiden mallintamisen mahdollisuus kielletään. Kuitenkin tämä mallintamisen kieltäminen on näiden kriitikoiden itsensä luoma näkemys. (Väite mahdottomuudesta on väitetty kysymysmerkkipakko jossa eksistenssikvanttorin mahdollisuus kielletään perusoletuksena vaikka tämä ei olekaan väistämätöntä.) Quinelaisesti ajattelevat voivatkin lähteä siitä että sisäinen maailma on sidoksissa emootioihin. Ja tämä taas on psykologian työvälineillä lähestyttävissä ja mallinnettavissa (meillä on järkeä sanoa "on olemassa tunteita" ja sanoa tämän melko kiistattomasti koska meillä on niistä ilmiö jolla on jonkinlainen määritelmä). Mekaanisuudentuntu katoaa tätä kautta esimerkiksi Damasion tapaisten tieteilijä-mallintaja-ajattelijoiden kautta ; Kun eksistenssi tiivistyy emootioihin jotka tiivistyvät adaptiivisiin reaktioihin jotka taas esiintyvät relaatiosuhteessa jossa tietynlaisessa tilanteessa tapahtuu jotain useammin kuin jotain muuta, huomataan että essenssi on perustavanlaatuinen asia ja eksistenssi joko peräti redusoituu tai ainakin päältyy näiden mallien kautta.

torstai 2. syyskuuta 2010

nihil est in intellectu quod non fuerit prius in sensu.

"Kantani on naturalistinen; En näe filosofiaa minään valmistavana opetuksena tai perustana tieteelle, vaan tiede ja filosofia muodostavat jatkumon. Näen filosofian ja tieteen olevan samassa veneessä - palatakseni Neurathin kuvaan, kuten niin usein teen, voimme korjata vain merellä, kun olemme siinä vesillä. Ei ole mitään ulkopuolista näköalapaikkaa, ei ensimmäistä filosofiaa."
(Willard Van Orman Quine)


Sana "naturalismi" on sanana hyvin epämääräinen. Kreationistit esimerkiksi syyttävät "evolutionisteja" "naturalismista" ja pitävät tätä ateismina ja vain aineelliseen maailmaan nojaavana, ahneuteen innoittavana. Yhden kreationismin tyypin, Intelligent Designin, johtohahmo Johnson taas on pitänyt kulttuurissa olevaa moraalin rappeutumista seurauksena naturalismista. Ja tämän juureksi hän katsoo tieteellisen naturalismin.

Vastaavantapaista suhtautumistapaa ei tarvitse hakea kaukaa. Yllättävän monelle humanistille skientismi, reduktionismi ja fysikalismi ovat sanoja, joiden liittäminen asiaan kuin asiaan on jo itsessään riittävä vakuuttamaan heidät sen puolesta että mainitun kannanoton on oltava pakosti väärin. Mutta tämä vakuuttuneisuus ei johdu siitä että reduktionismi, fysikalismi tai skientismi olisivat epäonnistuneet ja osoittautunut mahdottomaksi. Hyppäys ei siksi ole perustelu, vaan eräänlainen asennevamma, jossa asia tuomitaan, ei argumentein vaan aiheen vuoksi.

Naturalismi on hyvin monitahoinen sana. ~ Sillä on esimerkiksi pirun monta määritelmää. Otan esille muutaman ehkä mielenkiintoisimman:
1: Ontologisen naturalismin mukaan luonto, natura, on kaikki mitä on. Kaikki mikä on luonnollista on, ja samalla sitoudutaan irti kaikesta yliluonnollisesta. Näin se erottuu monista filosofioista, joissa on yliluonnollinen elementti mukana. Esimerkiksi kristillisessä filosofiassa uskotaan Jumaliin, enkeleihin ja muihin voimiin. Ja kansanuskomuksissakin seikkailee ties mitä keijuja ja mörköjä. Näin määritellylle naturalistille esimerkiksi kummitukset ja muut mystiset olennot ovat epänaturaalisia olentoja, joita ei uskota olevan olemassa. Tämä on tietysti ateistista.
___1.1: Tämä näkemys kieltää epätosina aiheen mukaan. Siksi sillä ei ole tekemistä esimerkiksi "falsifioinnin" tai muun kaltaisen normatiivisen tieteenfilosofian kanssa. Näissähän annetaan ehtoja joilla mikä tahansa aihe voidaan perustella. Tässä sen sijaan tuomitaan asia vääräksi siksi että se edustaa jotain aihetta joka on määritelty olemattomaksi.
2: Metodologinen monismi on humanistisessa tieteenfilosofiassa käsitys josta myös puhutaan naturalismin nimellä. Tällöin puhutaan siitä että tutkimusta täytyisi tehdä luonnontieteellisen oloisella työtavalla. Heistä humanistinen tiede lähestyy otoksien kautta korrelaatioita, tilastoja ja jakaumia erilaisissa ilmiöissä ja tätä kautta voi tehdä ennusteita - esimerkiksi yhteiskunnallisista trendeistä. Ja selittää havaittavien ilmiöiden taustasyistä - esimerkiksi hakea tunnetuista korrelaatioista syy -yhteyksiä. Näin tieteenfilosofiassa ei tarvittaisi jakoa luonnon- ja ihmistieteisiin.
___2.1: Tämä näkemys ei kategorisesti kiellä tonttujen tai Jumalien olemassaoloa tai väitä näitä aiheina epätieteellisiksi.
3: Mielenfilosofiassa naturalismi taas tarkoittaa yleensä uskomusta jossa mentaaliset ilmiöt voidaan selittää fyysisesti, eli esimerkiksi aivotoimintana.
___3.1: Tämä näkemys ei kiellä Jumalia tai kummituksia. Se vain väittää että jos jossain on älyllinen Jumala, tällä Jumalalla on toimintaperiaate, eli elimistö jonka seurausta äly on. Äly ei siis ole perusvoima, vaan jonkun muun toiminnan seuraus ja aikaanssaannos. Tässä ideana on se, että jos jossain on todistettu olevaksi älyllinen kummitus, tällä on jonkinlainen - kenties kummitusten ystävien rakastamaan sähkömagnetismiin perustuva - rakenne, joka toimii fysikaalisena pohjana jonka varassa äly voi toimia.

Heitän nämä luettelot kuitenkin tarkemmasta syynistä. En lähesty kiistaa, saati ratkaise sitä. Enkä pyri tuottamaan mahdollisimman laajaa luokittelua naturalismi -sanan hurjaan määriteviidakkoon ja niiden suhdetta toisiinsa. Sillä käsittelen "jotain ihan muuta." - Ylläolevat ovat enemmänkin vain muistutuksena että en kirjoita tässä niistä. Sen sijaan otan syyniin Willard V. O. Quinen naturalistisen filosofiakäsityksen. Siksi että itse pidän siitä.

Yllä oleva alustus oli kuitenkin tärkeää, koska niihin liittyy asioita jotka liitetään usein Quineen, huolimattomuutta tai muutoin.
1: Esimerkiksi Suomessa Panu Raatikainen on ottanut jonkin verran kantaa tähän aiheeseen : Hän puolustaa Quinen näkemystä epämääräisiä vihjailuita ja liian karkeita yleistyksiä ja väärinkäsityksiä vastaan.

Veneet ja verkot.

Perinteisesti on ajateltu että väitteellä olisi analyyttinen totuusarvo sanan merkityksen kautta. Synteettiset sanonnat taas esittävät että totuus saadaan tosiseikkojen nojalla. Quine heitti tämän erottelun pois. Hän huomasi että jos asia on kollateraalista tietoa, eli kokemuksen kautta tiedetty, vai käsitteellinen totuus. Syynä on synonymisaatio : Jos meillä on lause "kaikki poikamiehet ovat naimattomia" voimme pitää lausetta analyyttisesti totena, mutta vasta kun tiedämme että "poikamies" ja "naimaton" ovat sama asia. Mistä voimme tietää että ilmaisut ovat synonyymejä? Sanakirja vetää määritelmän eteenpäin : Sanakirjan tekijä on tiennyt asian jotenkin. Ja jos selitetään että synonyymit ovat analyyttisiä totuuksia, ollaan vaikeuksissa koska yrityksenä on määritellä analyyttinen totuus. Lopputuloksena olisi kehäpäätelmä. Jos taas viittaa yleiseen käytäntöön, puhutaan kollateraalitsesta tiedosta, ja analyyttiset lauselmat olisivatkin sellaisia...

Quine lähestyi tieteen tekoa siten että perusta on se, että tiede pyrkii objektiivisuuteen. Näin ollen tieteen normejenkin tulisi olla jotenkin objektiivisia, eivätkä mielivaltaisia. Tämä taas johtaa siihen että metodiikkaakin pitäisi jotenkin voida tehdä testattavaksi. Tässä on vaikeus: Jokainen filosofinen ajatus, perinne tai projekti, joka yrittää osoittaa että tieteellinen tieto on perusteltua, joutuu ongelmiin jos se yrittää todistaa itseään tieteellisillä asioilla ; Tästähän olisi seurauksena kehäpäätelmä. Se olisi taatusti koherentti ja ristiriidaton, mutta niinhän kaikki kehäpäätelmät ovat.

Quinen näkemys kiertää tämän ongelman. Itse asiassa se voidaan nähdä projektina jossa ajatus perimmäisestä ja kaikenkäskevästä filosofiasta heitetään romukoppaan. Quinen mukaan tieteentekijä tai filosofi on pakollisesti maailmassa, jossa on olemassa teorioita ja näkemyksiä. Sanoilla on määritelmiä. "Poikamies" ja "naimaton" ovat olemassaolevia näkemyksiä maailmasta. Quine keskittyi siihen että tavoitteena olisi parantaa ja tarkentaa kokonaisuutta. Tässä suhteessa otetaan huomioon se, että vallitsevat näkemykset ovat oletettavasti hyviä kun ne ovat koettelua kestäneet. Niissä kuitenkin oletetaan olevan virheitä. Ideana onkin se, että mikä tahansa asia voidaan heittää pois jos tilanne sitä vaatii.

Quine lähestyykin tieteentekoa erehdyksen ja korjaamisen kautta. Hän käyttää tässä apunaan Otto Neurahin vertausta veneen korjaamisesta merellä : Mikä tahansa lankku ollaan valmiita vaihtamaan, mutta kaikkia lankkuja ei voida vaihtaa samanaikaisesti. Näin Quinelle tiede on tutkimista, jossa kohteena on havaittu maailma. Taustalla on myös ajatus siitä että edistyminen tieteen projektissa olisi mahdollista.
1: Siinä missä vaikkapa tietorelativistisessa maailmassa tutkimus ei tuota tietoa, vaan tulkintoja, Quinen näkemyksessä sen sijaan ajatellaan että kun tehdään tutkimusta saadaan uusia tietoja, jotka on vähintään tulkittava uudessa valossa. Näin lopputulos tarkentuu ja täsmentyy ja sen toimintarajat tunnetaan paremmin. Tältä pohjalta Quine esitti että tieteen teko myös abstraktoituu arkikokemusmaailmasta : Emme maistele kvarkkeja mutta tiede pitää niitä yhtä tosina kuin mansikoita.

Quinen ajatusta voisi yrittää valottaa vaikkapa seuraavalla esimerkillä: Joku voi keksiä vaikkapa sellaisen käsityksen, että "fysikalismi on tieteellistä". Tällä lähestyvä saa taatusti vain fysikalistisia vastauksia. Kuitenkin se, että tämä lähestymistapa olisi myös tehokas ei ole ilmiselvä. Jos näkemys olisi huono, se ei tuottaisi helposti tuloksia. Jos fysikalismi olisi huono, se olisi jäänyt jahkailemaan "ihan kohta löytyy se perimmäinen selitys" -tasolle eikä olisi tehnyt valtavaa määrää löytöjä.

Tästä päästään miettimään hieman tietojen suhdetta toisiinsa. Quine nimittäin piti tätä tärkeänä. Hän haki tästä oikeutusta jopa "luonnontieteeseen skeptisesti suhtautuvien" vastaväitteitä kohtaan. Sillä ajatukset joissa havainnot ovat vääriä, perustuvat aina jotenkin illuusioiden ja hallusinaatioiden olemassaoloon. Ne väittävät että se että jossain näyttää olevan jotain ominaisuuksia ei välttämättä tarkoita sitä että sillä todella olisi nämä ominaisuudet. Quine muistaa että nämä mahdollisuudet ovat nekin filosofisen ja tieteellisen ajattelutavan sivutuote. "Havaintoskeptikot" olettavat tieteelle tietynlaisen luonteen ja ottavat käyttöön tunnettuja mahdollisuuksia.
1: Hieman kuten tarinassa jossa on keisari näkee unta olevansa perhonen. Herättyään hän ihmettelee onko hän perhonen joka näkee unta olevansa keisari vai keisari joka näkee unta olevansa perhonen. Ajatus on peräisin tiedosta että uni on mahdollinen. Ja tämä taas perustuu tietoaineistoon.

Esimerkkimme fysikalisti tarkastelee asioita joilla on määritelmät ja jonkinlaiset suhteet toisiinsa. Esimerkiksi kun tiedemies katselee kvarkkia, hän lähestyy tätä jollain tutkimuslaitteella. Hänellä on teoria tämän laitteen toiminnasta ja tämä vaikuttaa tulosten analysointiin.

Jos ongelmia löytyy, tiedemies joutuu korjaamaan jotain. Hän ei tiedä onko vika teoriassa kvarkista, mittalaitteessa oleva häiriö, onko koko mittalaite huono. Vai onko logiikka jolla hän päättelee huonouden väärä. Hänellä ei ole mitään suoraan keinoa erottaa mitä pitäisi korjata. Quinen ideana on se, että korjataan se asia jonka muuttamisesta on vähiten vaivaa. Jos jokin asia vaaditaan lähes kaikkialla, siitä luopuminen vaatisi valtavan määrän muutoksia. Se, mikä on pientä ja suurta riippuu kokonaisuudesta. Jos häiriö on uniikki, voi se selittyä mittausvirheellä tai vaikkapa tutkijan kömmähdyksellä. Mutta jos kaikki tutkijat saavat samoja tuloksia, pitää miettiä radikaalimpia ratkaisuja.

Tästä päästään siihen miten naturalisoidun mekaniikan normi on samanaikaisesti epistemologian normi. ; Kaikki informaatiomme maailmasta tulee jonkinlaisen aistireseptoreihimme kohdistuvien vaikutusten kautta. Tätä kautta meillä on aina "kvarkkia katsovan tiedemiehen ongelma".

On tavallaan ilmeistä että tästä on seurauksena konsilienssin korostaminen. Jos meillä on hyvä normi, se vaikuttaa monessa paikassa. Tätä kautta siihen liittyy paljon muita teorioita. Tästä normista tulee helposti hyvä työkalu myös uusien asioiden etsinnässä. Konsilienssi, teorioiden yhteyden arvostus, ei siksi ole niinkään oletus kuin automaattinen seuraus.

Tästä voidaan saada esimerkki. Jos meillä on totuutta hakeva taho, voimme tutkimatta varoittaa esimerkiksi telepatiasta. Ne eivät ole tieteellistä tietoa, koska toisin kuin esimerkiksi silmillä tehdyille havainnoille, niille ei ole evidenssiä eikä painoarvoa tiedeverkossa. Kuitenkin telepatia on potentiaalisella tasolla tieteellinen vaihtoehto. Tämä näkemys voitaisiin saada suosioon jos sille saataisiin kovasti evidenssiä. Toki tämä vaatisi sitä että monia empirian periaatteita menisi yli laidan ; Normikin olisi osa tiedeverkkoa, ja näistä "veneen laudaoista" voidaan luopua.
1: Näin ollen skeptikko voi samanaikaisesti vihjata että telepatia on naurettavaa ja epätieteellistä, että olla epädogmaattinen. Samalla korostuu se, että tieteessä voidaan vaikka yrittää tutkia ja selvitätä telepatiaa, mutta yritys ei ole sama kuin onnistuminen. Jos tutkimuslaitos on vuosia toiminnassa ilman tuloksia, se ei tuota todistetta tutkimalleen kohteelle. Pikemminkin päin vastoin. Sen tutkimusten tuoton vähyys itsessään on havaintoaineisto joka tulee jotenkin selittää. Ja jos kyseessä ei ole mikään ratkaiseva teoria, on varsin helppoa sanoa että syynä epäonnistumiseen on se, että tutkittavaa aihetta ei ole

Quinesta filosofissävyisille olemassaoloväittämille voidaan saada evidenssiä siksi että meillä on jotain perusteita - olemuksellisesti jollakin epistemologista - tapaa punnita niitä. Quinen tieteellinen on itse asiassa hyvinkin laaja käsite, eikä pidä sisällään pelkkää luonnontiedettä, vaan on osana laajempaa tietämistä. Quine uskoo että teoriat muuttuvat asteittain konkreettisemmista asioista abstraktimpaan suuntaan. Samalla se millä voidaan todistaa muuttuu matkan varrella sekin.

Tästä saadaankin huomiota siihen että Quine on hyvinkin joustava; Käsiteverkko rakentuu tilannekohtaisesti, "sisältä käsin ulkopuolen kanssa reagoiden". Tätä kautta voidaan kuvitella erilainen määrittelysysteemi, jossa nykytapainen tiede on vain yksi määrittelytapa. Joku toinen käsiteverkko voisi toimia aivan yhtä hyvin, mutta niiden tulokset eivät olisi siirrettävissä nykytieteen verkkoon ; Kun yksikään asia ei ole pelkkä määritelty kannanotto, sen siirtäminen systeemsistä toiseen ei onnistu ennen kuin tähän liittyvät asiat otettaisiin mukaan ja sovitettaisiin jotenkin uuteen tiedeverkkoon. Ja tässäkin vaiheessa tulokset vääristyisivät koska nämä "liittyvät asiat" olisivat eri asioihin liittyneenä. Näin ollen toisesta verkosta saataisiin yhtä hyvä vain ottamalla kaikki muukin mukaan.

Nykytilaan katsoen tilanne voisi olla tietysti toinen. Emme elä "toisen määritelmäverkon" maailmassa. Tämä olisi mahdollista. Itse asiassa Quinen naturalismi on saanut usein ja toistuvasti syytteitä reduktionismista. Sen on lisäksi katsottu pelkistävän filosofian luonnontieteeseen ; On itse asiassa hyvin tavallista kuulla että Quinen ajattelua syytetään reduktionismista, fysikalismista. Ja siitä että fysiikka on perustiede johon kaikki olisi redusoitava. Quinen näkemys olisi siis skientismiä ja fysikalismia ja reduktionismia.

Kuitenkin Quinen perusteesinä olikin juuri se, että ei ole mitään ikuista, pakollista ja muuttumatonta "perusfilosofiaa". Silloin mukana menee tietysti myös pakkositoutuminen reduktionismiin ja fysikalismiin. Quinen mukaan hanke, jossa tiedolle olisi epäilyksetön ja vankkumaton pohja on tarpeeton.
1: Tämä selittänee miksi esimerkiksi minä "Quinen ystävänä" näen Plantingan tae -keskeisyyden turhuutena. Se yrittää kehittää "yhtä filosofiaa" ja kohtelee muita kuin se todella olisi niin.

Onkin itse asiassa selvää että reduktionismin sijaan Quine kannattaa supervenienssiä, päältävyyttä. Tämä ero tuntuu arki -ihmisestä pieneltä, mutta filosofisesti ero on valtavan suuri; Jos otetaan esimerkiksi ajatus aivojen ja mielen suhteesta, reduktionisti sanoisi että mieli on aivojen toiminnan seuraus. Supervenienssissä taas sanotaan että jos mielessä tapahtuu jotain, niin myös aivoissa tapahtuu jotain.

Quinen kannanotto aiheeseen ei ole että kaikki sanomisen arvoinen voidaan kääntää fysiikan tekniselle sanastolle. Tai että kaikki tiede redusoituisi fysiikan kielelle. Hänestä maailmassa ei vain tapahdu mitään, "ei edes silmäluomen värähdustä tai ajatuksen liikahdusta", ilman että jokin fysikaalinen mikrofysikaalinen tila muuttuu jollakin tavalla.
Quine on käyttänyt yllä olevaa, alun perin Tuomas Akvinolaiselta peräisin olevaa sitaattia. Se kääntyy "mielessä ei ole mitään mikä ei ensin olisi ollut aisteissa." Mainittu aistihavaintojen rooli onkin Quinen ajatusten tajuamisessa olennaista. Samoin mielenkiintoinen on ajatuksen suhde empiiriseen perinteeseen ylipäätään...

perjantai 9. toukokuuta 2008

Jotain jostain.

" W. K. Clifford puhui "siitä pienestä äänestä, joka kuiskaa 'Höpö' (Bosh)". Toisinaan se pieni ääni kuiskaa minulle: "Mitä siitä keskustelusta ymmärtää, kun yhtään kaavaa ei ole esitetty?""
(S. Albert Kivinen, Tieteessä tapahtuu.)

Yleensä kun puhutaan että jokin asia on seurausta jostakin, puhutaan erilaisista eri kohteiden suhteista. Tällöin täytyy tietää minkälaisia ominaisuuksia kohteilla on ja miten nämä vaikuttavat toisiinsa. Tämä ei ole aina yksinkertaista: Esimerkiksi Tieteessä tapahtuu -lehdessä ollut Olli Lagerspetzin väriartikkelissa kerrotaan kuinka tämä ei ole valon kohdalla mikään yksinkertainen ilmiö. Selityssuhteita kuitenkin tarvitaan, koska tavallisesti ilmiö katsotaan selitetyksi jos jokin voima tai muu elementti vaikuttaa siihen. Siksi näitä erilaisia reaktiosuhteita ja näiden erilaisia mahdollisia tapoja on syytä tuntea, jos tavoitteena on ymmärtää miksi jokin asia aikaansai jonkun tapahtuman.

1: Redusoituvuus on ajatus, jossa kokonaisuus on palautettavissa osiinsa. "Kokonaisuus on yhtä kuin osiensa summa" Kellon toiminta on selitettävissä sen osen summana, eikä tässä ole mitään sen enempää. Ernest Nagelin mukaan redusoituvuus tarkoittaa sitä, että ylemmän tason teorian väitteet voidaan johtaa alemman tason teorian väitteistä deduktiivisesti ns. siltalakien avulla. Tämä tarkoittaa esimerkiksi sitä, että kemiassa kemiallinen reaktio 6H2O + 6CO2 + valo → C6H12O6 + 6O2 voidaan periaatteessa täysin palauttaa fysiikkaan, eli selittää atomien fysikaalisilla rakenteilla. Täydellinen reduktio merkitsisi, että nuolen kummassakin päässä on kärki. Kahden kuvaustason välillä todettaisiin "yksi-yhteen-suhde". Tämä tarkoittaisi sitä, että jos olisi tapahtunut A, tietäisimme että siitä seuraisi aina ja pakosti B. Ja jos B olisi tapahtunut, ei olisi muuta vaihtoehtoa kuin että A on tapahtunut. Tieteellisessä selittämisessä pyritäänkin "usein ja perinteisesti" redusoituvuuteen, tai ainakin niin lähelle kuin voidaan. Tosin aivan kaikki eivät tätä näkemystä jaa. Luonnontieteiden kohdalla redusoituvuus tarkoittaa sitä, että ylemmän tason(kemian) toiminta voitaisiin periaatteessa selittää täysin alemman tason(fysiikka) ilmiöillä. (Ja biologiset toiminnot voidaan tietysti periaatteessa tiivistää kemialliseksi toiminnaksi. Eri tieteenaloja on vain sen takia, että saadaan käytännöllisiä tarkastelunäkökulmia. Niiden kautta maailmaa katsotaan ikään kuin mikroskoopilla, paljain silmin, silmälaseilla, kiikareilla ja kaukoputkella. Olisi esimerkiksi melko epäkäytännöllistä vaatia että aina kun tieteessä puhuttaisiin ketusta, sen toiminta pitäisi johtaa aina ketun atomien alkeisosien suhteiksi ja lainomaisuuksiksi ennen kuin siitä voitaisiin puhua biologiankirjassa.) Aikaisemmin perustana on ajateltu myös teologiaa, mutta nykyisin luonnontieteissä tavoitellaan sitä että "perustana oleva tiede" kaikkien taustalla olisi fysiikka.

2: Supervenienssi eli päältävyys on reduktion kaltainen mutta hieman väljempi käsite. Sillä tarkoitetaan kahden eri tasolla toimivan ominaisuusluokan välillä olevaa suhdetta. Supervenienssissä ylempi ominaisuusluokka superveioi alempaa, jos ylemmän ominaisuudet määräytyvät alemman ominaisuuksien mukaan. Tällöin ylempi ominaisuusluokka supervenioi ja alempi subvenoi. Supervenioiva on ylemmässä ominaisuusluokassa ja subvenoiva on alemmassa ominaisuusluokassa. Supervenienssin määritelmä on kaksijakoinen. Voidaan sanoa että on kaksi ehtoa, josta jomman kumman on toteuduttava, jotta kyseessä olisi supervenienssi.
___2.1: Jos kohde a ja kohde b eroavat ylemmältä ominaisuusluokalta, ne eroavat myös alemman tason ominaisuuksiltaan. Eli jos ylemmät ominaisuusluokat ovat samanlaiset, ne saavat olla alemmalla tasolla erilaiset, mutta eivät toisin päin.
___2.2: Jos kohde a ja kohde b ovat identtiset alemman tason ominaisuuksiltaan, ne ovat samanlaiset myös ylemmällä tasolla. Eli jos jokin ominaisuus on alemmalla tasolla erilainen, se saa olla ylemmällä tasolla samanlainen, mutta ei toisin päin.
Toisin sanoen sama korkeammantasoinen ilmiö voi syntyä useasta erilaisesta alemman tason ilmiöstä. Näistä alemman tason ilmiöistä seuraisi kuitenkin aina sama korkeamman tasoinen ilmiö. Karkeasti sanottuna jos A tai B aiheuttaisivat molemmat ilmetessään aina C:n. Tällöin jos meillä on joko A tai B tiedämme että lopputulos olisi C. Mutta jos meillä on C, emme tietäisi kumpi tapaus olisi kyseessä. Jos sen sijaan havaitsisimme, että meillä olisi edellä mainittu päältävyyssuhde ja huomaisimmekin että A tuottaisikin D:n, relaatiota ei enää olisi. Tällöin ei voitaisi enää puhua eri tasoista, ei ylemmästä eikä alemmasta. Ja tällöin päältävyydestä ja subvenoinnista puhuminen olisi mieletöntä.

3: Holismissa "kokonaisuus on enemmän kuin osiensa summa", mikä tarkoittaa sitä että holistinen systeemi vaikuttaa osiensa kanssa siten että lopputilanteeseen syntyy emergenttejä ominaisuuksia, eli sellaisia ilmiöitä joita ei esiinny yhdessäkään sen osassa sinänsä. Holismin mukaan kellon osissa ei ole kellomaisuutta. Siinäkin toki uskotaan että esimerkiksi hermosolut aiheuttavat tietoisuuden, mutta ei sitä että yksittäisessä hermosolussa olisi tietoisuutta. Holistin mukaan tietoisuus on emergentti ominaisuus. Holistista ajattelua soveltava joutuu aina ottamaan huomioon myös ympäristön, jossa ilmiö tapahtuu. Tämä johtaa siihen että selitettävä ongelma muuttuu monimutkaisemmaksi seurausverkkojen yhteisvaikutukseksi. Tämä vaatii kompleksisuuden hallintaa. Koska holismissa A:sta voi seurata vaikka D,E tai F, riippuen ympäristöstä ja esimerkiksi D voi johtua A:n lisäksi B:stä tai C:stä, holismin kautta ymmärtäminen on monimutkaista systeemiajattelua. Holismi voidaan määritellä myös laskentakapasiteetin mukaan; Holistinen systeemi voi olla "computationally irreducible", mikä tarkoittaa sitä että systeemin tilaa ei voida laskea ja selvittää helpommalla tavalla kuin pyörittämällä tapahtumat systeemissä; Nopein tapa ennustaa tälläisen systeemin tulos on pyörittää itse ohjelma. Holistinen, emergentti, ilmiö voi kuitenkin riippua myös laskennallisesta tasostamme : Esimerkiksi John Wilkins on kirjoittanut siitä, kuinka veden nestemäisyyden emergenttisyys tai redusoituvuus riippui laskentakapasiteetista. Holismia tai sen terminologiaa käytetään paljon erilaisten puoskarihoitojen yhteydessä, ei siksi että ne todella tutkisivat systeemiverkkoja tarkasti kuten tähän kuuluisi. Syynä ovat sanasta kokonaisvaltaisuus tulevat mielikuvat, sekä tietysti se, että holistisessa systeemissä pieni ero taustasysteemissä voi muuttaa tulosta niin että emergentin ilmiön toistettavuus ei olekaan välttämätöntä. Tästä on suunnatonta hyötyä jos esimerkiksi skeptikko tulee testaamaan hoidon tehoa eikä saakaan hyviä tuloksia.

4: Karkeistus, joka on esimerkiksi Kari Enqvistin kannattama selitystapa, lähtee taas siitä että "kokonaisuus on vähemmän kuin osiensa summa". Karkeistuksessa informaatiota katoaa, hieman samaan tapaan kuin ihmisen ajattelussa turhien havaintojen karsiminen ja unohtaminen ovat tärkeitä jotta maailmassa voisi elää järkevästi. Tämä on yksi tapa selittää ilmiöitä, joita holistit kutsuvat emergenteiksi. Aiheesta on keskusteltu Tieteessä Tapahtuu -lehdessä.