| 3 | | [collana] |
| 4 | | [editore] |
| 5 | | [frontespizio] |
| 6 | | [colophon] |
| 7 | | Indice |
| | | {titolo} |
| 11 | | Introduzione |
| 17 | Parte prima. | Argomentare. Teorie dell'argomentazione |
| 19 | 1. | Cosa è un'argomentazione |
| 19 | 1.1. | Perché argomentiamo? |
| 22 | 1.2. | L'argomentazione come pratica sociale |
| 23 | 1.3. | Le parti di un'argomentazione |
| 24 | 1.4. | Argomentare e spiegare |
| 25 | 1.5. | Serialità e convergenza |
| 29 | 1.6. | La fondatezza |
| 30 | 1.7. | Certo e incerto, oggettivo e soggettivo |
| 32 | 1.8. | Il tribunale della verità |
| 39 | 2. | Argomentare tra logica e psicologia |
| 39 | 2.1. | Semantica del non detto |
| 41 | 2.2. | Argomentazioni e immagini |
| 44 | 2.3. | Pertinenza e altre presunzioni |
| 47 | 2.4 | La forza delle argomentazioni |
| 51 | 2.5 | Emotività e persuasione |
| 55 | Parte seconda. | Dimostrare. Dalla logica proposizionale (LP) alla logica del primo ordine (FOL) |
| 57 | 3. | La logica proposizionale (LP) |
| 57 | 3.1. | Introduzione ai linguaggi formali |
| 64 | 3.2. | Tavole di verità |
| | 3.3.1. | Dimostrare con le tavole di verità I: tautologie, contraddizioni, equivalenze |
| | 3.2.2. | Dimostrare con le tavole di verità II: conseguenze logiche e controesempi |
| 78 | 3.3. | Interpretazione e valutazione |
| | 3.3.1. | Validità ed equivalenza |
| | 3.3.2. | Conseguenza logica |
| 87 | 4. | Il calcolo proposizionale |
| 87 | 4.1. | Dalle dimostrazioni informali alle dimostrazioni formali |
| 89 | 4.2. | Regole di derivazione |
| 104 | 4.3. | Strategie risolutive e problem solving |
| 107 | 4.4. | Teoremi |
| 113 | 4.5 | Regole derivate |
| 119 | 5. | Teoremi metalogici |
| 119 | 5.1. | Dimostrazioni sulle dimostrazioni |
| 120 | 5.2. | Il problema di correttezza di LP |
| 124 | 5.3. | Il teorema di completezza di LP |
| 127 | 6. | La logica del primo oridine (FOL) |
| 127 | 6.1. | Oltre la logica proposizionale |
| 128 | 6.2. | Vocabolario di FOL |
| 133 | 6.3. | Regole di formazione di FOL |
| 138 | 6.4. | Teoria dei modelli |
| 152 | 6.5. | Il calcolo dei predicati |
| 162 | 6.6. | Identità e simboli funzionali |
| | Parte terza. | Confutare. Principi di argomentazione computazionale |
| 179 | 7. | La confutazione |
| 179 | 7.1. | Dispute e sistemi di argomentazioni |
| 182 | 7.2. | Refutare, obiettare, invalidare |
| 187 | 7.3. | Le proprietà formali della confutazione |
| 191 | 8. | Confutazioni di confutazioni: alcuni esempi |
| 191 | 8.1. | Attacco e difesa |
| 192 | 8.2. | Fede e ragione |
| 194 | 8.3. | Il paradosso dell'onnipotenza |
| 195 | 8.4. | Il libero arbitrio |
| 197 | 8.5. | Il dilemma di Protagora |
| 200 | 8.6 | Il dibattito sugli universali |
| 203 | | Conclusione |
| 218 | | _ |
| 209 | | Bibliografia |
| 220 | | ___ |
| 213 | | Indice analitico |