Teorie della verità

In questo volume si trattano le principali teorie formali della verità sviluppate nell'ambito della logica del Novecento, con particolare attenzione alla cosiddetta 'concezione semantica' della verità, elaborata da Alfred Tarski, e ad alcuni sviluppi successivi, in particolare la teoria della verità di Saul Kripke e alcune proposte più recenti. E' un'esposizione di base, largamente informale, leggibile anche da chi abbia conoscenze di logica molto limitate, e che vorrebbe essere una guida iniziale, in vista di approfondimenti successivi (cui l'ampia e aggiornata bibliografia finale potrà indirizzare). L'oggetto delle teorie presentate nel libro è il concetto di verità, inteso principalmente nei suoi aspetti logico-formali: si studia in queste teorie la possibilità di definire rigorosamente questo concetto, problema niente affatto banale, se si considera che i paradossi semantici (come il paradosso del Mentitore) sembrano mostrare che le nostre più semplici intuizioni sulla nozione di v