När någon hänvisar till en "sanning" eller hävdar att något uttalande är "sant", vilken typ av sanning hänvisar de till? Detta kan tyckas som en udda fråga till en början eftersom vi så sällan tänker på möjligheten att det kan finnas mer än en typ av sanning där ute, men det finns verkligen olika kategorier av sanning som måste hållas i åtanke.
Aritmetiska sanningar
Bland de enklaste och mest uppenbara är aritmetiska sanningar de uttalanden som exakt uttrycker matematiska relationer. När vi säger att 7 + 2 = 9 gör vi anspråk på en aritmetisk sanning. Denna sanning kan också uttryckas på vanligt språk: sju saker som läggs till två saker ger oss nio saker.
Aritmetiska sanningar uttrycks ofta i det abstrakta, som med ekvationen ovan, men det finns normalt en verklighetsbakgrund, som med uttalandet i vanligt språk. Även om dessa kan ses som enkla sanningar, är de bland de mest säkra sanningar vi har vi kan vara mer säkra på dessa än vi kan på nästan allt annat.
Geometriska sanningar
Mycket nära besläktade med aritmetiska sanningar är geometriska sanningar. Ofta uttryckt i numerisk form är geometriska sanningar uttalanden om rumsliga förhållanden. Geometri är trots allt studiet av det fysiska rymden runt oss either antingen direkt eller genom idealiserade representationer.
Liksom med aritmetiska sanningar kan dessa också uttryckas som abstraktioner (till exempel Pythagoras teorem) eller på vanligt språk (summan av de inre vinklarna på en kvadrat är 360 grader). Och, som med aritmetiska sanningar, är geometriska sanningar också bland de mest säkra sanningar vi kan ha.
Logiska sanningar (analytiska sanningar)
Ibland kallas också analytiska sanningar, logiska sanningar är uttalanden som är sanna helt enkelt genom definition av termerna som används. Etiketten "analytisk sanning" härstammar från idén att vi kan säga att uttalandet är sant bara genom att analysera orden som används om vi förstår uttalandet måste vi också veta att det är sant. Ett exempel på detta skulle vara "inga ungkarlar är gifta" om vi vet vad ”ungkarl” och ”gift” betyder, då vet vi på ett faktum att uttalandet är korrekt.
Åtminstone är det fallet när logiska sanningar uttrycks i vanligt språk. Sådana påståenden kan också uttryckas mer abstrakt som med symbolisk logik i dessa fall kommer bestämningen av huruvida ett uttalande är sant eller inte mycket lika att göra en sådan bestämning av en aritmetisk ekvation. Till exempel: A = B, B = C, därför A = C.
Syntetiska sanningar
Mycket vanligare och intressantare är syntetiska sanningar: det är uttalanden som vi inte kan veta som sanna helt enkelt genom att göra några matematiska beräkningar eller en analys av ords betydelser. När vi läser ett syntetiskt uttalande erbjuds predikatet att lägga till ny information som inte redan finns i ämnet.
Således är till exempel "män är höga" ett syntetiskt uttalande eftersom begreppet "höga" inte redan är en del av "män." Det är möjligt för uttalandet att vara antingen sant eller falskt om det är sant, är det en syntetisk sanning. Sådana sanningar är mer intressanta eftersom de lär oss något nytt om världen runt oss något vi inte visste förut. Risken är dock att vi kan ha fel.
Etiska sanningar
Fallet med etiska sanningar är något ovanligt eftersom det inte alls är tydligt att en sådan sak till och med existerar. Det är verkligen så att många tror på existensen av etiska sanningar, men det är ett hett omtvistat ämne i moralfilosofin. Åtminstone, även om det finns etiska sanningar, är det inte alls klart hur vi kan lära känna dem med någon viss säkerhet.
Till skillnad från andra sanningsuttalanden uttrycks etiska uttalanden på ett normativt sätt. Vi säger att 7 + 2 = 9, inte 7 + 2 borde vara lika med 9. Vi säger att "ungkarlar är inte gifta" snarare än "det är omoraliskt för ungkarlister att gifta sig." Ett annat drag i etiska uttalanden är att de tenderar att uttrycka något om hur världen kan vara, inte hur världen är för närvarande. Så även om etiska uttalanden kan betecknas som sanningar, är de verkligen mycket ovanliga sanningar.
