Todo mundo conhece o paradoxo do mentiroso. É simplesmente a impossibilidade de atribuir um valor de verdade (verdadeiro/falso) à afirmação: esta afirmação é falsa. Se for verdadeira, então deve ser falsa e se for falsa deve ser verdadeira... E lá vamos nós em um círculo.
O resultado final é que o enunciado mentiroso não é nem verdadeiro nem falso. A inferência mais comum tirada dessa conjuntura é que a declaração mentirosa não é uma afirmação/proposição.
No entanto, considere o seguinte raciocínio:
Essa afirmação é falsa; não é verdadeira nem falsa. Portanto, há uma equivalência lógica entre as duas afirmações abaixo:
1. Essa afirmação é falsa;
&
2. Essa afirmação não é verdadeira nem falsa.
Todavia, observe que a instrução 2 possui um valor de verdade. É verdadeiro — a declaração mentirosa não é nem verdadeira nem falsa. Mas a afirmação 2 é logicamente equivalente à declaração 1 (a declaração mentirosa).
Portanto, a declaração mentirosa "Essa afirmação é falsa" é verdadeira em virtude da equivalência lógica acima.
Estou errado? '-'
O resultado final é que o enunciado mentiroso não é nem verdadeiro nem falso. A inferência mais comum tirada dessa conjuntura é que a declaração mentirosa não é uma afirmação/proposição.
No entanto, considere o seguinte raciocínio:
Essa afirmação é falsa; não é verdadeira nem falsa. Portanto, há uma equivalência lógica entre as duas afirmações abaixo:
1. Essa afirmação é falsa;
&
2. Essa afirmação não é verdadeira nem falsa.
Todavia, observe que a instrução 2 possui um valor de verdade. É verdadeiro — a declaração mentirosa não é nem verdadeira nem falsa. Mas a afirmação 2 é logicamente equivalente à declaração 1 (a declaração mentirosa).
Portanto, a declaração mentirosa "Essa afirmação é falsa" é verdadeira em virtude da equivalência lógica acima.
Estou errado? '-'