totuusjärjestelmistä
Totuusjärjestelmät viittaavat usein filosofisiin tai loogisiin rakenteisiin, jotka pyrkivät selittämään, mitä tarkoittaa, että jokin väite tai lause on totta. Ne tarjoavat kriteerejä tai menetelmiä totuuden tunnistamiseksi ja todistamiseksi. Erilaisia totuusjärjestelmiä on kehitetty historian saatossa, ja ne eroavat toisistaan siinä, miten ne määrittelevät totuuden luonteen ja sen suhteen todellisuuteen tai muihin uskomuksiin.
Yksi tunnetuimmista on korrespondenssiteoria, jonka mukaan lause on totta, jos se vastaa todellisuutta. Klassinen esimerkki tästä
Pragmatistinen totuuskäsitys puolestaan katsoo, että lauseen totuus ilmenee sen käytännöllisistä seurauksista ja hyödyllisyydestä. Jos lauseen uskominen