Tõesus
Allikas: Vikipeedia
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õesusekandjateks.
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õesusekandja 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.
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õla mingite reeglitega.
