Forum libero

Invece l?affermazione ?Io sto mentendo? sarebbe assai più grave (se chi pronuncia tale frase dice la verità, allora egli sta effettivamente mentendo e questa è una contraddizione; se chi pronuncia tale frase mente, allora egli non sta mentendo e, di conseguenza, sta dicendo la verità ed anche questa è una contraddizione).
Tale situazione si riferisce alla falsità di una frase attualmente
pronunciata; una frase di tal genere potrebbe essere:
?Questa frase è falsa?
La formalizzazione di tale situazione richiederebbe una sorta di ?autoreferenzialità?: indicando con F la frase y (A and not A), avremmo che al posto di y dovrebbe essere inserita la frase F stessa; dunque indicheremmo con F la frase F (A and not A).