Yleinen suhteellisuusteoria
Yleinen suhteellisuusteoria korjaa ja ennustaa joitakin todennettavia ilmiöitä, joita Newtonin teoria ei kykene selittämään tai ennustamaan. Tällaisia ovat esimerkiksi valonsäteiden taipuminen massiivisen kappaleen ympärillä ja Merkuriuksen tai muiden planeettojen perihelin kiertyminen. Lisäksi yleisen suhteellisuusteorian mukaan aika hidastuu voimakkaassa gravitaatiokentässä. Yleinen suhteellisuusteoria ei ole ainoa relativistinen painovoimateoria, mutta se on malliltaan kaikkein yksinkertaisin niistä, jotka ovat kokeellisesti saadun tiedon kanssa sopusoinnussa. Vaikka teoria kykenee selittämään ja ennustamaan lukuisia ilmiöitä, se jättää joitakin kysymyksiä avoimiksi. Kaikkein perustavinta laatua oleva kysymys on se, kuinka yleinen suhteellisuusteoria saadaan sovitetuksi yhteen kvanttifysiikan lakien kanssa, jolloin lopputuloksena saadaan kvanttigravitaatioteoria.
Ontologia
Termiä "ontologia" käytetään, paitsi filosofian osa-alueen nimenä, myös puhuttaessa jonkin tietyn metafyysisen järjestelmän tai tieteellisen teorian olettamasta olioiden joukosta. Tyypillisesti tällainen ontologia muodostaa hierarkkisen rakenteen, jossa oleva tai entiteetti ovat kaikkein ylimmällä tasolla, ja joka sisältää kaiken muun olemassa olevan. Tyypillisiä seuraavan tason luokitteluja ovat universaalit ja partikulaarit, sekä abstraktit ja konkreettiset oliot. Universaalien jaotteluja ovat edelleen muun muassa ominaisuudet ja suhteet. Ontologiset teoriat pyrkivät usein selittämään, mitkä sanat viittaavat todellisiin olemassa oleviin entiteetteihin ja miten, mitkä eivät, ja mitä olemassaolon luokkia tästä seuraa. Kun tätä menetelmää sovelletaan esimerkiksi sellaisiin käsitteisiin kuin ”elektroni”, ”energia”, ”aika”, ”totuus”, ”kausaliteetti”, ”mieli” ja ”Jumala”, ontologia muodostuu keskeiseksi monien filosofian osa-alueiden perusteiden selventämisessä. Myös luonnontieteelliset teoriat olettavat tyypillisesti jonkinlaisen ontologisen järjestelmän, eivätkä nämä perustu aina puhtaasti empiirisiin havaintoihin: esimerkkinä toimivat kvanttimekaniikan teorioissa esiintyvät entiteetit.