Paradoxo do mentiroso

Em filosofia e lógica, o paradoxo do mentiroso abrange afirmações paradoxais como: Estou mentindo agora. ou Esta afirmação é falsa. Para evitar que uma afirmação se refira ao seu próprio valor lógico, também se pode construir o paradoxo da seguinte forma, chamada de paradoxo mentiroso fortalecido: A afirmação seguinte é verdadeira. A afirmação anterior é falsa. Geralmente, a denominação “paradoxo do mentiroso” é mais usada, embora a abstração seja feita precisamente pelo próprio mentiroso. Ao se tentar atribuir um valor verdade binário à afirmação do mentiroso fortalecida chega-se em uma contradição. Se "esta frase é falsa" for verdadeiro, então a frase é falsa, mas então se "esta frase é falsa" for falso, então a frase é verdadeira, e assim por diante.