Quan algú fa referència a una "veritat" o afirma que alguna afirmació és "certa", a quin tipus de veritat es refereix? Aquesta pot semblar una estranya pregunta al principi, perquè poques vegades pensem en la possibilitat que hi hagi més d’un tipus de veritat, però hi ha efectivament diferents categories de veritat.
Veritats aritmètiques
Entre les més senzilles i òbvies es troben veritats aritmètiques aquelles afirmacions que expressen amb exactitud relacions matemàtiques. Quan diem que 7 + 2 = 9, fem una afirmació sobre una veritat aritmètica. Aquesta veritat també es pot expressar en un llenguatge ordinari: set coses afegides a dues coses ens donen nou coses.
Les veritats aritmètiques sovint s’expressen en abstracte, com passa amb l’equació anterior, però normalment hi ha un rerefons de la realitat, com passa amb l’enunciat en llenguatge ordinari. Tot i que es pot considerar que són veritats simples, es troben entre les més certes veritats que tenim podem ser més segures d’aquestes que de qualsevol altra cosa.
Veritats geomètriques
Molt relacionades amb les veritats aritmètiques es troben veritats geomètriques. Sovint expressades de forma numèrica, les veritats geomètriques són afirmacions sobre relacions espacials . Al cap i a la fi, la geometria és l’estudi de l’espai físic que ens envolta bé directament o mitjançant representacions idealitzades.
Igual que en les veritats aritmètiques, aquestes també es poden expressar en abstraccions (per exemple, el teorema de Pitàgores) o en llenguatge ordinari (la suma dels angles interiors d’un quadrat és de 360 graus). I, igual que amb les veritats aritmètiques, les veritats geomètriques també es troben entre les veritats més certes que podem tenir.
Veritats lògiques (Veritats Analítiques)
A vegades també es coneixen com a veritats analítiques, les veritats lògiques són afirmacions que són certes simplement per definició dels termes que s’utilitzen. L’etiqueta “veritat analítica” deriva de la idea que podem dir que l’afirmació és certa només analitzant les paraules que s’utilitzen si entenem l’afirmació, també hem de saber que és certa. Un exemple d’això seria "no hi ha solters que es casin" si sabem què significa "solter" i "casat", aleshores sabem per fet que la declaració és exacta.
Almenys, aquest és el cas quan les veritats lògiques s’expressen en un llenguatge ordinari. Aquests enunciats també es poden expressar de manera més abstracta com en una lògica simbòlica en aquests casos, la determinació de si una afirmació és certa o no serà molt similar a la determinació d'una equació aritmètica. Per exemple: A = B, B = C, per tant A = C.
Veritats sintètiques
Molt més freqüents i interessants són veritats sintètiques: es tracta d’afirmacions que no podem conèixer com a veritables només per fer alguns càlculs matemàtics o una anàlisi del significat de les paraules. Quan llegim una declaració sintètica, s’ofereix el predicat que afegeix informació nova que ja no conté el subjecte.
Així, per exemple, "els homes són alts" és una afirmació sintètica perquè el concepte "alt" ja no forma part dels "homes". És possible que la afirmació sigui certa o falsa si és certa, és una veritat sintètica. Aquestes veritats són més interessants perquè ens ensenyen alguna cosa nova sobre el món que ens envolta cosa que abans no sabíem. El risc, però, és que podríem equivocar-nos.
Veritats ètiques
El cas de les veritats ètiques és una mica inusual ja que no està gens clar que fins i tot existeixi tal cosa. És cert el cas que molta gent creu en l'existència de veritats ètiques, però es tracta d'un tema molt disputat en la filosofia moral. Almenys, encara que existeixin veritats ètiques, no està del tot clar com podem arribar a conèixer-les amb cert grau de certesa.
A diferència d’altres afirmacions de veritat, les afirmacions ètiques s’expressen de manera normativa. Diguem que 7 + 2 = 9, no 7 + 2 haurien de ser iguals 9. Diem que "els solters no estan casats" en lloc de "és imoral que els solters es casin". Una altra característica de les afirmacions ètiques és que tendeixen a expressar alguna cosa sobre la forma en què pot ser el món, i no sobre la forma actual. Així, encara que les afirmacions ètiques puguin ser qualificades com a veritats, de fet, són veritats molt inusuals.
