Erityinen suhteellisuusteoria
Suppea suhteellisuusteoria eli erityinen suhteellisuusteoria tai erikoinen suhteellisuusteoria on fysiikassa yleisesti hyväksytty ja kokeellisesti hyvin tuettu tieteellinen teoria, jonka Albert Einstein julkaisi 1905. Se korvasi newtonilaisen eli klassisen mekaniikan käsityksen muuttumattomasta avaruudesta ja ajasta näiden yhtymäksi, aika-avaruudeksi, ja sisällytti itseensä sähkömagnetismin teorian, kuten Maxwellin yhtälöissä on esitetty.
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.