| 1 | | [autore] |
| 2 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [colophon] |
| 5 | | Indice |
| 7 | | Prefazione |
| | | {titolo} |
| 11 | | Introduzione |
| | 1. | Il fattualismo sostanziale come metodo e come antidoto |
| | 2. | Contro il positivismo |
| | 3. | Contro la filosofia del linguaggio |
| | 4. | Osservazioni esplicative sul fattualismo sostanziale |
| | 5. | La logica, la matematica e l'ambito del libro |
| 41 | Capitolo 1. | Logica matematica e filosofia della matematica |
| | 1. | Argomenti della filosofia della matematica |
| | 2. | Metodo assiomatico e strutture astratte |
| | 3. | Problemi di coerenza |
| | 4. | L'attrattiva ingannevoloe della logica matematica per i filosofi |
| 70 | Capitolo 2. | I concetti generali della matematica |
| | 1. | I numeri naturali |
| | 2. | Il continuo |
| | 3. | Procedimenti meccanici |
| 115 | Capitolo 3. | La logica di Russell e alcune questioni generali |
| | 1. | I princìpi della matematica (1903) |
| | 2. | Preludi ai Principia (1903-10) |
| | 3. | I Principia |
| | 4. | Wittgenstein e Ramsey |
| | 5. | Verità logica e altre questioni filosofiche |
| | 6. | Le definizioni predicative e il principio del circolo vizioso |
| 144 | Capitolo 4. | Verità e logica |
| | 1. | I presupposti della logica aristotelica |
| | 2. | Costanti logiche e verità logiche |
| 179 | Capitolo 5. | Metalogica |
| | 1. | Linguaggi formali e sistemi formali |
| | 2. | Origini e ripercussioni della metalogica |
| | 3. | Risultati rigorosi per i sistemi formali matematici |
| | 4. | Risultati rigorosi per i calcoli logici |
| 194 | Capitolo 6. | Il concetto di insieme |
| | 1. | Il (massimo) concetto iterativo |
| | 2. | Fallimento (contraddizione) o fraintendimento (errore)? |
| | 3. | Oggettivismo e formalismo nella teoria degli insiemi |
| | 4. | Nuovi assiomi e criteri di accettabilità |
| | 5. | Paragone con la geometria e con la fisica |
| | 6. | Digressione sulle quantificazioni illimitate |
| | 7. | Ricavate gli assiomi della teoria degli insiemi dagli scritti di Cantor |
| | 8. | Le gerarchie di Cantor e di Mirimanoff |
| 238 | Capitolo 7. | Teoria e pratica nella matematica |
| | 1. | Attività ed eseguibilità |
| | 2. | La riduzione della matematica alla logica |
| | 3. | Che cos'è la matematica? |
| | 4. | Gli aspetti pratici della matematica |
| 265 | Capitolo 8. | Necessità, analiticità e apriorità |
| | 1. | Collocazione e assimilazione dei tre concetti |
| | 2. | La posizione di Kant |
| | 3. | Da Frege alla filosofia analitica |
| | 4. | Note sul dibattito contemporaneo |
| 294 | Capitolo 9. | Matematica ed elaboratori |
| | 1. | Nuovi usi degli elaboratori |
| | 2. | Influsso della matematica sullo sviluppo degli elaboratori |
| | 3. | Matematica logica |
| | 4. | Ragionamento matematico come ragionamento meccanico |
| | 5. | Logica ed elaboratori |
| 313 | Capitolo 10. | Menti e macchine |
| | 1. | Agenti del meccanicismo |
| | 2. | Cervello ed elaboratori |
| | 3. | Intelligenza artificiale o meccanica |
| | 4. | La simulazione del pensiero umano per mezzo dell'elaboratore |
| | 5. | Protocolli e psicologia teorica |
| | 6. | Argomentazioni matematiche |
| | 7. | Gödel a proposito del problema mente e macchine |
| 345 | Capitolo 11. | Conoscenza e vita |
| | 1. | Obiettivi intrinseci e grandi problemi |
| | 2. | Rilevanze e modi di vita |
| | 3. | Specializzazione e unità della conoscenza |
| | 4. | L'esempio di Bertand Russell |
| | 5. | La vita e la ricerca della filosofica |
| 379 | Capitolo 12. | Temi e orientamenti |
| | 1. | Lo studio scientifico della materia, della mente e delle macchine |
| | 2. | Scienza e filosofia |
| | 3. | Osservazioni sulla filosofia contemporanea |
| | 4. | Rispetto per i fatti di vasta portata |
| | 5. | Guardando oltre |
| 417 | | Appendice: Esercizi di critica |
| | 1. | Note sulla giustificazione dell'induzione |
| | 2. | Sullo scetticismo a proposito dell'induzione |
| | 3. | L'esistenza degli oggetti materiali |
| | 4. | Un problema di conoscenza della conoscenza |
| | 5. | Che cos'è un individuo? |
| 445 | | Indice analitico |
| 448 | | _ |
| 452 | | ___ |
