Ko se kdo sklicuje na "resnico" ali trdi, da je neka izjava "resnična", na kakšno resnico se sklicuje? To se sprva zdi kot nenavadno vprašanje, ker tako redko razmišljamo o možnosti, da bi bilo zunaj več resnic, vendar resnično obstajajo različne kategorije resnice, ki jih je treba upoštevati.
Aritmetične resnice
Med najpreprostejše in najbolj očitne so aritmetične resnice tiste izjave, ki natančno izražajo matematične odnose. Ko rečemo, da je 7 + 2 = 9, trdimo o aritmetični resnici. To resnico lahko izrazimo tudi v običajnem jeziku: sedem stvari, ki smo jim dodali dve stvari, nam daje devet stvari.
Aritmetične resnice so pogosto izražene v izvlečku, tako kot pri zgornji enačbi, vendar je običajno ozadje resničnosti, kot pri trditvi v običajnem jeziku. Čeprav jih je mogoče obravnavati kot preproste resnice, so med najbolj zanesljivimi resnicami, ki jih imamo, vendar smo lahko bolj prepričani o njih, kot o čemer koli drugem.
Geometrične resnice
Zelo tesno povezane z aritmetičnimi resnicami so geometrijske resnice. Pogosto izražene v številčni obliki so geometrijske resnice izjave o prostorskih odnosih. Geometrija je nenazadnje preučevanje fizičnega prostora okoli nas bodisi neposredno bodisi prek idealiziranih predstav.
Tako kot aritmetične resnice se tudi te lahko izrazijo kot abstrakcije (na primer pitagorejski izrek) ali v običajnem jeziku (vsota notranjih kotov kvadrata je 360 stopinj). Tako kot aritmetične resnice so tudi geometrijske resnice med najbolj določenimi resnicami, ki jih lahko imamo.
Logične resnice (Analitične resnice)
Logične resnice, ki jih včasih imenujemo tudi analitične resnice, so izjave, ki so resnične zgolj z opredelitvijo izrazov, ki se uporabljajo. Oznaka "analitična resnica" izhaja iz ideje, da lahko povemo, da je izjava resnična samo z analizo besed, ki se uporabljajo, če izjavo razumemo, potem moramo tudi vedeti, da je resnična. Primer tega bi bil "noben bakar ni poročen", če vemo, kaj pomenita "bachelor" in "married", potem vemo za dejstvo, da je izjava točna.
Vsaj tako je, če so logične resnice izražene v običajnem jeziku. Takšne izjave je mogoče izraziti tudi bolj abstraktno kot pri simbolični logiki v teh primerih, ugotovitev, ali je izjava resnična ali ne, bo zelo podobna takšni določitvi aritmetične enačbe. Na primer: A = B, B = C, torej A = C.
Sintetične resnice
Veliko pogostejše in zanimive so sintetične resnice: to so izjave, ki jih ne moremo vedeti kot resnične, samo če naredimo matematične izračune ali analiziramo pomene besed. Ko beremo sintetično izjavo, se predikat ponuja kot dodajanje novih informacij, ki še niso vsebovane v temi.
Tako je na primer "moški visok" sintetična izjava, ker pojem "visok" že ni del "moških". Mogoče je, da je izjava resnična ali napačna, če je resnična, potem je to sintetična resnica. Take resnice so bolj zanimive, ker nas naučijo nekaj novega o svetu okoli nas nekaj, česar prej nismo vedeli. Tveganje pa je, da se lahko motim.
Etične resnice
Primer etičnih resnic je nekoliko nenavaden, saj sploh ni jasno, da kaj takega sploh obstaja. Gotovo je, da mnogi verjamejo v obstoj etičnih resnic, toda to je v moralni filozofiji zelo sporna tema. Vsaj, če obstajajo etične resnice, sploh ni jasno, kako jih lahko s kakršno koli gotovostjo spoznamo.
Za razliko od drugih trditev resnice se etične izjave izražajo normativno. Pravimo, da bi moralo biti 7 + 2 = 9, ne 7 + 2. 9. Pravimo, da "prvošolci niso poročeni", namesto da je "prvošolci nemoralni". Druga značilnost etičnih izjav je, da ponavadi izražajo nekaj o tem, kakšen bi lahko bil svet, in ne takšen, kakršen je trenutno svet. Torej, četudi bi etične izjave lahko označili za resnice, so resnično zelo nenavadne resnice.
