Wanneer iemand naar een 'waarheid' verwijst of beweert dat een of andere bewering 'waar' is, naar wat voor soort waarheid verwijzen ze dan? Dit lijkt in het begin misschien een vreemde vraag, omdat we zo zelden nadenken over de mogelijkheid dat er meer dan één soort waarheid bestaat, maar er zijn inderdaad verschillende categorieën van waarheid die in gedachten moeten worden gehouden.
Rekenkundige waarheden
Een van de eenvoudigste en meest voor de hand liggende zijn waarheidsgetrouwe waarheden die wiskundige relaties nauwkeurig uitdrukken. Als we zeggen dat 7 + 2 = 9, claimen we een rekenkundige waarheid. Deze waarheid kan ook in gewone taal worden uitgedrukt: zeven dingen die aan twee dingen worden toegevoegd, geven ons negen dingen.
Rekenkundige waarheden worden vaak uitgedrukt in het abstracte, zoals bij de bovenstaande vergelijking, maar er is normaal gesproken een achtergrond van de werkelijkheid, zoals bij de uitspraak in de gewone taal. Hoewel deze als eenvoudige waarheden kunnen worden gezien, behoren ze tot de meest zekere waarheden die we hebben we kunnen hier zekerder van zijn dan van vrijwel alles.
Geometrische waarheden
Heel nauw verwant aan rekenkundige waarheden zijn geometrische waarheden. Geometrische waarheden, vaak uitgedrukt in numerieke vorm, zijn uitspraken over ruimtelijke relaties. Geometrie is immers de studie van de fysieke ruimte om ons heen direct of via geïdealiseerde representaties.
Net als bij rekenkundige waarheden, kunnen deze ook worden uitgedrukt als abstracties (bijvoorbeeld de stelling van Pythagoras) of in de gewone taal (de som van de binnenhoeken van een vierkant is 360 graden). En, net als bij rekenkundige waarheden, behoren geometrische waarheden ook tot de meest zekere waarheden die we kunnen hebben.
Logical Truths (Analytic Truths)
Ook wel analytische waarheden genoemd, zijn logische waarheden uitspraken die waar zijn, gewoon door de definitie van de gebruikte termen. Het label 'analytische waarheid' is afgeleid van het idee dat we kunnen zeggen dat de bewering waar is, alleen door de gebruikte woorden te analyseren als we de bewering begrijpen, moeten we ook weten dat deze waar is. Een voorbeeld hiervan is "er zijn geen vrijgezellen getrouwd" als we weten wat "vrijgezel" en "getrouwd 'betekenen, dan weten we zeker dat de verklaring juist is.
Tenminste, dat is het geval wanneer logische waarheden in gewone taal worden uitgedrukt. Dergelijke uitspraken kunnen ook abstracter worden uitgedrukt, zoals met symbolische logica in die gevallen zal de bepaling of een bewering waar is of niet erg veel lijken op het maken van een dergelijke bepaling van een rekenkundige vergelijking. Bijvoorbeeld: A = B, B = C, dus A = C.
Synthetische waarheden
Veel gebruikelijker en interessanter zijn synthetische waarheden: dit zijn uitspraken die we niet als waar kunnen kennen, gewoon op basis van wiskundige berekeningen of een analyse van de betekenis van woorden. Wanneer we een synthetische verklaring lezen, wordt het predicaat aangeboden als toevoeging van nieuwe informatie die nog niet in het onderwerp is opgenomen.
Dus, "mannen zijn lang" is een synthetische verklaring, omdat het concept "lang" nog geen deel uitmaakt van "mannen". Het is mogelijk dat de bewering waar of onwaar is indien waar, dan is het een synthetische waarheid. Zulke waarheden zijn interessanter omdat ze ons iets nieuws leren over de wereld om ons heen iets dat we niet eerder wisten. Het risico is echter dat we het mis kunnen hebben.
Ethische waarheden
Het geval van ethische waarheden is enigszins ongebruikelijk omdat het helemaal niet duidelijk is dat zoiets zelfs bestaat. Het is zeker het geval dat veel mensen geloven in het bestaan van ethische waarheden, maar dat is een fel betwist onderwerp in de morele filosofie. Op zijn minst, zelfs als er ethische waarheden bestaan, is het helemaal niet duidelijk hoe we ze met enige mate van zekerheid kunnen leren kennen.
In tegenstelling tot andere waarheidsuitspraken worden ethische uitspraken op een normatieve manier uitgedrukt. We zeggen dat 7 + 2 = 9, niet 7 + 2 gelijk moet zijn aan 9. We zeggen dat "vrijgezellen niet getrouwd zijn" in plaats van "het is immoreel voor vrijgezellen om te trouwen." Een ander kenmerk van ethische uitspraken is dat ze de neiging hebben iets uit te drukken over hoe de wereld zou kunnen zijn, niet zoals de wereld momenteel is. Dus zelfs als ethische uitspraken als waarheden kunnen worden aangemerkt, zijn het inderdaad zeer ongebruikelijke waarheden.
