Soorten waarheden
Waarheid is een concept waarover al eeuwen wordt gedebatteerd. Het is vaak moeilijk te definiëren, omdat het vele vormen kan aannemen. Er zijn drie hoofdtypen waarheden: empirische, logische en morele.
Empirische waarheden
Empirische waarheden zijn gebaseerd op observatie en ervaring . Ze kunnen worden getest en geverifieerd met behulp van wetenschappelijke methoden. Voorbeelden van empirische waarheden zijn de wetten van de fysica, de eigenschappen van elementen en het gedrag van dieren.
Logische waarheden
Logische waarheden zijn gebaseerd op redeneren en deductie . Ze worden vaak uitgedrukt als wiskundige uitspraken of logische argumenten. Voorbeelden van logische waarheden zijn de wet van niet-tegenspraak en de wet van het uitgesloten midden.
Morele waarheden
Morele waarheden zijn gebaseerd op ethische principes . Ze worden vaak uitgedrukt als morele codes of religieuze doctrines. Voorbeelden van morele waarheden zijn de Gulden Regel en de Tien Geboden.
Concluderend zijn er drie hoofdtypen waarheden: empirische, logische en morele. Elk type waarheid is gebaseerd op een ander type bewijs en kan op verschillende manieren worden uitgedrukt. Het begrijpen van de verschillende soorten waarheden kan ons helpen de wereld om ons heen beter te begrijpen.
Als iemand verwijst naar een 'waarheid' of beweert dat een bewering 'waar' is, naar wat voor soort waarheid verwijst hij dan precies? Dit lijkt in eerste instantie misschien een vreemde vraag, omdat we zo zelden nadenken over de mogelijkheid dat er meer dan één type 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 rekenkundige waarheden - die verklaringen die wiskundige relaties nauwkeurig uitdrukken. Als we zeggen dat 7 + 2 = 9, maken we een bewering over een rekenkundige waarheid. Deze waarheid kan ook in gewone taal worden uitgedrukt: zeven dingen opgeteld bij twee dingen geeft ons negen dingen.
Rekenkundige waarheden worden vaak abstract uitgedrukt, zoals bij de vergelijking hierboven, maar er is normaal gesproken een achtergrond van de werkelijkheid, zoals bij de bewering in 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 zo ongeveer iets anders.
Geometrische waarheden
Zeer nauw verwant aan rekenkundige waarheden zijn geometrische waarheden. Vaak uitgedrukt in numerieke vorm, zijn geometrische waarheden uitspraken overruimtelijkrelaties. Geometrie is tenslotte de studie van de fysieke ruimte om ons heen - rechtstreeks of via geïdealiseerde representaties.
Net als bij rekenkundige waarheden, kunnen deze ook worden uitgedrukt als abstracties (bijvoorbeeld de stelling van Pythagoras) of in 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.
Logische waarheden (analytische waarheden)
Ook wel analytische waarheden genoemd, logische waarheden zijn beweringen die simpelweg waar zijn door de definitie van de termen die worden gebruikt. Het label 'analytische waarheid' is afgeleid van het idee dat we kunnen zien dat de bewering waar is door alleen de gebruikte woorden te analyseren - als we de bewering begrijpen, moeten we ook weten dat ze waar is. Een voorbeeld hiervan is 'geen vrijgezellen zijn getrouwd' - als we weten wat 'vrijgezel' en 'getrouwd' betekenen, dan weten we zeker dat de bewering juist is.
Dat is tenminste het geval wanneer logische waarheden in gewone taal worden uitgedrukt. Dergelijke uitspraken kunnen ook abstracter worden uitgedrukt, zoals bij symbolische logica - in die gevallen zal de bepaling of een uitspraak waar is of niet sterk lijken op het bepalen van een rekenkundige vergelijking. Bijvoorbeeld: A=B, B=C, dus A=C.
Synthetische waarheden
Veel gebruikelijker en interessanter zijn synthetische waarheden: dit zijn beweringen waarvan we niet kunnen weten dat ze waar zijn door simpelweg enkele wiskundige berekeningen uit te voeren of de betekenis van woorden te analyseren. Wanneer we een synthetische verklaring lezen, wordt het predikaat aangeboden als toevoeging van nieuwe informatie die nog niet in het onderwerp is opgenomen.
Zo is bijvoorbeeld 'mannen zijn lang' een synthetische uitspraak omdat het concept 'lang' nog geen deel uitmaakt van 'mannen'. Het is mogelijk dat de bewering waar of onwaar is - als het waar is, is het een synthetische waarheid. Zulke waarheden zijn interessanter omdat ze ons iets nieuws leren over de wereld om ons heen - iets wat we voorheen niet wisten. Het risico is echter dat we het bij het verkeerde eind hebben.
Ethische waarheden
Het geval van ethische waarheden is enigszins ongebruikelijk, omdat het helemaal niet duidelijk is dat zoiets überhaupt bestaat. Het is zeker zo dat veel mensen geloven in het bestaan van ethische waarheden, maar dat is een fel omstreden onderwerp in de moraalfilosofie. Zelfs als er ethische waarheden bestaan, is het op zijn minst helemaal niet duidelijk hoe we die met enige zekerheid kunnen leren kennen.
In tegenstelling tot andere uitspraken over de waarheid, worden ethische uitspraken op een normatieve manier uitgedrukt. We zeggen dat 7 + 2 = 9, niet 7 + 2zou moetengelijk 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 om iets uit te drukken over de manier waarop de wereld leeftzou kunnenzijn, niet zoals de wereld momenteel is. Dus zelfs als ethische uitspraken als waarheden zouden kunnen worden aangemerkt, zijn het inderdaad zeer ongebruikelijke waarheden.
