tag:blogger.com,1999:blog-2467724970188645480.post5784818364449555975..comments2023-11-15T11:12:15.983+02:00Comments on T13-d3-m135: Predikaattiabstraktio.Tiedemieshttp://www.blogger.com/profile/08307419899926184187noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-2467724970188645480.post-40884746730241441432012-04-19T16:16:16.060+03:002012-04-19T16:16:16.060+03:00Mutta silloin kun "things are messy" ja ...Mutta silloin kun "things are messy" ja kaikki abstraktiot vuotaa on tietenkin vaikea sanoa kuka oikeasti on oikeassa, mutta on olemssa monia heuristisia keinoja kuten Bayesin interferenssi, marginalismi jne, jotta ei voida vain nostaa käsiä ilmaan ja sanoa että kaikki käy.<br /><br />Kiittää tästä sopasta saamme... entropiaa!Arihttps://www.blogger.com/profile/05827770764242875617noreply@blogger.comtag:blogger.com,1999:blog-2467724970188645480.post-5175622281893513132012-04-19T16:08:05.462+03:002012-04-19T16:08:05.462+03:00Uskoisin, että maalaisjärjellä tarkoitetaan, että ...Uskoisin, että maalaisjärjellä tarkoitetaan, että on jotain (heuristista) informaatiota jostakin, joka antaa syytä epäillä mallin toimivuutta. Jos joku oppilaasi toisi eteesi mallin, jonka väittäisi ennustavan paikallisen sään 12kk etuajalla, olisit melko varmasti intuitiosta olisit hyvin skeptinen näkemättä mallin ensimmäistä muuttujaakaan. Tämä informaatio ei ole merkityksetöntä. Tätä voidaan tavallaan myös ajatella vaikka regressioanalyysiin perustuvaksi makro-tason abstraktioksi. <br /><br />Maalaisjärki on tietekin vain yksi evoluution testaama (?) intuitiivnen työkalu. Esimerkiksi taitavan muusikon tai vaikka taidemaalarin vuosien kehittynyt intuitio on arvokas funktio, vaikka he eivät sitä osaisi "selittää". Tämähän oli Kahnemanin Thinking Fast and Slow tärkeimpiä teesejä. <br /><br />Yksi keino ajatella asiaa on vaikkapa jos tekisit kvanttimallin, joka väittäisi, että koirasi pitäisi leijua pois maan painovoimakentästä, epäilisit varmasti jotakin virhettä mallissa. Tämä on siitä "helppo", koska toisaalta makrofysiikka on aina redusoitavissa kvanttifysiikaksi, mutta todennäköisesti teet jo päätöksen ilman tätä reduktiota. Tosielämässä monestikaan reduktio ei ole mitenkään laskennallisesti mahdollista, ja käytetään karkeita abstraktioita. Taloustieteessähän on tainnut olla tekninen kiista pitäisikö makromallit olla redusoitavissa mikromalleiksi, ja jotkut itävaltalaisetkin ovat tähän tainneet sotkeentua. Ainakin Robert Lucas, jolle itävaltalaiset ovat sympaattisia.<br /><br />Tai voin antaa omasta elämästäni esimerkin, ajattelimme pienempänä kerran rakentaa digitaalilogiikalla ohjattavan saunareleen, mutta emme sitten uskoneet hänen isänsä olevan kovin sympaattinen ajatukselle jos esim. polttaisimme talon. Hän voisi tehdä "rationaalisen" päätöksen asian suhteen ymmärtämättä yhtään digitaalilogiikkaa. Magic!<br /><br />Niin, formaali esitys on sinäänsä sisältä lahjomaton. Tämä estää kaikenmaailman vetkutttelun, ja <i>tosiasioiden</i> kiistämisen, mikä on suorastaan ihmisten <i>ominaispiirre</i>. Siksihän ne ovatkin erittäin arvokkaita, mutta sehän ei ns. hörhöjä pysäytä.<br /><br />Muistan sinunkin sanoneesi esim. akateemisen filosofian (ainakin jonkin alueen) turhuudesta pystymättä sitä formaalisti todistmaan ("se näyttää vain ilmeiseltä"). :)Arihttps://www.blogger.com/profile/05827770764242875617noreply@blogger.comtag:blogger.com,1999:blog-2467724970188645480.post-45167445133608140672012-04-18T03:56:32.423+03:002012-04-18T03:56:32.423+03:00En ihan ymmärrä mitä tarkoittaa se, että common se...En ihan ymmärrä mitä tarkoittaa se, että common sensellä kumotaan malli. <br /><br />Mutta siis, itse näen sen jotenkin niin, että kun Cowen sanoo että "things are messy", olen täysin samaa mieltä. Ainakin jos tulkitsen tämän niin, että malli, joka on sullottu muutamaan dimensioon (riippumattomaan muuttujaan), on melko helposti osoitettavissa vuotavaksi, eli siis että <i>ceteris paribus</i> on melkein aina jollakin ilmeisellä tapaa väärä oletus.<br /><br />Ei ole tietenkään niin, että vain formaaleissa malleissa olisi informaatiota. Se on väärä kuvitelma. Sensijaan formaaleissa malleissa on esitystapaan nähden <i>enemmän</i> informaatiota ja ennen kaikkea informaatio, ja mallien rikkinäisyys <i>ilmenee</i> helpommin. Formaalissa esityksessä ei voi käyttää ns. weasel-wordejä, eli ei voi pehmennellä ja siloitella ikäänkuin etukäteen panssaroidakseen mallinsa vastaväitteiltä.Tiedemieshttps://www.blogger.com/profile/08307419899926184187noreply@blogger.comtag:blogger.com,1999:blog-2467724970188645480.post-51583053876444242352012-04-17T11:05:12.989+03:002012-04-17T11:05:12.989+03:00Juu olen samoilla linjoilla. Tarkennan kuitenkin, ...Juu olen samoilla linjoilla. Tarkennan kuitenkin, että Cowen sanoo introspektiosta olevansa valmis käyttämään "common sense [although not so common anymore] to override those models". Vaikka itse malli olisi ihan predikaatilogiikan mukaan redusoituvissa, tämän mallin takana on myös valintafunktio, joka voi olla hyvin partikulaarinen ja monimutkainen. Maalaisjärki nyt on vain yksi evolutiivinen heuristiikka, mutta se on ajattelutapa, joka on Hansonille vieras.<br /><br />Tietenkin tälläistä käytetään konfirmaatiobiaksena kun todellisuus ei kelpaa. Minulle todellisuus on pluralistinen, pidän monia mahdollisuuksia mahdollisina, enkä rakastu mihinkään uskomukseen liikaa; ainakin tähän pyrin. Karsastan siis ajatusta, että vain formaaleissa malleissa on informaatiota, ja muut ovat jotain maalaisjunttien höpinöitä. Tämä tuli mieleen kun puhuit Singaporen yhteydessä suomalaisuudesta.<br /><br />Ehkä olen enemmän vain sympaattinen myös epäformaaleille ja vastaaville esityksille, jos uskon että se johtaa meidät lähemmäksi "totuutta". En näe tätä hirveän relevanttina ns. kovissa tieteissä kuten fysiikassa, mutta esim. yhteiskuntatieteitä pidän aikamoisena "sekasotkuna". Tämä ei tarkoita, etteikö formaaleilla malleilla olisi arvoa tai etteikö nämä asiat olisi teorian tasolla redusoituvia (ei ne mitään magiaa ole); päinvastoin formaalit mallit ovat arvokkaita, ja <i>on the margin</i>, pidän niitä arvokaampina kuin keskiverokansalainen mutta vähemmän kuin Hanson. Kalibroin itseäni suhteessa Cowenin monessa suhteessa, koska hän tietää <i>paljon</i> monilta tieteenaloilta.<br /><br />Toivottavasti tämä paljastaa sen mitä tarkoitin.Arihttps://www.blogger.com/profile/05827770764242875617noreply@blogger.comtag:blogger.com,1999:blog-2467724970188645480.post-28546086183106265892012-04-17T02:49:26.984+03:002012-04-17T02:49:26.984+03:00Jokainen (toimiva) abstraktio pakkaa informaatiota...Jokainen (toimiva) abstraktio pakkaa informaatiota aivan älyttömän paljon. <br /><br />Minä olen itseasiassa mallien osalta enemmän samalla linjalla kuin Cowen, tai siis, enemmän sillä linjalla, miten Cowen itse näkee itsensä suhteessa Hansonin (ja osin ehkä itsenikin) tapaisiin formaalien mallien suosijoihin.<br /><br />Itse lähden siitä, että formaalit mallit ovat parasta mitä meillä on, mutta että mikään partikulaarinen malli ei yleensä ole "oikea", vaan se on aina rajallinen ja siksi meidän on oltava valmiita (tai no, Cowenin eetosta jäljitelläkseni, marginaalilla ainakin <i>valmiimpia</i> kuin nykyisin keskimäärin ihmiset ovat) hylkäämään malli tai vähintään kyseenalaistamaan se ja muokkaamaan sitä.<br /><br />Se, missä tämän lähestymistavan pahin sudenkuoppa on, että sitä käytetään ennakkoluulon validointiin: Kun tämä partikulaarinen malli nyt joudutaan hylkäämään, tämän hylkäyksen katsotaan validoivan jokin partikulaarinen intuitiivinen tai jopa täysin epäkoherentti käsitys, kuten vaikkapa jokin uskonnollinen selitys asioihin.<br /><br />Tämän kirjoituksen pointti on kuitenkin vähän toinen: Jokainen hyvin muotoiltu teksti - ja aivan erityisesti tämä tulee mieleen melkein aina kun Cowen puhuu - yleensä muistuttaa muotoilultaan jonkinlaista probabilistista predikaattilogiikkaa, jossa siis pyritään komparatiivisiin väittämiin (A is more likely than B) ja marginaalisiin argumentteihin (a small increase in A results in a decrease of B), jotka olisivat viimekädessä palautettavissa jonkinlaiseen formaaliin esitykseen.Tiedemieshttps://www.blogger.com/profile/08307419899926184187noreply@blogger.comtag:blogger.com,1999:blog-2467724970188645480.post-11984400713210676362012-04-16T23:09:22.383+03:002012-04-16T23:09:22.383+03:00Niin predikaattilogiikka on ihan käytännöllinen as...Niin predikaattilogiikka on ihan käytännöllinen asia.<br /><br />Se mikä minusta on merkillepantavaa on, että yksinkertaisetkin abstraktiot kuten vaikkapa E=F/q vaativat todennäköisesti monia miljardeja bittejä operationalisoituakseen. Tarkoitan sitä, että aivoissamme ovat, periaattessa täysin redusoituvia, neuroverkkoja jotka laskevat mikä osa todellisuudesta kuulu mukaan ja mikä ei. Koska tämä tapahtuu "automaattisesti", emme tiedosta näin mallien todellista monimutkaisuutta. Huom. siis fysiikka ei ole yhtään sen monimutkaisempaa kuin mallit välttämättä väittävät, vaan käyttääksemme mallia meillä pitää olla paljon eksogeenistä informaatiota. Tietenkin esim. Newtonin laista on aivoissamme jokin melko kehno käytännön empiriaan perustuva heuristinen versio. Tällä ei ole millään fysiikan tapaisella, jo hyvin tarkalla ja globaalilla informaatioalueella paljoakaan arvoa, mutta muualla kylläkin.<br /><br />Mutte minulle epistemelogia on instrumentaalinen. Sanalliset mallit ovat vähän niin kuin sumeita. Minulle on ihan sama esitetäänkö todellisuus esim. predikaattilogiikalla vai onko se vähän epäloogisempaa runoilua. Epälooginen runoilukin voi olla hyödyllinen kone, jos aivomme neuroverkot antavat oikeita arvoja. Minulla ei ole niinkään tärkeää siis mallin muoto, vaan sen toimivuus. Markkinat toimivat pitkälle näin. Jotkut tekevät voittoa hyvin formaaleilla menetelmillä, toisilla mallit ovat *gasp* enemmän intuitioon perustuvia. Markkinoiden feedback-mekanismi pitää kakkien jalat maassa, tai ainakin silloin kun arbitraasin mahdollisuus ei ole kovin suuri.<br /><br />Suosittelen ehdottomasti kuuntelemaan <a href="http://bloggingheads.tv/videos/2018" rel="nofollow">tämän</a>, minkä olen aikaisemminkin linkannut, jos et ole aikaisemmin kuunnellut. Cowen pitää Hansonia Wittgensteinin tapaisena loogisena atomistina, jotka suosivat erittäin formaaleja malleja, joiden väärinymmärtämisen mahdollisuus on pieni. Minusta juurikin juju on siinä, että vaikka Hanson ja vastaavat fyysikot on hyvin skeptisiä ei-akateemisen ja ei-formaalin ajattelun ulkopuoliselle informaatiolle, omnitietoisina arvelisin, että yllättyisimme eksogeenisen informaation määrästä. Voin olla väärässäkin.<br /><br />Mutta formaaliin esitykseen on aina pyrittävä.Arihttps://www.blogger.com/profile/05827770764242875617noreply@blogger.com