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
Ensimmäisenä korrespondenssiteorian muotoili Aristoteles, jonka mukaan "väite on tosi, kun se vastaa todellisuutta". Väite on kielellinen esitys, jolla on semantiikka, eikä todellisuudella ole semantiikkaa. Näin ollen korrespondenssi on kielen ja todellisuuden välinen semanttinen suhde, jossa mallia pidetään totena, jos lauseen ja todellisuuden välillä on yhteensopivuus.