Når noen refererer til en "sannhet" eller hevder at en eller annen uttalelse er "sann", er det bare hva slags sannhet de viser til? Dette kan virke som et merkelig spørsmål med det første fordi vi så sjelden tenker på muligheten for at det kan være mer enn en type sannhet der ute, men det er riktignok forskjellige kategorier av sannhet som må huskes.
Aritmetiske sannheter
Blant de enkleste og mest åpenbare er aritmetiske sannheter de utsagnene som nøyaktig uttrykker matematiske forhold. Når vi sier at 7 + 2 = 9, fremsetter vi et krav om en aritmetisk sannhet. Denne sannheten kan også komme til uttrykk på vanlig språk: syv ting lagt til to ting gir oss ni ting.
Aritmetiske sannheter kommer ofte til uttrykk i det abstrakte, som med ligningen ovenfor, men det er normalt en virkelighetsbakgrunn, som med utsagnet i vanlig språk. Selv om disse kan sees på som enkle sannheter, er de blant de mest sikre sannhetene vi har vi kan være mer sikre på disse enn vi kan om nesten alt annet.
Geometriske sannheter
Veldig nært beslektet med aritmetiske sannheter er geometriske sannheter. Ofte uttrykt i numerisk form, er geometriske sannheter utsagn om romlige forhold. Geometri er tross alt studiet av det fysiske rommet rundt oss enten direkte eller gjennom idealiserte representasjoner.
Som med aritmetiske sannheter, kan disse også uttrykkes som abstraksjoner (for eksempel Pythagorean Theorem) eller på vanlig språk (summen av de indre vinklene på et kvadrat er 360 grader). Og som med aritmetiske sannheter, er geometriske sannheter også en av de mest sikre sannheter vi kan ha.
Logiske sannheter (analytiske sannheter)
Noen ganger også referert til som analytiske sannheter, er logiske sannheter utsagn som er sanne bare ved definisjon av begrepene som er brukt. Etiketten "analytisk sannhet" er avledet fra ideen om at vi kan fortelle at utsagnet er sant bare ved å analysere ordene som brukes hvis vi forstår utsagnet, må vi også vite at det er sant. Et eksempel på dette ville være "ingen ungkarer er gift" hvis vi vet hva ”ungkar” og ”gift” betyr, da vet vi med et faktum at uttalelsen er nøyaktig.
I hvert fall er det tilfelle når logiske sannheter kommer til uttrykk på vanlig språk. Slike utsagn kan også uttrykkes mer abstrakt som med symbolisk logikk i de tilfellene vil bestemmelsen av om en uttalelse er sann eller ikke være veldig lik å gjøre en slik bestemmelse av en aritmetisk ligning. For eksempel: A = B, B = C, derfor A = C.
Syntetiske sannheter
Mye mer vanlig og interessant er syntetiske sannheter: dette er utsagn som vi ikke kan vite som sanne bare i kraft av å gjøre noen matematiske beregninger eller en analyse av ordens betydninger. Når vi leser et syntetisk utsagn, blir predikatet tilbudt som å legge til ny informasjon som ikke allerede er inneholdt i emnet.
Så, for eksempel, "menn er høye" er en syntetisk uttalelse fordi konseptet "høye" ikke allerede er en del av "menn." Det er mulig for utsagnet å være enten sant eller usant hvis sant, så er det en syntetisk sannhet. Slike sannheter er mer interessante fordi de lærer oss noe nytt om verden rundt oss noe vi ikke visste før. Risikoen er imidlertid at vi kan ta feil.
Etiske sannheter
Tilfellet med etiske sannheter er noe uvanlig fordi det slett ikke er klart at noe slikt eksisterer. Det er absolutt slik at mange mennesker tror på eksistensen av etiske sannheter, men det er et sterkt omstridt emne i moralsk filosofi. I det minste, selv om det eksisterer etiske sannheter, er det ikke i det hele tatt klart hvordan vi kan bli kjent med dem med noen grad av sikkerhet.
I motsetning til andre uttalelser om sannhet, uttrykkes etiske utsagn på en normativ måte. Vi sier at 7 + 2 = 9, ikke 7 + 2 skal være lik 9. Vi sier at "ungkar er ikke gift" i stedet for "det er umoralsk for ungkar å være gift." Et annet trekk ved etiske utsagn er at de har en tendens til å uttrykke noe om hvordan verden kan være, ikke slik verden for tiden er. Selv om etiske utsagn kan kvalifiseres som sannheter, er de faktisk veldig uvanlige sannheter.
