Il diavolo in cattedra: la logica da Aristotele a GödelLa 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". Con tono scherzoso, ma anche con il rigore e la precisione dell'Odifreddi docente di Logica all'Università di Torino, il libro prende in esame la logica formale, le sue intersezioni con la logica matematica e con la dialettica. |
Other editions - View all
Il diavolo in cattedra. La logica da Aristotele a Gödel Piergiorgio Odifreddi No preview available - 2004 |
Il diavolo in cattedra: la logica da Aristotele a Gödel Piergiorgio Odifreddi,Mondadori No preview available - 2003 |
Common terms and phrases
abbiamo affermazioni algebra allora altre parole Analitici Analogamente argomenti Aristotele assiomi base booleana caso completa completezza congiunzione connettivi consequentia mirabilis considerare consistenza contraddizione correttezza costituisce definire definizione dice dimostrabile disgiunzione elementi entrambi equivalente esempio esiste falsa falsità filosofia formula predicativa formule atomiche Frege geometria gica Gottfried Leibniz Hilbert implicazione infatti insiemi invece Kant Kurt Gödel l'assioma lambda calcolo Leibniz lettere linguaggio logica classica logica intuizionista logica predicativa logica proposizionale Lukasiewicz maniera matematica mediante Metafisica modale modello modus ponens Naturalmente negazione nessun nozione numeri interi numeri razionali numeri reali oggetti ottenere paradosso Parmenide particolare permette Platone possibile possono precedente premesse principio principio di bivalenza problema programma proposizione proprietà quantificatori realtà regole risultato Russell second'ordine seguente semantica semplicemente senso significa sillogismo sillogistica simbolo sistema Socrate soltanto stoici tautologia tavole di verità teorema di Gödel teoria termini terzo escluso universale validità valori di verità variabili zione