Väärus

See artikkel räägib propositsioonide ja teiste tõesusekandjate omadusest; moraalifilosoofia mõiste kohta vaata artiklit Väärus (eetika); teo, valiku või otsuse vääruse kohta ebaõigsuse mõttes vaata artiklit Valesus.

Väärus on tõesusele vastandlik 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.

Enamasti samastatakse väärust mittetõesusega, kuid mõne tõesusekandja kohta kaldutakse väitma, et see ei ole tõene ega väär.

Formaalses loogikas on väär tõesuse kõrval üks tõeväärtustest. Mõnes formaalse loogika süsteemis on tõese ja väära kõrval teisigi tõeväärtusi.

Kõnekeeles öeldakse sageli "tõene" asemel "õige" ja "väär" asemel "vale". Nende sõnade kasutamisel lähtume siiski sellest, et tõesus ja väärus on propositsiooni (või uskumuse või lause) vastavus või mittevastavus tõele, õigsus ja valesus aga teo (sealhulgas valiku või otsuse, sealhulgas uskumuse valiku või uskuda otsustamise) kooskõlalisus mingite reeglitega.