keskiviikko 19. elokuuta 2015
Mielestä ja "kalkyylistä"
Mistä voidaankin päästä laskennallisuuteen (computation). On itse asiassa mielenkiintoista huomata, että kun filosofit puhuvat laskennallisuudesta, he käsittelevät tätä joko matematiikan filosofiana tai sitten he ovat kiinnostuneita nimenomaan kognitiosta. Tietoisuuden ja mielenfilosofian mukanaolo on yllättävän vahva. (Ottaen huomioon että laskenta on kylmää ja mekaanista ja sitä voisi liittää ties mihin.) Tämä yhteys mielenfilosofiaan on erityisen vahva nimenomaan representaatioiden kohdalla. Eli kun mieli esittää asioita - vaikkapa itsetietoisia havaintoja itsestä - "komputaatio" on se käsite jonka turvin halutaan tukea sitä miten tämä representoiminen on mahdollista. (Tai jopa miten tämä tapahtuu, jos on minua kunnianhimoisempi väitteissään.)
Itse asiassa mielenfilosofit tiivistävätkin joskus koko ajatuksen siihen että laskennallisuus on vain representaatioiden manipulointia. Tai sitten laskennallisuus on spesifiä manipulointia jolla käsitellään tietynlaisia representaatioiota. Tähän liittyen merkitys on usein merkityksessä. Ja merkityksessä semanttisessa mielessä. ; Eräässä mielessä merkitys tekisi eron tietoisuuden ja refleksin välille. Representaatio olisi tätä kautta hyvin kiinnostava.
Ongelma tässä yhteydessä on itse asiassa siinä että laskennallisuus luo tilaa poistaa tietoisuutta hyvinkin ankarasti. Hyvin harva on kiistämässä tietoisuutta - kvaliavastainen Daniel Dennettkin luo sitä että tietoisuus perinteisessä mallissa on illuusio, ja että todellinen tietoisuus on erilaista kuin on yleensä ajateltu. Ja monet laskennalliset systeemit voidaan määritellä ilman että niissä tarvitaan representaatioiota. (Turingin kone voidaan määritellä siten että se manipuloi merkityksettömiä symboleita merkityksettömin tavoin.) Joka tavallaan nostaa esille sen että kenties mielenfilosofiassa on tilaa:
1: Korostaa syvänä mysteerinä sitä että miksi ihmisellä on representaatioita vaikka periaatteessa voisimme olla kokemuksettomia reagointikoneita jotka harrastavat refleksejä ilman tietoisuutta.
2: Korostaa sitä että ehkä kvalioiden hylkäämistä laajemminkn olisi tilaa sille että koko ajatus siitä että ihmisillä on mitään representaatioita voidaan kyseenalaistaa.
Toki tälle onkin haettu ratkaisuja. "Merkitys" -sanasta etääntyvän semantiikkkakeskeisyyden sijaan voidaan hakea asiaa esimerkiksi kartoittamiseen (mapping) perustuvan ajatuksen kautta. Silloin ytimessä on vertailu. Meillä olisi mielessä kuvaus systeemistä, kuten ympäristöstä. Tämä loisi odotuksia. (Tapoja joilla eliö voisi toimia silmät kiinni.) Ja sitten on aistijärjestelmä joka lataa ympäristöstä dataa (tapoja joilla eliö voisi reagoida tietämättä mistään mitään). Ja tietoisuus olisi sitä että näitä kahta verrataan keskenään.
Tässä hankaluutena on se, että tallennus-ympäristöntarkkailu johtaa siihen että on pakko olla pankomputationalisteja. Fysikaaliset systeemit alkavat näyttämään laskennallisilta yksiköiltä. (Koska semantiikan mukana hukkuu "syvä merkityksellisyys", tämä ei ole yllättävää.)
Tähän voidaan kuitenkin tuottaa ikävä epäselventävä seikka. Nimittäin se, että on täysin järkevää olla pankomputationalisti (pancomputationalism). Siinä esitetään että fysiikan lait, mukaanlukien kvanttimekaniikka, noudattavat toiminnassaan malleja jotka voidaan määritellä laskennan suorittamiseksi. (Kvanttilogiikalla voidaan rakentaa kvanttitietokoneitakin, joten tämä ei ole täysin hoopo ajatus.) Fysikaalinen systeemi ottaa ympäristöstään asioita johon se reagoi ja lopputuloksena on jotain joka sitten tallettuu johonkin. Ja kaikki tämä on "mekaanista". Universumi käyttää laskennallisia menetelmiä kaikessa. Tämä taas trivialisoi ajatuksen siitä että mieli tuottaa komputaatioita. Jos laskennallisuus määritellään noin laajasti, se on tarkkuudeltaan epätyydyttävä. Ja sen vuoksi on syytä luoda ikään kuin erilaisia laskennallisuuden alaluokkia. Ja kiinnostavaa ei olekaan se tuottaako mieli laskennallisuutta vaan se, minkälaisen laskennallisuuden varassa se on.
Toisaalta tämä huomio voi olla tarpeen sen takia että aivojen ja tietoisuuden laskennallisuus on tiivistynyt melkoisen usein tietokonemetaforaksi. Ja tämänlainen bittienkäsittelytapa on mitä ilmeisimmin hyvin kaukana siitä miten aivot hoitavat asian. Ja tämä näkökulma voi olla vertailevaan malliin ihan innostava. Toisaalta tämän ikävyyttä pienentää se, että vertailumalleja voidaan saada hyvinkin monenlaisia. Esimerkiksi voidaan ajatella että ravinnontarvetta jne. ovat biologisia. Ja niitä koskevat mallit ovat jotain jota kautta saadaan intentioita, jopa tavalla jossa sallitaan hyvin erilaiset ratkaisumalli erilaisissa ympäristöissä. Järjestelmästä saadaan kiinnostava tavalla joka ei hylkää "merkityksen kokemista" vaikka se onkin etääntynyt "klassisesta semanttisesta merkityksestä".
3 kommenttia:
Ciinnostuin ma sun sanoist ia haluan sixi ehdottomasti mitellä canssais sanain säilää tahi muuten huastella.
Ennen taistoa näytän caswoni cuhin tekee tosi gentlemanni, tahi raotan cybäräin cantta antaen taiteilijanimen jolla minua puhuttaa. Ios haluan beittää aateluuteni ia toimia incognito iotta ylen ialoinen sucuisuuteni ei wastincumbbanini cättä turhaan bidättelis, teen tunnuxeni iotencin selwäxi. Nihin et caici tietäwät että sanoien tacana olen juuricin minä, encä secotu sanomain ioncu muun nimettoman sanomax, he cun ylen usein ioncin sortin celmi tahi ryovari on.
Mittelömme on cescittyy vahin tähän asiaan, encä halua tuoda muita rienoia, cinoia ia riitoia cun mist tässä hengen mieccain mittelemme. Seison sanoieni tacana iotca owat omiani. Suuni ei lurita toisten buheita, matci houccain sanomisia. Encä sanoillani toist arenaa mainoza.
Caicel olcon aicansa. Onbi aica taistella ia aica cwolla, eri aica bascahysisa asioida. Näit en toisiinsa secota ; Ymmärrän, joshi mittelö on wacawa asia, iossa hurmekin hubelehtii. Helbosti woisi haawain loucaantua. En halua catceroittaa cetään lobuxi icäänsä mielisuruihin waan byrin taistelemaan cuin tosi herrasmiehen, ritarim ia gentlemannin cunnialle sobii.
Sixi uscallan lausua noin nimetä että ios iocu alcaa himoita cuontaloani seinälleen wiisaitteni wuoxi, on turmeltunembi miesi, ei uroiden sotilasi waan boica-sicuri ionca buheis haise häne uran labiointi, ioca io hänen aiwoiens baica toimittabi.
En carde ; Sa varaudu!
"Merkitys" -sanasta etääntyvän semantiikkkakeskeisyyden sijaan voidaan hakea asiaa esimerkiksi kartoittamiseen (mapping) perustuvan ajatuksen kautta. Silloin ytimessä on vertailu. Meillä olisi mielessä kuvaus systeemistä, kuten ympäristöstä. Tämä loisi odotuksia. (Tapoja joilla eliö voisi toimia silmät kiinni.) Ja sitten on aistijärjestelmä joka lataa ympäristöstä dataa (tapoja joilla eliö voisi reagoida tietämättä mistään mitään). Ja tietoisuus olisi sitä että näitä kahta verrataan keskenään.
VastaaPoistaMiten tämä vaihtoehtoinen paradigma asettuisi representaation käsitteen ulkopuolelle? Minun nähdäkseni mikään reduktio representaation suhteen ei voi onnistua, koska se on fenomenologisesti redusoitumaton käsite (ks. Peirce tai Husserl). Siis, jos representaatio-puhe korvattaisiin jollain muulla terminologialla, tämä terminologia jouduttaisiin yhtä kaikki selittämään viimekädessä tavalla, mikä edellyttäisi representationalisuutta, ja tavallaan kyseessä olisi vain yhdenlainen representationalisuuden eufemisointi.
Minusta kyse on tässä paremminkin siitä, millaista representaation käsitettä sovelletaan. Onko jotenkin selvää, mitä sanalla "representaatio" tarkoitetaan kaikissa käyttöyhteyksissä? Jos on, haluaisin kuulla määritelmän! "Jokin, joka edustaa jotain"? Melko yleistä.
Tähän voidaan kuitenkin tuottaa ikävä epäselventävä seikka. Nimittäin se, että on täysin järkevää olla pankomputationalisti (pancomputationalism). Siinä esitetään että fysiikan lait, mukaanlukien kvanttimekaniikka, noudattavat toiminnassaan malleja jotka voidaan määritellä laskennan suorittamiseksi. (Kvanttilogiikalla voidaan rakentaa kvanttitietokoneitakin, joten tämä ei ole täysin hoopo ajatus.) Fysikaalinen systeemi ottaa ympäristöstään asioita johon se reagoi ja lopputuloksena on jotain joka sitten tallettuu johonkin. Ja kaikki tämä on "mekaanista". Universumi käyttää laskennallisia menetelmiä kaikessa.
Pankomputationalismi on sinänsä järkevä kanta, mutta sillä on kova metafyysinen hinta. Ensinnäkin tietoisuuden ongelman suhteen se johtaa epifenomenalismiin. Tämä lienee toki sinänsä järkevää, ainakin jos kyseessä on panpsykistinen epifenomenalismi, jolle tietoisuuden "funktio" on idealistisesti siinä, että "jonkin nyt on todistettava se, että jotain ylipäätään on, jotta se olisi". Chalmers näyttäisi olevan kallellaan tähän suuntaan. Suurempi ongelma, ainakin minulle, on se, että pankomputationalismi näyttäisi kvanttimekaniikan tulkintana johtavan monimaailmatulkintoihin. Näitä vastaan minulla ei ole muuta kuin se, etten niistä helkkari soikoon pidä yhtään. En pidä ajatusta, että jossain mahdollisessa maailmassa minut kidutetaan hengiltä, missä toisessa olenkin lottovoittaja. Monimaailmatulkinnat vaikuttavat hulluudelta, mutta jos halutaan mekanistinen ja deterministinen tulkinta KM:lle, niin se on ymmärtääkseni taloudellisin malli.
Kiitos loistavasta kommentista! Tämä tosiaan liittyy "hyvin yleisellä tasolla" olevaan juttuun joka tullee etenemään tästä ns. "vakavastiotettavaan suuntaan". Mutta hyvä että kiinnostaa ja oleellisia täsmennyksiä on tarjota.
VastaaPoistaMinun suhteeni monimaailmatulkintoihin on varovaisen kielteinen. En nyt lähde niitä suoraan torjumaankaan. Spekulatiivistahan se on. Mutta mikä tässä aiheessa EI ole?
Tuon kvanttimekaniikan tulkinnan suhteen kaikki on tosiaan spekulaatiota, ja myönnän avoimesti, ettei minulla ole monimaaailma tulkintaa vastaan hirveästi parempaa argumenttia kuin etten pidä siitä ...mutta makuni voi olla huono, tai vaikkei olisikaan, Jumalan maku voi olla huono.
VastaaPoistaMutta aihe on kyllä filosofisesti hyvin kiinnostava ja takapuolituntumani sanoo, että kysymyksen on liityttävä jollain syvällisellä tavalla näihin representaatiota koskeviin ongelmiin. Representaation käsitehän on looginen, ja tässä sitten tulvat vastaan kvanttilogiikat ja kvanttitietokoneet. Mutta mitään kovin viisasta en niistä osaa sanoa, valitettavasti.