| 0.01 | | [collana] |
| 0.03 | | [frontespizio] |
| 0.04 | | [colophon] |
| 0.05 | | Indice |
| 0.07 | | [dedica] |
| 0.09 | | Prefazione [ di Paolo Freguglia ] |
| 0.10 | | __ |
| 0.10 | | ____ |
| 1 | | [titolo] |
| 3 | I. | Introduzione |
| 3 | 1. | Sul rapporto fra logica e matematica |
| 5 | 2. | Preliminari |
| 6 | 3. | Prerequisiti |
| 11 | II. | L'algebra della logica prima dell'opera di George Boole |
| 11 | 1. | Il programma leibniziano |
| 13 | 2. | I conributi algebrico-logici di G. W. Leibniz |
| 19 | 3. | Gli studi logici in Inghilterra nella prima metà dell'Ottocento antecedenti all'opera di G. Boole |
| 21 | 4. | La sillogistica matematica di A. De Morgan |
| 27 | III. | L'opera di George Boole |
| 27 | 1. | Prime considerazioni |
| 28 | 2. | Il linguaggio logico |
| 32 | 3. | Le leggi fondamentali |
| 35 | 4. | Le procedure algebrico-logiche |
| 44 | 5. | Le interpretazioni |
| 47 | IV. | L'algebra della logica nella seconda metà dell'Ottocento |
| 47 | 1. | Dopo Boole |
| 48 | 2. | Gli sviluppi dell'algebra della logica in Inghilterra dopo G. Boole |
| 57 | 3. | C. S. Peirce e E. F. W. K. Schröder |
| 61 | 4. | Il contributo all'algebra della logica di G. Peano |
| 69 | 5. | Le equazioni logiche secondo G. Peano |
| 72 | 6. | Prodromi peaniani alla linguistica matematica |
| 77 | V. | I principali temi algebrico-logici classici della prima metà del novecento |
| 77 | 1. | Prime considerazioni |
| 78 | 2. | La sistemazione assiomatica |
| 86 | 3. | I teoremi di rappresentazione |
| 96 | 4. | Il logicismo linguistico del calcolo logico |
| 106 | 5. | L'algebrizzazione del calcolo logico classico |
| 113 | VI. | L'algebrizzazione della logica non-classica |
| 113 | 1. | Preliminari |
| 115 | 2. | La posizione filosofica degli intuizionisti |
| 118 | 3. | La logica degli intuizionisti |
| 122 | 4. | Algebre booleane topologiche |
| 126 | 5. | Algebree pseudobooleane |
| 132 | 6. | Sull'algebrizzazione di altrelogiche non-classiche |
| 137 | VII. | I principali risultati algebrico-logici contemporanei |
| 137 | 1. | Prime considerazioni |
| 138 | 2. | Algebre cilindriche |
| 147 | 3. | Algebre monadiche ed algebre poliadiche |
| 152 | 4. | Algebre diagonalizzabili |
| 161 | VIII. | Considerazioni conclusive |
| 161 | 1. | Qualche preliminare |
| 162 | 2. | Classificazione delle teorie algebrico-logiche presentate ed individualizzazione dei principali problemi storici |
| 167 | 3. | Un modello sintetico-descrittivo |
| 175 | | Appendici |
| 177 | A) | Anelli booleani |
| 181 | B) | Nozioni algebrico-categoriali e loro connessioni con nozioni booleane |
| 187 | | Bibliografia |
| 199 | | Indice dei nomi |
| 201 | | Indice analitico |
| 204 | | _ |
| 206 | | ___ |