Il paradosso del mentitore

Non si sa bene chi sia stato il primo filosofo che costrui questo paradosso se Epimenide o Eubulide o Diogene Laerzio. In ogni caso non si sa nemmeno la data dell'esistenza del primo se l'VIII a.c. o il VII a.c. o il VI a.c In compenso si pu?dire che tutta la filosofia e la logica antica e moderna fino ai nostri giorni ha articolato il paradosso, con varie espressioni (la pi?nota ?antinomia) e riferito a vari personaggi e vari contesti (teoria degli insiemi, logica, linguistica) tanto che prender?vari nomi a seconda del filosofo o logico che ha articolato la nuova antinomia.(ad es.paradosso di Russell). L'enunciazione del paradosso ?semplicissima: "Io sto mentendo"(Eubulide). La sua difficile risoluzione invece attraversa la storia della logica e della filosofia ed ?il punto che interessa propriamente la trattazione. L'originalit?del contributo di Di Caro sta non tanto nel passare in rassegna le varie soluzioni o spiegazioni che, pure, sono abbondantemente presenti, quanto nel definire le ragioni logiche del paradosso, richiamandolo all'indecidibilit?(teorema di G鐰el)