Quando qualcuno si riferisce a una "verità" o afferma che alcune affermazioni sono "vere", a quale tipo di verità si riferiscono? All'inizio può sembrare una domanda strana perché pensiamo così raramente alla possibilità che ci possa essere più di un tipo di verità là fuori, ma ci sono davvero diverse categorie di verità che devono essere tenute a mente.
Verità aritmetiche
Tra le verità più semplici e ovvie ci sono le verità aritmetiche - quelle affermazioni che esprimono accuratamente le relazioni matematiche. Quando diciamo che 7 + 2 = 9, stiamo rivendicando una verità aritmetica. Questa verità può anche essere espressa nel linguaggio ordinario: sette cose aggiunte a due cose ci danno nove cose.
Le verità aritmetiche sono spesso espresse in astratto, come con l'equazione sopra, ma c'è normalmente uno sfondo di realtà, come con l'affermazione nel linguaggio ordinario. Sebbene queste possano essere viste come semplici verità, sono tra le verità più certe che abbiamo: possiamo esserne più certi di quanto possiamo di qualsiasi altra cosa.
Verità geometriche
Le verità geometriche sono strettamente legate alle verità aritmetiche. Spesso espresse in forma numerica, le verità geometriche sono affermazioni sulle relazioni spaziali . La geometria è, dopo tutto, lo studio dello spazio fisico che ci circonda - direttamente o attraverso rappresentazioni idealizzate.
Come per le verità aritmetiche, queste possono anche essere espresse come astrazioni (ad esempio il Teorema di Pitagora) o in linguaggio ordinario (la somma degli angoli interni di un quadrato è di 360 gradi). E, come per le verità aritmetiche, anche le verità geometriche sono tra le verità più certe che possiamo avere.
Verità logiche (verità analitiche)
A volte anche denominate verità analitiche, le verità logiche sono affermazioni che sono vere semplicemente per definizione dei termini che vengono utilizzati. L'etichetta "verità analitica" deriva dall'idea che possiamo dire che l'affermazione è vera solo analizzando le parole usate se capiamo l'affermazione, allora dobbiamo anche sapere che è vera. Un esempio di questo sarebbe "nessun scapolo è sposato", se sappiamo cosa significano "scapolo" e "sposato", allora sappiamo per certo che l'affermazione è accurata.
Almeno, questo è il caso in cui le verità logiche sono espresse nel linguaggio ordinario. Tali affermazioni possono anche essere espresse in modo più astratto come con la logica simbolica in quei casi, la determinazione del fatto che un'affermazione sia vera o meno sarà molto simile a fare una tale determinazione di un'equazione aritmetica. Ad esempio: A = B, B = C, quindi A = C.
Verità sintetiche
Molto più comuni e interessanti sono le verità sintetiche: sono affermazioni che non possiamo conoscere come vere semplicemente in virtù di alcuni calcoli matematici o di un'analisi dei significati delle parole. Quando leggiamo una dichiarazione sintetica, il predicato viene offerto come aggiunta di nuove informazioni non già contenute nell'argomento.
Ad esempio, "uomini sono alti" è un'affermazione sintetica perché il concetto "alto" non fa già parte di "uomini". È possibile che l'affermazione sia vera o falsa se vera, allora è una verità sintetica. Tali verità sono più interessanti perché ci insegnano qualcosa di nuovo sul mondo che ci circonda - qualcosa che non sapevamo prima. Il rischio, tuttavia, è che potremmo sbagliarci.
Verità etiche
Il caso delle verità etiche è in qualche modo insolito perché non è affatto chiaro che una cosa del genere esista. È certamente vero che molte persone credono nell'esistenza di verità etiche, ma questo è un argomento fortemente contestato nella filosofia morale. Per lo meno, anche se esistono verità etiche, non è affatto chiaro come possiamo conoscerle con un certo grado di certezza.
A differenza di altre affermazioni di verità, le dichiarazioni etiche sono espresse in modo normativo. Diciamo che 7 + 2 = 9, non 7 + 2 dovrebbero essere uguali a 9. Diciamo che "gli scapoli non sono sposati" piuttosto che "è immorale che gli scapoli siano sposati". Un'altra caratteristica delle dichiarazioni etiche è che tendono ad esprimere qualcosa sul modo in cui il mondo potrebbe essere, non sul modo in cui il mondo è attualmente. Pertanto, anche se le affermazioni etiche potrebbero qualificarsi come verità, sono davvero verità davvero insolite.
