Towards a new quantum logic

Abstract

Kvanttimekaniikan katsotaan yleisesti alkaneen vuonna 1936 julkaistusta, Garrett Birkhoffin ja John von Neumannin kirjoittamasta artikkelista The Logic of Quantum Mechanics. Kvanttilogiikka alana on kuitenkin liki kuollut, jos vertaamme nykyisin julkaistujen tutkimusten määrää alan suuruusvuosiin. Gradussani yritän yhtäältä perustella, miksi alan nostaminen uudelleen keskusteluun olisi kuitenkin tärkeää. Ehdotan, että tämä onnistuisi sillä, että määrittelisimme kvanttilogiikan uudestaan. Sen lisäksi, että tieteellinen keskustelu on käsitellyt kvanttilogiikan kehittämistä ja alan tarpeellisuutta, on kvanttilogiikka myös muiden isojen kysymysten kohteena. Kvanttilogiikkaa vastaan esitetään esimerkiksi kritiikkiä, ettei se olisi lainkaan logiikkaa. Keskustelen jonkin verran kvanttilogiikan asemasta logiikkana. Näiltä osin keskeinen argumenttini on, että kvanttilogiikka ei ole katsottavissa tiukassa mielessä logiikaksi, mutta alan merkittävyyteen ei vaikuta, määrittelemmekö kvanttilogiikan logiikaksi. Toinen kysymys, joka on näkemykseni mukaan katsottava edellistä merkittävämmäksi, on se, mikä on logiikan ja empirian välinen suhde. Perinteisesti logiikka mielletään formaaliksi tieteeksi, joka on erillään empiirisistä tutkimustuloksista. Kvanttilogiikan formalismin suhteen tehtyjä valintoja perustellaan kuitenkin kvanttimekaniikan empirialla. Kun alan tavoitteena on mallintaa kvanttimekaniikkaa, ei kvanttilogiikkaa voi erottaa empiirisistä tuloksista. Se, mikä on formaalisten ja empiiristen tieteiden välinen suhde, kuinka paljon ja millä tavoin saamme muokata formalismia empiiristen tieteiden tutkimustulosten pohjalta ja kuinka paljon formaalisten tieteiden tulosten tulisi vaikuttaa empiiristen tieteiden tutkimukseen, on katsottava tärkeäksi selventää. Aiheesta voisi kirjoittaa paljon, joten olen tiukasti rajannut aiheen käsittelyä, kirjoittanut lyhyesti joistakin aiheesta julkaistuista tutkimuksista ja esittänyt tiiviisti oman näkemykseni aiheeseen. Lopulta esittelen kaksi standarditulkinnalle kehitetyistä vaihtoehdoista: sumean kvanttilogiikan ja klassisen kvanttilogiikan. Jälkimmäisen osalta on otettava huomioon, että aiheesta kirjoittavat eivät nimitä tätä klassiseksi kvanttilogiikaksi, vaan ihan vain klassiseksi logiikaksi. Valintani käyttää nimitystä klassinen kvanttilogiikka seuraa luontevasti antamaani kvanttilogiikan uudelleenmäärittelyä. Termiä klassinen kvanttilogiikka ei ole siis syytä katsoa varsinaisesti klassisesta logiikasta erilliseksi logiikaksi, vaan ainoastaan korostamaan sitä, että klassista logiikkaa käytetään tässä tilanteessa kvanttimekaniikan kontekstissa. Tutkielman lopuksi esitän haasteita, joihin kvanttiloogikkojen olisi kyettävä vastaamaan.