In logica, il paradosso del mentitore (più propriamente antinomia del mentitore) è descritto come: data una proposizione autonegante come "Questa frase è falsa", nessuno riuscirà mai a dimostrare se tale affermazione sia vera o falsa;
- se infatti fosse vera, allora la frase non sarebbe veramente falsa (la verità della proposizione non invalida la falsità espressa nel contenuto della proposizione).
- se invece la proposizione fosse falsa, allora il contenuto si capovolgerebbe (è come se dicesse "Questa frase è vera") quando abbiamo appena affermato il contrario.