Il paradosso del mentitore Se faccio l'affermazione: Io sto mentendo Questa affermazione e' vera oppure e' falsa? Se l'affermazione fosse vera direi la verita' e quindi l'affermazionee e' falsa Se l'affermazione fosse falsa direi una bugia e quindi l'affermazione e' vera Comunque io la giri questa frase non ha senso perche' non puoi affermare se e' vera oppure falsa Questo e' un paradosso che si rifa' al paradosso del mentitore (VI secolo A.C.): Tutti gli atenesi sono bugiardi; se io vi dico che sto mentendo, sapendo che sono ateniese, vi dico la verita'? Se vi dico la verita' vuol dire che sto mentendo quindi non vi dico la verita' Se non vi dico la verita' vuol dire che non sto mentendo quindi e' vero che sto mentendo e vi dico la verita' In pratica abbiamo un sistema autorefente, cioe' un qualcosa che si rifa' a se' stesso, e quindi abbiamo un risultato che non possiamo dire se sia vero o falso; diremo quindi che abbiamo un'antinomia, od anche un paradosso