| VII | | Introduzione [ di Michele Pacifico ] |
| 1 | | Premessa alla terza edizione riveduta |
| 3 | | Prefazione |
| 7 | | Introduzione |
| 15 | Parte prima | Funzioni di verità |
| 17 | 1. | Negazione, congiunzione e disgiunzione |
| 24 | 2. | Funzioni di verità |
| 29 | 3. | Il condizionale |
| 35 | 4. | Del raccogliere a gruppi |
| 41 | 5. | Analisi mediante valori di verità |
| 48 | 6. | Non-contraddittorietà e validità |
| 53 | 7. | L'implicazione |
| 61 | 8. | Parole in simboli |
| 69 | 9. | L'equivalenza |
| 75 | 10. | Schemi normali |
| 83 | 11. | La dualità |
| 87 | Parte seconda | Quantificazione uniforme |
| 89 | 12. | Proposizioni categoriche |
| 95 | 13. | I diagrammi di Venn |
| 100 | 14. | I sillogismi |
| 107 | 15. | Limiti dei metodi precedenti |
| 112 | 16. | La quantificazione |
| 119 | 17. | Schemi di quantificazione uniforme |
| 124 | 18. | La validità |
| 133 | 19. | Equivalenze. Schemi canonici |
| 140 | 20. | Il controllo della non-contraddittorietà |
| 147 | 21. | Il controllo dell'implicazione |
| 151 | Parte terza | Teoria generale della quantificazione |
| 153 | 22. | Estensione dela quantificazione |
| 162 | 23. | Schemi di quantificazione e predicati |
| 171 | 24. | Validità degli schemi di quantificazione |
| 177 | 25. | La sostituzione |
| 184 | 26. | Leggi dell'implicazione |
| 192 | 27. | La deduzione |
| 199 | 28. | Completamento del metodo |
| 209 | 29. | Tecnica della deduzione |
| 218 | 30. | Problemi poliadici. Conversione dei quantificatori |
| 226 | 31. | Applicazione |
| 235 | 32. | La natura della teoria della quantificazione |
| 241 | Parte quarta | Guardando avanti |
| 243 | 33. | Esistenza e inferenza singolare |
| 251 | 34. | Termini singolari e termini generali |
| 257 | 35. | L'identità |
| 265 | 36. | Descrizioni |
| 270 | 37. | Eliminazione dei termini singolari |
| 276 | 38. | Le classi |
| 283 | 39. | Il numero |
| 289 | 40. | Le relazioni |
| 295 | 41. | La teoria delle classi, la matematica e la teoria della dimostrazione |
| 303 | 42. | Le teorie delle classi |
| 309 | Appendice | La completezza della teoria della quantificazione. Teorema di Löwenheim. |
| 319 | | Bibliografia |
| 325 | | Indice analitico |
| 332 | | _ |