| 5 | | [collana] |
| 7 | | [frontespizio] |
| 8 | | [colophon] |
| 9 | | [dedica] |
| 11 | | Indici |
| 15 | | Prefazione |
| | Parte prima | Ambito e caratteri della ricerca logica |
| | Ⅰ. | Il problema della conoscenza mediata |
| 27 | 1. | La logica come esplicitazione e fissazione dei modi del ragionare corretto |
| 36 | 2. | Punto di vista della correttezza e punto di vista della verità in un discorso dimostrativo |
| 41 | Ⅱ. | Le struttura formali della deduzione |
| 41 | 3. | L'emergere del passo di vista formale e di quello simbolico |
| 48 | 4. | Il posso di vista formale come anima costante della logica |
| | Parte seconda | Momenti di storia della logica |
| 57 | Ⅲ. | Dalla logica formale alla logica matematica |
| 57 | 5. | Questioni preliminari alla storia della logica |
| 71 | 6. | La logica aristotelica |
| 85 | Ⅳ. | Gli sviluppi dell'impostazione simbolica |
| 85 | 7. | L'opera di Leibniz e la nascita della logica matematica |
| 97 | 8. | La ripresa ottocentesca della logica matematica e l'opera di Boole |
| 108 | 9. | Sviluppi della logica matematica ottocentesca dopo Boole |
| 115 | 10. | Il nuovo indirizzo della logica matematica: Frege, Peano, Russell |
| 135 | Ⅴ. | Lo stato attuale delle ricerche logiche |
| 135 | 11. | Il problema dei «fondamenti della matematica» |
| 151 | 12. | La moderna assiomatica e i suoi problemi |
| 157 | 13. | Le ricerche metalogiche |
| 161 | 14. | Gli indirizzi recentissimi della ricerca logico-matematica |
| 170 | 15. | Conclusioni |
| | Parte terza | Presentazione di sistemi simbolici |
| 177 | Ⅵ. | Introduzione ai calcoli logici |
| 177 | 16. | Alcune nozioni preliminari |
| 183 | 17. | Il problema della assiomatizzazione della logica |
| 193 | Ⅶ. | Il calcolo proposizionale |
| 193 | 18. | Elementi costitutivi della logica proposizionale |
| 198 | 19. | Le funzioni di verità |
| 205 | 20. | Definizioni di altre costanti logiche |
| 215 | 21. | L'analisi delle proposizioni mediante i valori di verità |
| 225 | 22. | Il problema della decisione |
| 228 | 23. | La deduzione al livello logico proposizionale |
| 242 | 24. | Il calcolo proposizionale esposto in forma assiomatica pura |
| 255 | Ⅷ. | Il calcolo dei predicati del primo ordine |
| 255 | 25. | Nuovi elementi della teoria logica |
| 260 | 26. | Esposizione assiomatica del calcolo dei predicati |
| 268 | 27. | Un primo abbozzo di interpretazione del calcolo dei predicati |
| | Parte quarta | Questioni metateoriche |
| 279 | Ⅸ. | Coerenza, completezza eindipendenza di un sistema assiomatico |
| 279 | 28. | I fondamenti problemi metateorici per un sistema assiomatico |
| 285 | 29. | Prova sintattica di coerenza del calcolo proposizionale |
| 289 | 30. | Prova dell'indipendenza degli assiomi del calcolo proposizionale |
| 291 | 31. | Prova di completezza sintattica degli assiomi del calcolo proposizionale |
| 297 | 32. | Inizio di un ampliamento del discorso |
| 299 | Ⅹ. | La logica e la verità |
| 299 | 33. | Il problema dei nessi fra sintassi e semantica |
| 304 | 34. | I teoremi di validità e completezza semantica |
| 315 | 35. | Il problema della decisione |
| | Parte quinta | Complementi |
| 321 | ⅩⅠ. | La deduzione ipotetica e il teorema di deduzione |
| 321 | 36. | La deduzione ipotetica |
| 325 | 37. | Il teorema di deduzione |
| 331 | ⅩⅡ. | Acceenni ad altri calcoli logici |
| 331 | 38. | La deduzione naturale |
| 336 | 39. | Il calcolo dei predicati del secondo ordine |
| 338 | 40. | Altri sistemi logici |
| | | Conclusioni |
| 343 | ⅩⅢ. | Ripresa sintetica dei punti di vista raggiunti |
| 343 | 41. | La logica come scienza |
| 357 | 42. | Valutazione dei fondamentali risultati metateorici |
| 368 | 43. | Significato dei teoremi di limitazione relativi ai formalismi |
| 378 | 44. | Valutazioni conclusive sulla logica simbolica |
| 387 | | Bibliografia |
| 393 | | Indice analitico |
| 395 | | Indice dei nomi |
| 396 | | _ |
| 398 | | ___ |