Når nogen refererer til en "sandhed" eller hævder, at en eller anden udsagn er "sand", hvad er den slags sandhed, de henviser til? Dette kan virke som et underligt spørgsmål i starten, fordi vi så sjældent overvejer muligheden for, at der måske er mere end en type sandhed derude, men der er faktisk forskellige kategorier af sandhed, der skal huskes.
Aritmetiske sandheder
Blandt de enkleste og mest indlysende er aritmetiske sandheder de udsagn, der nøjagtigt udtrykker matematiske forhold. Når vi siger, at 7 + 2 = 9, fremsætter vi et krav om en aritmetisk sandhed. Denne sandhed kan også udtrykkes på almindeligt sprog: syv ting tilføjet til to ting giver os ni ting.
Aritmetiske sandheder udtrykkes ofte i det abstrakte, som med ligningen ovenfor, men der er normalt en baggrund for virkeligheden, som med udsagnet i almindeligt sprog. Selvom disse kan ses som enkle sandheder, er de blandt de mest sikre sandheder, vi har vi kan være mere sikre på disse end vi kan næsten alt andet.
Geometriske sandheder
Meget tæt knyttet til aritmetiske sandheder er geometriske sandheder. Ofte udtrykt i numerisk form er geometriske sandheder udsagn om rumlige forhold. Geometri er trods alt studiet af det fysiske rum omkring os enten direkte eller gennem idealiserede repræsentationer.
Som med aritmetiske sandheder kan disse også udtrykkes som abstraktioner (for eksempel den Pythagoriske sætning) eller på almindeligt sprog (summen af de indvendige vinkler på et kvadrat er 360 grader). Og ligesom med aritmetiske sandheder er geometriske sandheder også blandt de mest sikre sandheder, vi kan have.
Logiske sandheder (analytiske sandheder)
Nogle gange også kaldet analytiske sandheder, er logiske sandheder udsagn, der er sandt simpelthen ved definition af de anvendte udtryk. Mærket "analytisk sandhed" stammer fra ideen om, at vi kan fortælle, at udsagnet er sandt bare ved at analysere de ord, der bruges hvis vi forstår udsagnet, skal vi også vide, at det er sandt. Et eksempel på dette ville være "ingen bachelorer er gift" hvis vi ved, hvad ”bachelor” og ”gift” betyder, så ved vi med det faktum, at udsagnet er nøjagtigt.
I det mindste er det tilfældet, når logiske sandheder udtrykkes på almindeligt sprog. Sådanne udsagn kan også udtrykkes mere abstrakt som med symbolsk logik i disse tilfælde vil afgørelsen af, om en erklæring er sand eller ej, være meget ligner det at foretage en sådan bestemmelse af en aritmetisk ligning. For eksempel: A = B, B = C, derfor A = C.
Syntetiske sandheder
Meget mere almindeligt og interessant er syntetiske sandheder: dette er udsagn, som vi ikke kan kende som sande blot i kraft af at foretage nogle matematiske beregninger eller en analyse af ordets betydninger. Når vi læser en syntetisk erklæring, tilbydes predikatet som tilføjelse af nye oplysninger, der ikke allerede er indeholdt i emnet.
Således er for eksempel "mænd høje" en syntetisk udsagn, fordi begrebet "høje" ikke allerede er en del af "mænd." Det er muligt for udsagnet at være enten sandt eller falskt hvis det er sandt, er det en syntetisk sandhed. Sådanne sandheder er mere interessante, fordi de lærer os noget nyt om verden omkring os noget, vi ikke vidste før. Risikoen er dog, at vi måske tager fejl.
Etiske sandheder
Tilfældet med etiske sandheder er noget usædvanligt, fordi det overhovedet ikke er klart, at en sådan ting endda eksisterer. Det er bestemt tilfældet, at mange mennesker tror på eksistensen af etiske sandheder, men det er et meget omtvistet emne i moralsk filosofi. I det mindste, selvom der findes etiske sandheder, er det slet ikke klart, hvordan vi kan lære dem at kende med nogen grad af sikkerhed.
I modsætning til andre sandhedsudsagn udtrykkes etiske udsagn på en normativ måde. Vi siger, at 7 + 2 = 9, ikke 7 + 2 skal være lig med 9. Vi siger, at "bachelorer ikke er gift" snarere end "det er umoralsk for bachelorer at blive gift." Et andet træk ved etiske udsagn er, at de har en tendens til at udtrykke noget om, hvordan verden kunne være, ikke hvordan verden i øjeblikket er. Selv hvis etiske udsagn kan kvalificeres som sandheder, er det faktisk meget usædvanlige sandheder.
