Þegar einhver vísar til „sannleika“ eða heldur því fram að einhver staðhæfing sé „sönn“, bara hvers konar sannleikur eru þeir að vísa til? Þetta kann að virðast eins og skrýtin spurning í fyrstu vegna þess að við hugsum svo sjaldan um möguleikann á að til séu fleiri en ein tegund sannleika þarna úti, en það eru vissulega mismunandi flokkar sannleika sem þarf að hafa í huga.
Reiknaðir sannleikar
Meðal einfaldustu og augljósustu eru tölfræðileg sannindi þessar fullyrðingar sem tjá stærðfræðileg sambönd nákvæmlega. Þegar við segjum að 7 + 2 = 9, gerum við kröfur um reiknaðan sannleika. Þessa sannleika er einnig hægt að tjá sig á venjulegu máli: sjö hlutir sem bætt er við tvennt gefur okkur níu hluti.
Reiknaðir sannleikar eru oft tjáðir í ágripinu, eins og með jöfnuna hér að ofan, en það er venjulega bakgrunnur veruleikans, eins og fullyrðingin á venjulegu máli. Þó að þetta megi líta á sem einfaldan sannleika, þá eru þeir meðal vissustu sannleika sem við höfum getum við verið vissari um þetta en við getum bara um hvað annað.
Rúmfræðileg sannindi
Mjög nátengd tölum sannleika eru rúmfræðileg sannindi. Oft er tjáð í tölulegu formi, rúmfræðileg sannindi eru fullyrðingar um landleg sambönd. Rúmfræði er, þegar öllu er á botninn hvolft, rannsókn á líkamlegu rými í kringum okkur annað hvort beint eða með hugsjónamyndum.
Eins og með tölfræðilegan sannleika, þá er einnig hægt að tjá þetta sem ágrip (til dæmis Pýþagórska setninguna) eða á venjulegu máli (summan af innri hornum ferningsins er 360 gráður). Og eins og með tölfræðilegan sannleika, eru rúmfræðileg sannindi einnig meðal vissustu sanninda sem við getum haft.
Rökrétt sannleikur (greinandi sannleikur)
Einnig er stundum vísað til sem greinandi sannleikur, rökrétt sannindi eru fullyrðingar sem eru sannar einfaldlega með skilgreiningu hugtaka sem notuð eru. Merkimiðið „greinandi sannleikur“ er dregið af hugmyndinni um að við getum sagt að fullyrðingin sé sönn bara með því að greina orðin sem eru notuð ef við skiljum fullyrðinguna verðum við líka að vita að hún er sönn. Dæmi um þetta væri „engir hluthafar eru giftir“ ef við vitum hvað „BA“ og „giftir“ þýða, þá vitum við fyrir satt að staðhæfingin er rétt.
Að minnsta kosti er það tilfellið þegar rökrétt sannindi eru sett fram á venjulegu máli. Slíkar fullyrðingar er einnig hægt að lýsa á óhlutbundnari hátt og með táknrænum rökfræði í þeim tilfellum mun ákvörðunin um hvort fullyrðingin er sönn eða ekki vera mjög svipuð því að gera slíka ákvörðun á reiknilíkingu. Til dæmis: A = B, B = C, því A = C.
Tilbúinn sannleikur
Miklu algengari og áhugaverðari eru tilbúin sannindi: þetta eru fullyrðingar sem við getum ekki vitað sem sanna einfaldlega í krafti þess að gera nokkra stærðfræðilega útreikninga eða greina merkingu orða. Þegar við lesum tilbúið fullyrðingu er forgjöfinni boðið upp á að bæta við nýjum upplýsingum sem ekki eru þegar í efninu.
Þannig, til dæmis, "menn eru háir" er tilbúið yfirlýsing vegna þess að hugtakið "hávaxið" er ekki þegar hluti af "körlum." Hugsanlegt er að staðhæfingin sé annað hvort sönn eða ósönn ef hún er sönn, þá er það tilbúið sannleikur. Slík sannindi eru áhugaverðari vegna þess að þau kenna okkur eitthvað nýtt um heiminn í kringum okkur eitthvað sem við vissum ekki áður. Hættan er hins vegar sú að við gætum haft rangt fyrir okkur.
Siðferðileg sannindi
Málið um siðferðileg sannindi er nokkuð óvenjulegt vegna þess að það er alls ekki ljóst að slíkt sé jafnvel til. Það er vissulega þannig að margir trúa á tilvist siðferðilegs sannleika, en það er mjög umdeilt viðfangsefni í siðferðisheimspeki. Að minnsta kosti, jafnvel þó að siðferðileg sannindi séu fyrir hendi, er alls ekki ljóst hvernig við getum kynnst þeim með nokkurri vissu.
Ólíkt öðrum sannleiks fullyrðingum eru siðferðilegar fullyrðingar settar fram með staðla. Við segjum að 7 + 2 = 9, ekki 7 + 2 ættu að vera jafnir 9. Við segjum að „BS eru ekki giftir“ frekar en „það er ósiðlegt fyrir BS að vera giftur.“ Annar eiginleiki siðferðilegra fullyrðinga er að þeir hafa tilhneigingu til að tjá eitthvað um hvernig heimurinn gæti verið en ekki hvernig heimurinn er núna. Þannig að jafnvel þótt siðferðilegar staðhæfingar gætu talist sannleikur, þá eru þær í raun mjög óvenjuleg sannindi.
