Titolo | Il diavolo in cattedra. La logica da Aristotele a Godel | |
Autore | Odifreddi Piergiorgio | |
Editore | Einaudi | |
Collana | Biblioteca Einaudi | |
Anno | 2003 | |
pp. | 300 | |
La logica è lo studio del logos - cioè del pensiero e del linguaggio -, e poiché le piú profonde realizzazioni del pensiero e le piú sofisticate espressioni del linguaggio si trovano nella filosofia e nella matematica, la logica permea le storie di queste due discipline, come intende mostrare Il diavolo in cattedra. La sfida dell'autore consiste nel proporre un libro che sia allo stesso tempo un testo di divulgazione e un manuale di studio. I curiosi e gli appassionati vi troveranno aneddoti filologici, racconti storici e metafore letterarie dei principali risultati ottenuti dalla logica, dai tempi di Aristotele fino a Gödel, esposti nello stile brillante e inventivo tipici di Piergiorgio Odifreddi. I professionisti troveranno gli inquadramenti filosofici e le dimostrazioni matematiche necessarie ai propri studi. Gli uni e gli altri scopriranno come la conoscenza della logica di oggi permetta di intendere una buona parte della filosofia di ieri, e come forse solo una tale conoscenza permetta di non fraintenderla. | ||
Biografia | Piergiorgio Odifreddi (1950) ha studiato matematica in Italia, negli Stati Uniti e in Unione Sovietica, e insegna Logica presso l'Università di Torino e la Cornell University. Ha pubblicato tra l'altro "Classical Recursion Theory" (North Holland, 1989 e 1999) e "La matematica del Novecento", Einaudi (2000). Collabora con "la Repubblica". Ha vinto il Premio Galileo dell'Unione matematica italiana nel 1998, e il Premio Peano della Mathesis nel 2002. | |
Recensioni | Indice Introduzione. Preludio all'inferno. - Parte prima. Introduzione storico-filosofica. i. In principio era la logica. ii. La via dell'argomentazione. iii. La via del paradosso. iv. La via della dimostrazione. v. Sei personaggi in cerca d'autore.- Parte seconda.Logica proposizionale. vi.Le divisioni della logica. vii. Le leggi del pensiero.viii.Le tavole della legge. ix. L'albero della conoscenza. x. Tertium datur. xi. Fare di necessità virtú.- Parte terza.Logica predicativa. Interludio in terra. xii. In principio era il verbo essere. xiii. Qualcuno, nessuno e centomila. xiv. Archeologia ellenica. xv. L'albero della vita.- Parte quarta.Teorie matematiche del prim'ordine. xvi. Relazioni platoniche. xvii. Rapporti incompleti. xviii.Perenne indecisione. xix. Rapporti completi, infine.- Parte quinta. Oltre il prim'ordine. xx. Per aspera ad astra. - Postludio in cielo (o quasi). - Bibliografia.- Indice dei nomi. |