Paradosso del mentitore

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.

Developed by StudentB