Yleinen suhteellisuusteoria
Yleinen suhteellisuusteoria () on useimpien fyysikkojen nykyään kannattama, painovoimaa kuvaava teoria, jonka kehitti teoreettinen fyysikko Albert Einstein vuosina 1907–1915. Se on todeksi osoitetun erityisen eli suppean suhteellisuusteorian laajennus. Yleisen suhteellisuusteorian mukaan kahden kappaleen välillä havaittu painovoima johtuu siitä, että kappaleiden massat kaareuttavat aika-avaruutta. Yleisessä suhteellisuusteoriassa gravitaatio siis tulkitaan avaruuden "kaareutumiseksi", toisin sanoen avaruuden geometrian muuttumiseksi. Einsteinin teoria käyttää geometrianaan Riemannin epäeuklidista geometriaa. Teoria korvaa Sir Isaac Newtonin vuonna 1686 julkaiseman teorian painovoimasta voimana massallisten kappaleiden välillä. Kokeiden mukaan Einsteinin teoria on tarkempi ja on näin syrjäyttänyt Newtonin teorian modernissa fysiikassa. Yleinen suhteellisuusteoria ennusti myös gravitaatioaaltojen olemassaolon.
Totuuden vastaavuusteoria
Totuuden vastaavuusteoria kuvaa ehkä parhaiten arkipäiväistä käsitystä totuudesta. Vastaavuusteoriaa vastaan ja sen puolesta on väitelty filosofisessa kirjallisuudessa paljon, ilman että yksimielisyyttä sen hyväksyttävyydestä olisi saavutettu. Konsilienssimalli kuitenkin olettaa objektiivisen, ihmismielestä riippumattoman, maailman ja on siksi osittain ristiriidassa skeptisyyden ja relativismin ja muiden sellaisten mallien kanssa, jotka asettavat objektiivisuuden kyseenalaiseksi. Korrespondenssia käsitellään näiden muiden näkemysten piirissä siten, että "Totuudesta" on mahdotonta puhua kielen kaikkialle ulottuvan ja rajoittavan vaikutuksen vuoksi; puhutaan kielestä universaalina välineenä ja vedotaan "semantiikan lausumattomuuteen" (engl. ""ineffability""), eli siihen, että emme voi koskaan mennä kielellisen tulkinnan ulkopuolelle tarkastelemaan semanttisia sisältöjä ja sen todellista suhdetta maailmaan - ja Gödelin epätäydellisyyslauseen mukaan totuutta ei voida koskaan saavuttaa järjestelmän sisällä. Tämä ei kuitenkaan väistämättä johda siihen, että jotain ei voitaisi tietää tai totuutta ei voitaisi lähestyä, vaan voi myös korostaa fallibilistisen toimintametodin tärkeyttä.