| 1 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [copyright] |
| 5 | | Indice |
| 9 | | Introduzione |
| 10 | | Manuali di logica |
| 13 | | Mondi possibili |
| 15 | | Paura delle formule |
| 17 | | Come usare questo libro |
| 21 | | [titolo] |
| 21 | | [epigrafe] |
| 21 | | [dedica] |
| 25 | Parte prima | La logica classica |
| 25 | 1. | Premesse |
| 25 | 1.1. | Che cos'è la logica |
| 26 | 1.2. | Ragionamenti |
| 28 | 1.3. | Distinzioni preliminari |
| 33 | 2. | Logica degli enunciati: il linguaggio |
| 33 | 2.1. | Enunciati |
| 34 | 2.2. | Operatori |
| 36 | 2.3. | Il significato degli operatori |
| 40 | 3. | Logica degli enunciati: le regole |
| 40 | 3.1. | Mondi creati da enunciati |
| 42 | 3.2. | Regole |
| 48 | 3.3. | In pratica |
| 57 | | Sommario |
| 61 | | Esercizi |
| 65 | | Intermezzo filosofico. Dal linguaggio naturale al linguaggio logico: errori e insidie |
| 66 | A1. | Congiunzioni finte o nascoste |
| 68 | A2. | Negazioni |
| 70 | A3. | Disgiunzioni |
| 75 | A4. | I condizionali |
| 80 | 4. | Logica dei predicati: il linguaggio |
| 80 | 4.1. | Nomi e predicati |
| 84 | 4.2. | Quantificatori |
| 86 | 4.3. | I cinque enunciati della logica predicativa |
| 90 | 5. | Logica dei predicati: le regole |
| 90 | 5.1. | Regole di traduzione |
| 93 | 5.2. | Regole di trasformazione |
| 94 | 5.3. | Identità e altre relazioni |
| 99 | 5.4. | In pratica |
| 103 | | Sommario |
| 106 | | Esercizi |
| 109 | Parte seconda | Le logiche non classiche |
| 111 | 6. | Le ragioni delle logiche non classiche |
| 118 | 7. | Logiche modali |
| 121 | 7.1. | Il sistema K |
| 124 | 7.2. | Dimostrazioni |
| 127 | 7.3. | Altre logiche modali |
| 131 | 7.4. | La natura e la realtà dei mondi |
| 134 | 7.5. | A che cosa servono le logiche modali? |
| 137 | | Sommario |
| 140 | | Esercizi |
| 143 | 8. | Logiche condizionali |
| 144 | 8.1. | Difficoltà |
| 149 | 8.2. | Implicazione stretta |
| 152 | 8.3. | Questioni filosofiche |
| 155 | 8.4. | Ceteris paribus |
| 160 | 8.5. | Rilevanza |
| 165 | 8.6. | In pratica |
| 172 | | Sommario |
| 176 | | Esercizi |
| 178 | 9. | Le leggi classiche e le loro violazioni |
| 178 | 9.1. | Vero e falso come aperto e chiuso |
| 184 | 9.2. | Logiche con poca o nessuna verità |
| 187 | 9.3. | Logiche polivalenti |
| 193 | | Sommario |
| 195 | | Esercizi |
| 197 | 10. | Paradossi |
| 197 | 10.1. | Contraddizioni irriducibili |
| 201 | 10.2. | Le soluzioni gerarchiche |
| 204 | 10.3. | Truth value gap |
| 207 | 10.4. | Truth value glut |
| 209 | | Sommario |
| 211 | | Esercizi |
| 214 | 11. | Logiche paracomplete e paraconsistenti |
| 214 | 11.1. | Paracompletezza |
| 216 | 11.2. | Quando un enunciato è gappy |
| 219 | 11.3. | Paraconsistenza |
| 225 | 11..4. | Il sistema FDE |
| 227 | 11.5. | Quante-quali contraddizioni? |
| 230 | 12. | La logica fuzzy |
| 231 | 12.1. | Il sorite |
| 233 | 12.2. | L'importanza dei confini |
| 235 | 12.3. | Una logica per la vaghezza |
| 240 | | Sommario |
| 243 | | Esercizi |
| 245 | Parte terza | Probabilità e decisioni |
| 247 | 13. | Induzione |
| 247 | 13.1. | Differenze tra deduzione e induzione |
| 249 | 13.2. | Forza |
| 251 | 13.3. | Tipi di ragionamento induttivo |
| 253 | 13.4. | Paradossi della conferma |
| 256 | 14. | Probabilità |
| 257 | 14.1. | Verità probabile e operatori enunciativi |
| 258 | 14.2. | Probabilità condizionale |
| 260 | 14.3. | L'uso della probabilità |
| 262 | 14.4. | Razionalità gradualistica e razionalità binaria |
| 266 | | Sommario |
| 269 | | Esercizi |
| 271 | 15. | Decisioni |
| 272 | 15.1. | Concetti preliminari |
| 275 | 15.2. | Come è fatta una scelta |
| 277 | 15.3. | L'utilità attesa |
| 279 | 15.4. | Dilemmi |
| 283 | 16. | Strategie |
| 283 | 16.1. | Tipi di giochi |
| 284 | 16.2. | Giochi sequenziali |
| 286 | 16.3. | Il circolo vizioso |
| 287 | 16.4 | Giochi simultanei |
| 291 | 16.5. | Giochi senza dominanza |
| 293 | 16.6. | Il primato della cooperazione e i suoi problemi |
| 297 | | Sommario |
| 299 | | Esercizi |
| 301 | | Conclusioni. A che cosa serve questo libro? |
| 302 | | Filosofia? |
| 305 | | Logica e politica |
| 309 | | Sgarbati con il lógos |
| 310 | | Logica ovunque e in nessun luogo |
| 312 | | Cultura scientifica? |
| 315 | | Appendice. Una brevissima storia della logica |
| 315 | 1. | Aristotele |
| 323 | 2. | I megarici e gli stoici |
| 327 | 3. | Il Medioevo |
| 333 | 4. | La logica nell'età moderna |
| 338 | 5. | L'algebra della logica |
| 340 | 6. | Logica, matematica, filosofia |
| 345 | 7. | L'uso della logica in filosofia |
| 349 | | Riferimenti bibliografici |
| 355 | | Soluzionni degli esercizi |
| 363 | | _ |
| 368 | | [SIAE] |
| 368 | | ___ |