Sergio Galvan

Quando si cerca di capire la natura di concetti fondamentali come la verità, e ci si impegna a trovare le leggi che li definiscono, è facile imbattersi in paradossi come quello del Mentitore. Situazioni paradossali si incontrano anche quando oggetto di esame sono fenomeni primi come la ...

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» d ...

«L'aritmetica è il cuore della matematica. Essa è la disciplina che studia la struttura dei numeri naturali. L'aritmetica non è tuttavia costituita da una unica teoria. Le leggi dei numeri naturali si possono inquadrare in una gerarchia di teorie che partendo dal sistema elementare Q a ...

Il volume si articola in cinque capitoli. Il primo contiene una introduzione al linguaggio formale, che può essere oggetto a sé stante di un corso di avviamento alla logica. Nel capitolo si presenta una panoramica generale dei linguaggi formali, comprensiva anche dei linguaggi intensio ...