Ebook Logica a processo

Non sempre logica e giustizia vanno di pari passo. Talora una medesima parola, come "teorema", assume significati opposti, di verità dimostrata o di ipotesi strampalata. Esistono tuttavia tra logica e giustizia "innocenti" e sorprendenti analogie. Analogie che Carlo Toffalori e Stefano Leonesi, matematici con la passione per la letteratura, ci invitano a scoprire, ricavandole da vari casi criminali, spesso solo immaginari, in cui la logica si rivela uno strumento utile, una presenza paradossale o un'assenza imbarazzante. Si affidano per questa indagine alle testimonianze di personaggi illustri, da Protagora a Cervantes, da Diderot a Dostoevskij, da Kafka a Lewis Carroll, raccontando varie singolari vicende di giudizi senza logica e di logica senza giudizio e istruendo infine una sorta di processo alla logica stessa, per valutarne i presunti benefici e gli svantaggi non solo per la giurisprudenza e il diritto, ma anche per la matematica, l'informatica e la scienza in generale. Utili allo scopo si riveleranno essere alcune varianti giuridiche di quei celebri "teoremi di incompletezza" di Gödel che hanno dimostrato come pure in matematica la verità non sia sempre dimostrabile.
Una conclusione, tuttavia, che non dovrebbe indurre alla rassegnazione, perché, se non altro, nella buona matematica tutto ciò che è dimostrabile è vero. E bisogna augurarsi che lo stesso capiti nella buona giustizia.

Stefano Leonesi insegna e svolge attività di ricerca presso l'Università di Camerino. Attualmente è docente di Storia e Didattica della Matematica presso la Facoltà di Scienze e Tecnologie. È coautore di vari testi universitari di Computabilità, Algebra, Crittografia e di libri di divulgazione scientifica come Matematica, miracoli e paradossi (Bruno Mondadori, 2007) e L'arte di uccidere i draghi: le vie matematiche della morale (Pristem, 2013), scritti con Carlo Toffalori. Si occupa anche di meteorologia.
Carlo Toffalori è docente di Logica Matematica all'Università di Camerino. Dal 2005 è Presidente dell'Associazione Italiana di Logica e sue Applicazioni. Tra i suoi libri: Matematica, miracoli e paradossi (con S. Leonesi, Bruno Mondadori, 2007); Il matematico in giallo (Guanda, 2008); L'aritmetica di Cupido (Guanda, 2011); Numeri in giallo (Mimesis, 2012); L'arte di uccidere i draghi: le vie matematiche della morale (ancora con S. Leonesi, Pristem, 2013) e Algoritmi (Il Mulino, 2015).

Indice
Aristotele e Pisapia
La sdrucciolevole logica del vero
Ross e Russell
Nient'altro che la verità
Il giardino dei sentieri che si biforcano
Davanti alla legge
Processo al Padreterno
Elogio del non senso
I rivali di Euclide
Se allora
Corso serale di logica, primo modulo
Sillogismi, istruzioni per l'uso
Logica in convento: monadi e soriti
La logica del cittadino
Bugie
L'assassino gentile, e altri dilemmi
Fermat, Cayley e gli altri
Due più due
Processo alla logica
La logica di Porfirij
Bibliografia.