Hyvä logiikkapulma antaa sinulle riittävästi tietoa johtopäätökseen, mutta ei välttämättä siinä muodossa, jota toivoisit. Haaste on seurata implikaatioita tarkasti. Sanoilla kuten ”jos”, ”vain”, ”jokainen” ja ”vähintään” on todellista matemaattista merkitystä. Jos korvaat yhden niistä huolimattomasti, saatat ratkaista eri ongelman. Päättelyn ensimmäinen periaate on siis yksinkertainen: tee säännöt näkyviksi ennen kuin yrität olla nokkela.
Mitkä kortit sinun on käännettävä?
Pöydällä on neljä korttia, joissa lukee A, D, 4 ja 7. Jokaisessa kortissa on kirjain toisella puolella ja numero toisella. Haluat testata sääntöä: ”Jos kortin toisella puolella on vokaali, sen toisella puolella on parillinen numero.” Mitkä kortit sinun on käännettävä, jotta voit tarkistaa, päteekö sääntö näille neljälle kortille? Valitse pienin riittävä joukko.
Tämä on versio psykologi Peter Wasonin nimeämästä valintatehtävästä. Sen vaikeus johtuu vähemmän laskemisesta kuin taipumuksestamme etsiä sääntöä vahvistavia esimerkkejä. Kunnollinen testi etsii myös sitä yhtä tapausta, joka voisi kumota säännön.
Valitse tarkastuksesi
Vihje: etsi rikkomus
Sääntö rikkoutuu vain, jos vokaalin pari on pariton numero. Se ei kerro, mitä konsonantin takana täytyy olla.
Näytä koko selitys
Käännä A nähdäksesi, onko sen numero parillinen. Käännä 7 nähdäksesi, ettei sen kirjain ole vokaali. D ei voi rikkoa sääntöä numerostaan riippumatta. 4:n takana voi olla joko vokaali tai konsonantti, koska sääntö ei sano, että jokaisella parillisella numerolla on oltava vokaali.
Symbolein ilmaistuna ”jos P, niin Q” sulkee pois P:n yhdessä ei-Q:n kanssa. Se ei väitä ”jos Q, niin P”. Tuo käännetty väite on käänteisväite, ja sille tarvitaan oma perustelu. Vastaväite, ”jos ei-Q, niin ei-P”, on loogisesti samaa kuin alkuperäinen lause. Käänteisväitteen ja vastaväitteen pitäminen erillään estää yllättävän suuren joukon virheitä.
Totuudenpuhujat, valehtelijat ja hyödylliset oletukset
Oletetaan, että kaksi asukasta, Ada ja Ben, kuuluvat kumpikin johonkin kahdesta tyypistä. Totuudenpuhujat sanovat vain totta, valehtelijat vain valhetta. Ada sanoo: ”Me molemmat olemme valehtelijoita.” Mitä voit päätellä? Käsittele lausetta täydellisenä väitteenä näistä kahdesta henkilöstä ja oleta, että tyyppisääntöjä noudatetaan ilman poikkeuksia.
Jos Ada olisi totuudenpuhuja, hänen lauseensa olisi tosi, jolloin hän olisi valehtelija. Tämä ristiriita poistaa totuudenpuhujan vaihtoehdon. Ada on siis valehtelija, ja hänen lauseensa on epätosi. Koska hän on jo valehtelija, väite, että molemmat ovat valehtelijoita, voi olla epätosi vain, jos Ben on totuudenpuhuja. Arvaukset persoonallisuuksista, motiiveista tai kohteliaisuudesta eivät ole tässä merkityksellisiä.
Huomaa, että tämä päätelmä riippuu keinotekoisista säännöistä. Arjessa ihminen, joka valehtelee kerran, ei ole ihminen, jonka jokainen mahdollinen lause on epätosi. Logiikkapulmat rakentavat yksinkertaistettuja maailmoja, joissa implikaatiot ovat tarkkoja. Raymond Smullyanin What Is the Name of This Book? on tunnettu tutkimus tästä päättelytavasta, mukaan lukien paljon monimutkaisempi itseviittaus.
Tietäminen ei aina tarkoita yhdessä tietämistä
Vaikeimmat päättelyongelmat koskevat tietoa eivätkä totuusarvoja. Tosi tieto voi olla kaikkien tiedossa ja silti ei yleistä tietoa. Yleinen tieto tarkoittaa, että kaikki tietävät sen, kaikki tietävät, että kaikki tietävät sen, ja tämä malli jatkuu jokaisella äärellisellä tasolla. Julkisilla ilmoituksilla voi siis olla merkitystä, vaikka ne eivät näytä lisäävän uutta faktatietoa.
Harkitse yksinkertaistettua kahden hengen hattupulmaa. Kumpikin näkee toisen hatun, mutta ei omaansa. Hatut ovat joko punaisia tai valkoisia. Molemmat hatut ovat todellisuudessa punaisia. Säännöt, kummankin täydellinen päättelykyky ja julkiset vastauskierrokset ovat yleistä tietoa. Ilmoittaja sanoo julkisesti: ”Vähintään yksi hattu on punainen.” Ensimmäisellä kierroksella kumpaakin kysytään, tietävätkö he oman värinsä; molemmat vastaavat ei.
Seuraavalla kierroksella kumpikin voi päätellä, että oma hattu on punainen. Jos toisen henkilön hattu olisi valkoinen, toinen olisi nähnyt valkoisen ja käyttänyt ilmoitusta tunnistaakseen oman hattunsa punaiseksi heti. Ensimmäisen kierroksen epävarmuus sulkee tämän pois. Ilmoitus ja julkiset vastaukset luovat yhteisen päättelyrakenteen. Ajoitus ja julkinen tieto ovat olennaisia; jos ne poistetaan, johtopäätös ei välttämättä seuraa.
Käytännöllinen päättelyn tarkistuslista
Muunna monimutkainen lause lyhyeksi säännöksi. Kysy, mikä tekisi siitä epätosi. Erottele tapaukset, jotka eivät voi esiintyä yhtä aikaa. Kun mahdollista, laadi pieni taulukko ehdokasmaailmoista ja yliviivaa vain ne, joita todisteet suoraan vastustavat. Jos jäljelle jää kaksi maailmaa, et vielä ole todistanut yksikäsitteistä vastausta, vaikka toinen vaikuttaisi kuinka houkuttelevalta.
George Pólyan How to Solve It tarjoaa laajasti hyödyllisen ongelmanratkaisuasenteen: ymmärrä ongelma, laadi suunnitelma, toteuta se ja tarkastele lopuksi. Logiikassa takaisinkatsomiseen kuuluu tarkistaa, oletitko vahingossa johtopäätöksen. Pätevän päättelyn pitäisi kestää kriittinen lukija, joka hyväksyy esitetyt säännöt mutta ei jaa intuitioitasi.
Hyvän päättelytehtävän syvempi palkinto on tämä. Et opi epäilemään jokaista ensimmäistä ajatusta. Opit kysymään, mikä todiste erottaisi uskottavan vastauksen välttämättömästä.