Il paradosso del mentitore

Il paradosso del Mentitore è il principe dei paradossi. Non è solo il primo in ordine temporale, ma una sorta di prototipo per gli altri, sia per forma sia per possibili spiegazioni. Alla luce di questo fatto, l'esame delle varie formulazioni del paradosso, dall'«Io mento» di Epimenide alla formulazione di Tarski, è finalizzato a trovare la struttura e le ragioni profonde della paradossalità. Al contempo il lettore è condotto passo per passo a comprendere l'importanza che l'analisi del paradosso ha avuto in tempi recenti nel raggiungimento di risultati logico-filosofici fondamentali come i teoremi di Gödel e di Tarski. Sono inoltre discussi due approcci eterodossi al paradosso: il punto di vista del truth value gap e quello del truth value glut.