Tõesus
Tõesus on teatav omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele. Asju, millel see omadus võib olla, nimetatakse tõekandjateks. Selle kohta, milles see omadus seisneb, on erinevaid arusaamu, mida nimetatakse tõeteooriateks. Kas tõesus ja väärus on omistatav propositsioonidele, lausetele, uskumustele või millelegi muule, see on tõekandja probleem. Tänapäeval omistatakse tõesus ja väärus kõige sagedamini propositsioonidele. Propositsiooni koguni defineeritakse kui seda, mis võib olla tõene või väär. On siiski vaieldav, kas iga propositsioon peab olema tõene või väär. Filosoofilist huvi pakub veel, mis teeb tõekandja tõeseks (tõetagaja probleem). Formaalses loogikas on "tõene" (tavaliselt koos "vääraga") üks tõeväärtustest. Tavakeeles samastatakse sageli "tõene" ja "õige" ning "väär" ja "vale". Täpsemas keeles on tõesus ja väärus propositsiooni (või uskumuse või lause) vastavus või mittevastavus tõele, seevastu õigsus ja valesus aga teo (sealhulgas valiku või otsuse, ka uskumuse valiku või uskuda otsustamise) kooskõlalisus mingite reeglitega.