Leugenaarsparadox
Uit Wikipedia, de vrije encyclopedia
De leugenaarsparadox is een bekende logische paradox die als volgt geformuleerd kan worden:
- Deze zin is onwaar.
Als bovenstaande zin waar is, dan is hij niet waar, en spreekt hij zichzelf tegen. Als de zin echter niet waar is, dan is het dus ook niet zo dat hij onwaar is; dat is immers wat hij zelf stelt, en hij is dus waar. De zin is dus waar dan en slechts dan als hij niet waar is.