INDICE: |
| 1 | | Prefazione del curatore [ di Roberto Cordeschi ] |
| 27 | | Prefazione dell'autore all'edizione italiana |
| 29 | | Prefazione dell'autore all'edizione sovietica |
| 31 | I. | La formazione delle idee della logica matematica nell'Europa del Medioevo |
| 31 | 1. | Sguardo d'insieme e periodizzazione |
| 52 | 2. | La logica modale nel Medioevo |
| 55 | 3. | L'analisi delle proposizioni esclusive ed eccettuative |
| 58 | 4. | La teoria della consegunza logica |
| 64 | 5. | La teoria dei paradossi semantici |
| 83 | II. | Leibniz, il fondazione della logica simbolica |
| 83 | 1. | Predecessori di Leibniz |
| 87 | 2. | Breve biografia e cenno sulle opere di Leibniz |
| 93 | 3. | I princípi metodologici di Leibniz |
| 106 | 4. | I risultai logici: i tre periodi di sviluppo di calcolo logico leibniziano |
| 117 | III. | Lo sviluppo della logica simbolica dopo Leibniz nei secoli XVII e XVIII |
| 117 | 1. | Risultati logici dei continuatori di Leibniz |
| 134 | 2. | Sviluppo del calcolo proposizionale e della logica delle relazioni: Lambert |
| 146 | 3. | I calcoli logici intensionali nell'ultimo decenio del XVIII secolo: Maimon e Castillon |
| 155 | IV. | I predecessori dell'algebra della logica di Boole |
| 155 | 1. | Lo sviluppo delle idee della logica matematica nella prima metà del XIX secolo |
| 164 | 2. | Il problema della quantificazione del predicato: Bentham e Hamilton. Le tecniche ideografiche di Hamilton. Una variante dell'algebrizzazione della sillogistica: Moritz Wilhelm Drobisch |
| 176 | 3. | De Morgan, il fondatore della teoria logica delle relazioni |
| 185 | V. | Il calcolo delle classi di Boole |
| 185 | 1. | Biografia di George Boole |
| 188 | 2. | Le ide metodologiche di Boole |
| 191 | 3. | Caratteristiche fondamentali del sistema logico booleano |
| 202 | 4. | Boole nel giudizio dei suoi contemporanei |
| 204 | 5. | SUlla natura del procedimento del calcolo booleano |
| 211 | 6. | Qualche altro problema |
| 217 | VI. | Lo sviluppo dell'algebra dela logica dopo Boole sino alla fine del XIX secolo |
| 217 | 1. | Sistemazione e ulteriori progressi dell'algebra della logica: Jevons e Schröder |
| 228 | 2. | L'eredità logico-algebrica di Poretskij e Bunitskij |
| 264 | 3. | La problematica logico-algebrica nell'opera del padre dela semiotica: CHarles Sanders Peirce |
| 273 | 4. | La logistica di Frege |
| 284 | 5. | Peano e la sua scuola |
| 291 | | Conclusioni |
| 293 | | Bibliografia |
| 323 | | Indice analitico |
| 331 | | _ |