Kad se netko odnosi na "istinu" ili tvrdi da je neka izjava "istinita", samo na kakvu se istinu odnosi? To se u početku može činiti čudnim pitanjem, jer tako rijetko razmišljamo o mogućnosti da možda postoji više vrsta istine, no doista postoje različite kategorije istine koje je potrebno imati na umu.
Aritmetičke istine
Među najjednostavnije i najočitije su aritmetičke istine one izjave koje precizno izražavaju matematičke odnose. Kad kažemo da je 7 + 2 = 9, postavljamo tvrdnju o aritmetičkoj istini. Ta se istina može izraziti i običnim jezikom: sedam stvari dodane u dvije stvari daju nam devet stvari.
Aritmetičke istine često se izražavaju u apstraktnom obliku, kao u gornjoj jednadžbi, ali obično postoji pozadina stvarnosti, kao što je iskaz u običnom jeziku. Iako se ove mogu vidjeti kao jednostavne istine, one su među najozbiljnijim istinama koje imamo, mi od njih možemo biti sigurniji nego što je moguće od svega ostalog.
Geometrijske istine
Vrlo usko povezane s aritmetičkim istinama su geometrijske istine. Često izražene u numeričkom obliku, geometrijske istine su izjave o prostornim odnosima. Geometrija je, na kraju krajeva, proučavanje fizičkog prostora oko nas bilo izravno ili kroz idealizirane reprezentacije.
Kao i kod aritmetičkih istina, i one se mogu izraziti apstrakcijama (na primjer pitagorejski teorem) ili običnim jezikom (zbroj unutarnjih kutova kvadrata iznosi 360 stupnjeva). Kao i kod aritmetičkih istina, geometrijske su istine i među najozbiljnijim istinama koje možemo imati.
Logičke istine (Analitičke istine)
Takoder se ponekad nazivaju analitičkim istinama, logičke su istine izjave koje su istinite samo definicijom termina koji se koriste. Oznaka „analitička istina“ proizlazi iz ideje da možemo reći da je izjava istinita samo analizom riječi koje se koriste ako razumijemo tvrdnju, tada moramo znati i da je istina. Primjer za to bi bio „nijedan neženja nije oženjen“ ako znamo što znači „prvostupnik“ i „oženjen“, onda znamo za činjenicu da je izjava točna.
Barem je to slučaj kada se logičke istine izražavaju u običnom jeziku. Takve se izjave mogu izraziti i apstraktnije kao kod simboličke logike u tim slučajevima, određivanje je li neka izjava istinita ili ne će biti vrlo slična donošenju takvog određivanja aritmetičke jednadžbe. Na primjer: A = B, B = C, dakle A = C.
Sintetičke istine
Mnogo su češće i zanimljivije sintetičke istine: to su izjave koje ne možemo spoznati kao istinite jednostavno zahvaljujući matematičkim proračunima ili analiziranju značenja riječi. Kad čitamo sintetičku izjavu, predikat se nudi kao dodavanje novih informacija koje još nisu sadržane u temi.
Tako je, na primjer, "muškarci visoki" sintetička izjava, jer pojam "visok" već nije dio "muškaraca". Moguće je da izjava bude istinita ili lažna ako je istinita, onda je to sintetička istina. Takve su istine zanimljivije jer nas uče nečemu novom o svijetu oko nas nečemu što prije nismo znali. Rizik je, međutim, da bismo možda pogriješili.
Etičke istine
Slučaj etičkih istina pomalo je neobičan jer uopće nije jasno da tako nešto uopće postoji. Sigurno je da mnogi vjeruju u postojanje etičkih istina, ali to je vruće osporavana tema u moralnoj filozofiji. U najmanju ruku, čak i ako postoje etičke istine, uopće nije jasno kako ih možemo spoznati sa bilo kojom sigurnošću.
Za razliku od drugih tvrdnji istine, etičke izjave izražavaju se normativno. Kažemo da bi 7 + 2 = 9, a ne 7 + 2 trebalo biti jednako 9. Kažemo da „prvostupnici nisu u braku“, nego „nemoralno je da se prvostupnici vjenčaju“. Još jedna značajka etičkih izjava je da oni imaju tendenciju da izražavaju nešto o onome kakav bi svijet mogao biti, a ne onakvom kakav je svijet trenutno. Dakle, čak i ako se etičke izjave mogu kvalificirati kao istine, one su doista vrlo neobične istine.
