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.